Matematická teorie programů : vysokoškolská učebnice pro přírodovědecké fakulty a fakulty matematicko-fyzikální
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á kapitola obsahuje řadu cvičení, historické a bibliografické poznámky. Do českého vydání byly zařazeny doplňky, … celý popis
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 467 s.
- Vydáno
-
Praha :
Státní nakladatelství technické literatury,
1981
- Vydání
- 1. vyd.
- Edice
- Knižnice výpočetní techniky
- Popis jednotky
- Přeloženo z angličtiny
- Bibliografie
- Obsahuje bibliografii