Úvod do logiky
Na této stránce se postupně objevují informace týkající se tohoto předmětu
a také další (užitečné) informace. Například odkazy na učební texty, příklady
na cvičení, a pod. Tyto stránky jsou neustále ve vývoji. To neznamená, že by
se měly měnit informace již uvedené, ale neustále přibývat nové!
Informace pro studenty (Aktualizováno 27.6. 2006):
Věnujte prosím pozornost tomuto argumentu:
Úsudek
Přednášky: učební texty ,
Sémantická tabla ve výrokové logice
Sémantika predikátové logiky, interpretace a modely
Presentace přednášek:
Přednáška 1: Úvod - "Co je to logika?"
Přednáška 2: Výroková logika (jazyk,
sémantika)
Přednáška 3: Výroková logika (sémantická
tabla, rezoluční metoda)
Přednáška 4: Predikátová logika (jazyk,
sémantika, relace a zobrazení)
Přednáška 5: Relace, funkce, spočetnost
množin, opakování VL
Přednáška 6: Sémantika PL1, interpretace,
modely, sémantická tabla
Přednáška 7: Aristotelova logika. Venovy
diagramy
Přednáška 8: Obecná rezoluční metoda
v PL1
Přednáška 9: Obecná rezoluční metoda
v PL1, pokračování, příklady
Přednáška 10: Základy ("logika") Prologu. Příklady řešené v Prologu.
Přednáška 11: Souhrn důkazových metod v PL1.
Lessons in English:
Lesson 1: Introduction - "What is a subject of logic?"; Naive set theory
Lesson 2: Propositional logic (language, semantics)
Lesson 3: Propositional logic (semantic tableau, resolution method)
Lesson 4: First-order Predicate Logic (FOL language, semantics)
Lesson 5: Relations, functions (mappings); countable and uncountable sets
Lesson 6: Semantics of FOPL, interpretation, models, semantic tableau
Lesson 7: Aristotelian Logic, Venn diagrams
Lesson 8: Resolution method in the First-Order Predicate Logic
Lesson 9: Resolution method continuing; Foundations of Prolog programming