Number of the records: 1
Logika
Švejdar, Vítězslav, 1954- - Author
Vyd. 1. - Praha : Academia, 2002 - 464 s. : il. ; 24 cm
ISBN 80-200-1005-X
logika matematická logika
učebniceCall number C 307.483 Umístění 161/164 - Logika. Logistika Title statement Logika : neúplnost, složitost a nutnost / Vítězslav Švejdar Main entry-name Švejdar, Vítězslav, 1954- (Author) Edition statement Vyd. 1. Issue data Praha : Academia, 2002 Phys.des. 464 s. : il. ; 24 cm ISBN 80-200-1005-X National bibl. num. cnb001176514 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings logika * matematická logika Form, Genre učebnice Conspect 16 - Logika UDC 16 , 161/162 , 164 , 510.6 Country Česko Language čeština Ve volném výběru 161/164 - Logika. Logistika Document kind BOOKS Shrnující výklad poznatků z oblasti výrokové logiky, predikátové logiky, algoritmů, intuicionistické logiky, logiky dokazatelnosti, Gödelovy fuzzy logiky, Peanovy a Robinsonovy aritmetiky předpokládá vyšší stupeň oborových znalostí. Publikace se tudíž zaměřuje pouze na erudovanější studenty a vědecké pracovníky z oblasti logiky, matematiky a teoretické informatiky. Zdroj anotace: Městská knihovna v PrazeLoading…
Number of the records: 1