Matematická teorie programů

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í b...

Full description

Saved in:
Bibliographic Details
Main Author Manna, Zohar, 1939-2018 (Author)
Other Authors Hořejš, Jiří, 1933-2001 (Translator)
Format Book
LanguageCzech
Published Praha : SNTL - Nakladatelství technické literatury, 1981
Edition1. vyd.
SeriesKnižnice výpočetní techniky
Subjects
numerická matematika
programování
bloková schémata
učebnice vysokých škol
Physical Description467 s. : il. ; 25 cm

Cover

More Information
Summary: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).
Item Description:3700 výt.
Audience:Vysokošk. učebnice pro přírodověd. fak. a fak. matematicko-fyz.
Bibliography:Obsahuje bibliografii a věcný rejstřík
Physical Description:467 s. : il. ; 25 cm

Similar Items