2-INF-114 Matematická logika
Odporúčaný ročník: | 3. |
Semester: | letný |
Rozsah: | P4 |
Hodnotenie: | 0/100 |
Počet kreditov: | 6 |
Vyučujúci: | prednáša doc. RNDr. Eduard Toman CSc. |
www stránka: |
Cieľ:
Poskytnúť študentom znalosti z matematickej logiky, potrebné pre zvládnutie štúdia umelej inteligencie a pre štúdium literatúry z umelej inteligencie.
Sylabus:
- výrokový počet (jazyk, sémantika, hilbertovské systémy, genzenovské systémy, tablá; metateorémy)
- predikátový počet (jazyk, sémantika, hilbertovské systémy, genzenovské systémy, tablá; metateorémy)
- teória rekurzívnych funkcií
- automatický dôkaz
Literatúra:
Eduard Toman: Vybrané partie z logiky
Švejdar: Logika - neúplnost, složitost a nutnost, Praha 2002;
Sochor: Klasická matematická logika, Praha 2001;
Shoenfield: Mathematical Logic