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.
Ukončeno v akademickém roce 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. |
Osnova předmětu
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
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
Povinná literatura
Doporučená literatura
Š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.
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.