Matematická teorie programů

• Main Author: Manna, Zohar, 1939-2018 (Author)
• Other Authors: Hořejš, Jiří, 1933-2001 (Translator)
• Format: Book
• Language: Czech
• Published: Praha : SNTL - Nakladatelství technické literatury, 1981
• Edition: 1. vyd.
• Series: Knižnice výpočetní techniky
• Subjects: numerická matematika; programování; bloková schémata; učebnice vysokých škol
• Physical Description: 467 s. : il. ; 25 cm
• Item Description: 3700 výt.
• Audience: Vysokošk. učebnice pro přírodověd. fak. a fak. matematicko-fyz.

Práce, která se zabývá matematickou teorií programů, je určena jak studentům, tak i programátorům. Kromě partií věnovaných hlavnímu námětu, přináší i kapitoly o teorii vyčíslitelnosti a matematické logice. Každá kapitolaobsahuje řadu cvičení, historické a bibliografické poznámky. Do českého vydání byly zařazeny doplňky, které aktualizují původní text (verifikace programů a programová schémata).