Number of the records: 1
Matematická logika
Trlifajová, Kateřina, 1959- - Author
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 - Author
matematická logika
učebnice vysokých školCall number S 33.485 Umístění 51 - Matematika. Teoretická matematika Title statement Matematická logika / Kateřina Trlifajová, Daniel Vašata Main entry-name Trlifajová, Kateřina, 1959- (Author) Edition statement 1. vyd. Issue data V Praze : České vysoké učení technické, 2013 Phys.des. 174 s. : il. ; 30 cm ISBN 978-80-01-05342-3 (brož.) National bibl. num. cnb002509383 Note 500 výt.. Na obálce nad názvem: ČVUT v Praze, Fakulta informačních technologií Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Vašata, Daniel (Author)
Another responsib. České vysoké učení technické v Praze. Fakulta informačních technologií (Other)
Subj. Headings matematická logika Form, Genre učebnice vysokých škol Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.6 , (075.8) Country Česko Language čeština Ve volném výběru 51 - Matematika. Teoretická matematika Document kind BOOKS 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