M. Duží: Matematická logika. Skripta VŠB v elektronické podobě: http://www.cs.vsb.cz/duzi/Matlogika.pdf
A.Thayse et al.: From standard logic to logic programming /Introducing a logic based approach to arificial intelligence/. John Wiley and Sons, 1989
Kolář, J.-Štěpánková¨, O -Chytil, M.: Logika, algebra, grafy. Praha, SNTL 1989.
Lukasová, A.: Logické základy umělé inteligence, skripta PF Ostravské univerzity, 1999
Teorie formálních systémů
| Jazyk výuky | angličtina, čeština |
|---|---|
| Kód | 460-6002 |
| Zkratka | TFS |
| Název předmětu česky | Teorie formálních systémů |
| Název předmětu anglicky | Theory of Formal Systems |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | prof. RNDr. Marie Duží, CSc. |
Anotace
Předmět rekapituluje, rozšiřuje a prohlubuje obsah předmětu Matematická logika přednášeného v magisterském studiu. Důraz se přenáší z výkladu čisté matematické logiky na studium libovolných formálních systémů obsahujících formální matematickou logiku jako svou nedílnou část. Studenti se seznámí zejména s jednotlivými formálními teoriemi užitečnými v mnoha disciplínách, jako např. znalostní systémy, umělá inteligence, multi-agentní systémy, apod.
Povinná literatura
Doporučená literatura
T Richards: Clausal form logic /An Introduction to the logic of computer reasoning/ Addison-Wesley, 1989
W.Bibel: Deduction /Automated Logic/. Academic Press, San Diego, 1993
Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.
Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, Graduate texts in computer science.
F.Kroeger: Temporal Logic of Programs. Springer-Verlag,
W.Bibel: Deduction /Automated Logic/. Academic Press, San Diego, 1993
Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.
Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, Graduate texts in computer science.
F.Kroeger: Temporal Logic of Programs. Springer-Verlag,