Matematická logika, vybrané partie pro pokročilé

Mathematical Logic English pages

Aktualizováno 1.3.2016

Matematická logika Text

Presentace přednášek
Presentace 11 Důkazové kalkuly; Přirozená dedukce. Cvičení přirozená dedukce
Presentace 12 Důkazové kalkuly; Hilbertův kalkul
Presentace 13 Axiomatické teorie: teorie relací a funkcí Cvičení
Presentace 14 Axiomatické teorie: algebraické teorie
Presentace 15 Teorie svazů (shrnutí) "Uspořádané množiny a svazy"
Presentace 16 Teorie aritmetiky, Gödelovy výsledky

Doplňkové texty:
Sémantická tabla ve výrokové logice
Sémantika predikátové logiky - shrnutí
Logika pro studenty středních škol: Prof. Antonín Sochor
Texts in English: Proof calculi and formal theories (summary)
Gödel's results on completeness and incompleteness

Presentace přednášek pro základní kurz Matematické logiky

Základy výrokové logiky (opakování)
Presentace 1 Úvod: deduktivně platné usuzování
Presentace 2 Výroková logika: jazyk - syntaxe a sémantika, důkaz sporem.
Presentace 3 Výroková logika: normální formy formulí, sémantická tabla, rezoluční metoda ve VL

Základy predikátové logiky 1. řádu (opakování)
Presentace 4 Teorie množin; relace, funkce, (ne)spočetnost množin
Presentace 5 Predikátová logika: jazyk - syntaxe a sémantika
Presentace 6 Sémantika PL1: interpretace, modely, sémantická tabla
Presentace 7 Aristotelova logika. Venovy diagramy
Presentace 8 Obecná rezoluční metoda v PL1
Presentace 9 Obecná rezoluční metoda - Příklady
Presentace 10 Logické programování: Základy (logika) Prologu
Příklady řešené v Prologu

Cvičení v roce 2009

Cvičení 1: zadání
Cvičení 2: zadání
Cvičení 3: zadání
Cvičení 4: zadání
Cvičení 5: zadání
Cvičení 6: zadání
Cvičení 7: zadání
Cvičení 8: zadání
Cvičení 9: zadání

Cvičení v roce 2008

Cvičení 1: zadání
Cvičení 2: zadání
Cvičení 3: zadání
Cvičení 3: zadání
Cvičení 5 a 6: zadání
Cvičení 7: zadání

Projekty v roce 2008

Projekt 1: zadání
Projekt 2: zadání
Projekt 3: zadání
Projekt 4: zadání
Projekt 5: zadání