Počet záznamů: 1
Logika
Švejdar, Vítězslav, 1954- - Autor
Vyd. 1. - Praha : Academia, 2002 - 464 s. : il. ; 24 cm
ISBN 80-200-1005-X
logika matematická logika
učebniceSignatura C 307.483 Umístění 161/164 - Logika. Logistika Údaje o názvu Logika : neúplnost, složitost a nutnost / Vítězslav Švejdar Záhlaví-jméno Švejdar, Vítězslav, 1954- (Autor) Údaje o vydání Vyd. 1. Vyd.údaje Praha : Academia, 2002 Fyz.popis 464 s. : il. ; 24 cm ISBN 80-200-1005-X Číslo nár. bibl. cnb001176514 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla logika * matematická logika Forma, žánr učebnice Konspekt 16 - Logika MDT 16 , 161/162 , 164 , 510.6 Země vyd. Česko Jazyk dok. čeština Ve volném výběru 161/164 - Logika. Logistika Druh dok. KNIHY 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 PrazeNačítání…
Počet záznamů: 1