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á 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
- Další autoři
- Typ dokumentu
- Knihy
- Fyzický popis
- 467, [1] s. : obr. ; 8°
- Vydáno
-
Praha :
SNTL,
1981
- Vydání
- 1. vyd.
- Edice
- Knižnice výpočetní techniky
- Témata
- Popis jednotky
- Obálka a vazba: Josef Týfa
Vysokošk. učebnice pro přírodověd. fak. a fak. matematicko-fyz.
3700 výt.
Pozn. - Bibliografie
- Obsahuje bibliografii a věcný rejstřík
MARC
| LEADER | 00000cam-a2200000-a-4500 | ||
|---|---|---|---|
| 001 | kpw0162804 | ||
| 003 | CZ-ZlKKF | ||
| 005 | 20131007005126.3 | ||
| 007 | ta | ||
| 008 | 951118s1981 xr |||||||||||||||||cze|| | ||
| 015 | |a cnb000136279 | ||
| 035 | |a (OCoLC)40079316 | ||
| 040 | |a ABA001 |b cze |c ABA001 |d ABA001 | ||
| 041 | 1 | |a cze |h eng | |
| 044 | |a xr | ||
| 072 | 7 | |a 519.1/.8 |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování |2 Konspekt |9 13 | |
| 072 | 7 | |a 37.016 |x Učební osnovy. Vyučovací předměty. Učebnice |2 Konspekt |9 22 | |
| 080 | |a 519.68 | ||
| 080 | |a 681.3 | ||
| 100 | 1 | |a Manna, Zohar, |d 1939- |7 xx0099971 |4 aut | |
| 245 | 1 | 0 | |a Matematická teorie programů / |c Zohar Manna ; Z amer. orig. Mathematical Theory of Computation přel. [a úv.] pozn. [napsal] Jiří Hořejš |
| 250 | |a 1. vyd. | ||
| 260 | |a Praha : |b SNTL, |c 1981 |e (Brno : |f Tisk 1) | ||
| 300 | |a 467, [1] s. : |b obr. ; |c 8° | ||
| 490 | 1 | |a Knižnice výpočetní techniky | |
| 500 | |a Obálka a vazba: Josef Týfa | ||
| 500 | |a Vysokošk. učebnice pro přírodověd. fak. a fak. matematicko-fyz. | ||
| 500 | |a 3700 výt. | ||
| 500 | |a Pozn. | ||
| 504 | |a Obsahuje bibliografii a věcný rejstřík | ||
| 520 | 2 | |a 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, které aktualizují původní text (verifikace programů a programová schémata). | |
| 653 | |a matematická teorie | ||
| 653 | |a programování | ||
| 655 | 7 | |a učebnice vysokých škol |7 fd133772 |2 czenas | |
| 700 | 1 | |a Hořejš, Jiří, |d 1933-2001 |7 jk01042321 |4 trl | |
| 830 | 0 | |a Knižnice výpočetní techniky | |
| 910 | |a ZLG001 | ||
| 980 | |c 385373 |b 377700110014 |1 519.68 |t N |l 1PNL naučná sklad |v A |d 21.2.1999 |r 0 |f 30.0 |x 7 | ||
| 996 | |b 342639 |l Ústřední knihovna |r 1PNL naučná sklad |s A |a 0 |e ZLG001 |t ZLG001.342639 | ||