Number of the records: 1
Matematická logika
book
Trlifajová, Kateřina, 1959- - Autor
1. vyd. - V Praze : České vysoké učení technické, 2013 - 174 s. : il. ; 30 cm
ISBN 978-80-01-05342-3 (brož.)
Vašata, Daniel - Autor
matematická logika
učebnice vysokých školSignatura S 33.485 Umístění 51 - Matematika. Teoretická matematika Údaje o názvu Matematická logika / Kateřina Trlifajová, Daniel Vašata Záhlaví-jméno Trlifajová, Kateřina, 1959- (Autor) Údaje o vydání 1. vyd. Vyd.údaje V Praze : České vysoké učení technické, 2013 Fyz.popis 174 s. : il. ; 30 cm ISBN 978-80-01-05342-3 (brož.) Číslo nár. bibl. cnb002509383 Poznámky 500 výt.. Na obálce nad názvem: ČVUT v Praze, Fakulta informačních technologií Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Vašata, Daniel (Autor)
Dal.odpovědnost České vysoké učení technické v Praze. Fakulta informačních technologií (Jiná role)
Předmět.hesla matematická logika Forma, žánr učebnice vysokých škol Konspekt 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 510.6 , (075.8) Země vyd. Česko Jazyk dok. čeština Ve volném výběru 51 - Matematika. Teoretická matematika Druh dok. KNIHY Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu. Důraz je kladen především na sémantický přístup s využitím sémantických stromů, rezoluční metody a Karnaughových map, což je vhodné zejména pro studenty informatiky. Obsažen je též úvod do teorie Booleových algeber. Zdroj anotace: OKCZ - ANOTACE Z WEBULoading…
Number of the records: 1