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...
Saved in:
| Main Author | |
|---|---|
| Other Authors | |
| Format | Book |
| Language | Czech |
| Published |
Praha :
SNTL - Nakladatelství technické literatury,
1981
|
| Edition | 1. vyd. |
| Series | Knižnice výpočetní techniky
|
| Subjects | |
| Physical Description | 467 s. : il. ; 25 cm |
Cover
| LEADER | 00000cam a22000001 4500 | ||
|---|---|---|---|
| 001 | 8486 | ||
| 003 | CZ-ZlUTB | ||
| 005 | 20220330105749.0 | ||
| 008 | 951118s1981 xr a r 0|1 0 cze | ||
| 952 | |0 0 |1 0 |4 0 |6 519MANNAZ |7 0 |8 BOOK |9 14436 |a UTBZL |b UTBZL |c 006 |d 2006-07-29 |i 58130 |l 11 |o 519/MANNA,Z. |p 420010001840 |r 2023-10-04 00:00:00 |s 2023-09-12 |w 2019-08-25 |y 04 | ||
| 952 | |0 0 |1 0 |4 0 |6 519MANNAZ |7 0 |8 BOOK |9 14437 |a UTBZL |b UTBZL |c 030 |d 2009-06-01 |l 3 |o 519/MANNA,Z. |p 420010124477 |r 2019-08-25 00:00:00 |v 200.00 |w 2019-08-25 |x N:převod - Svit; | 20100831 |y 05 | ||
| 999 | |c 8486 |d 8486 | ||
| 035 | |a (OCoLC)40079316 | ||
| 040 | |a ABA001 |b cze |c ABA001 |d ABA001 |d ZLD002 | ||
| 041 | 1 | |a cze |h eng | |
| 072 | 7 | |a 519.1/.8 |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování |2 Konspekt |9 13 | |
| 080 | |a 519.6 |2 MRF | ||
| 080 | |a 004.42 |2 MRF | ||
| 080 | |a 003.63 |2 MRF | ||
| 080 | |a (075.8) |2 MRF | ||
| 100 | 1 | |a Manna, Zohar, |d 1939-2018 |7 xx0256965 |4 aut | |
| 245 | 1 | 0 | |a Matematická teorie programů / |c Zohar Manna ; přeložil Jiří Hořejš |
| 250 | |a 1. vyd. | ||
| 260 | |a Praha : |b SNTL - Nakladatelství technické literatury, |c 1981 | ||
| 300 | |a 467 s. : |b il. ; |c 25 cm | ||
| 490 | 1 | |a Knižnice výpočetní techniky | |
| 500 | |a 3700 výt. | ||
| 504 | |a Obsahuje bibliografii a věcný rejstřík | ||
| 520 | |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á 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). | ||
| 521 | |a Vysokošk. učebnice pro přírodověd. fak. a fak. matematicko-fyz. | ||
| 650 | 0 | 7 | |a numerická matematika |7 ph425906 |2 czenas |
| 650 | 0 | 7 | |a programování |7 ph115891 |2 czenas |
| 650 | 0 | 7 | |a bloková schémata |7 ph400082 |2 czenas |
| 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 | |
| 765 | 0 | |t Mathematical Theory of Computation | |
| 830 | 0 | |a Knižnice výpočetní techniky | |
| 910 | |a ZLD002 | ||
| 942 | |2 udc | ||
| 992 | |a BK |b SK | ||