Informácie o titule

Matematická teorie programů (Mathematical Theory of Computation)

Autor: Manna, Zohar

Žáner: Vedy prírodné - Matematika

Jazyk: Český

Rok: 1981

Číslo vydania: 1

Rok originálneho vydania: 1974

Popis:

Kniha  vynikajícího  odborníka  v  oblasti  teoretické
matematické  informatiky  je  úvodem  do  exaktního  studia
základních  matematických  vlastností  programů  pro
číslicové  počítače.  V  řadách  programátorů — praktiků
naleznou  odezvu  především  úvahy  týkající  se  možností
formálních  důkazů  správnosti  programů,  ekvivalentních
úprav  programových  schémat,  korektnosti  implementace
rekurzívních  procedur  apod.

Vedle  partií,  které  se  týkají  vlastního  zkoumáni  programů,
zařadil  autor  i  úvodní  kapitoly  shrnující  potřebné  vlastnosti
různých  druhů  formálních  systémů  a  logických  kalkulů.
Kniha  může  proto  sloužit  i  jako  příručka  teorie  automatů
a  matematické  logiky.

Teorie  verifikace  programů,  teorie  programových  schémat
a  teorie  rekurze  jsou  poměrně  mladými  disciplínami;
autorovi  se  podařilo  zachytit  jejich  hlavní  výsledky  krátce
po  době  jejich  vzniku  a  kniha  v  tomto  směru  představuje
originální  dílo  odborné  světové  literatury.  Za  těch
přibližně  sedm  let,  které  uplynuly  od  jejího  prvního
vydání,  přinesl  ovšem  vývoj  některé  další  významné
metody  a  poznatky.  Spolu  s  některými  staršími,  do
původního  textu  nezařazenými  výsledky,  jsou  tyto  nové
směry  zachyceny  v  samostatných  dodatcích.  Doplněny  jsou
i  bibliografické  údaje  novějšího  data.