Terminated in academic year 2014/2015

Matematická logika

Typ studia	navazující magisterské
Jazyk výuky	čeština
Kód	460-4004/01
Zkratka	ML
Název předmětu česky	Matematická logika
Název předmětu anglicky	Mathematical Logic
Kreditů	8
Garantující katedra	Katedra informatiky
Garant předmětu	prof. RNDr. Marie Duží, CSc.

Subject syllabus

Přednášky:
1. Úvod: deduktivně platné usuzování
2. Výroková logika: jazyk (syntaxe a sémantika)
3. Důkazové metody ve výrokové logice, rezoluční metoda dokazování
4. Teorie množin; relace, funkce, (ne)spočetnost množin
5. Predikátová logika: jazyk - syntaxe a sémantika
6. Sémantika PL1: interpretace a modely
7. Sémantická tabla v PL1
8. Aristotelova logika. Vennovy diagramy
9. Obecná rezoluční metoda v PL1
10. Základy logického programování
11. Důkazové kalkuly
12. Přirozená dedukce.

Cvičení:
Deduktivně platné úsudky
Výroková logika, jazyk a sémantika
Výroková logika, rezoluční metoda dokazování
Naivní teorie množin
Predikátová logika, jazyk a sémantika, modely
Relace, funkce, spočetnost a nespočetnost množin
Sémantická tabla v predikátové logice
Aristotelova logika
Obecná rezoluční metoda v PL1
Důkazové kalkuly: přirozená dedukce

Literature

M.Duží: Matematická logika. Učební texty VŠB Ostrava.
http://www.cs.vsb.cz/duzi/Mat-logika.html
Z. Manna: Matematická teorie programů. McGraw-Hill, 1974, SNTL Praha 1981.

Advised literature

Švejdar, V.: Logika (neúplnost, složitost, nutnost). Academia, Praha 2002.
Sochor, A.: Klasická matematická logika. Karolinum Praha, 2001.
Brown, J.R.: Philosophy of Mathematics. Routledge, 1999.
Thayse, A.: From Standard Logic to Logic Programming, John Wiley & Sons, 1988
Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.

Richards, T.: Clausal Form Logic. An Introduction to the Logic of Computer Reasoning. Adison-Wesley, 1989.
Bibel, W.: Deduction (Automated Logic). Academia Press, 1993.
Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, 1996. Graduate texts in computer science.

back to search page