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
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

Cover

Table of contents

LEADER 02284cam a22004451 4500
001 8486
003 CZ ZlUTB
005 20220330105749.0
008 951118s1981 xr a r 0|1 0 cze
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 
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  |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  |v 200.00  |w 2019-08-25  |x N:převod - Svit;  |x 20100831  |y 05 

Similar Items