Úvod do logiky

CZ.1.07/2.2.00/28.0209 Elektronické opory a e-learning pro obory výpočtového a konstrukčního charakteru

Hodnocení během semestru

Odpovědníky na cvičení celkem 10 po 2 bodech
Nutná podmínka k závěrečné zkoušce >= 6 bodů

Domácí úlohy celkem 6 vždy po 4 bodech, z toho 4 odpovědníky a 2 na rezoluci - jednu ve výrokové a jednu v predikátové logice.
U odpovědníků máte 2 pokusy, lepší se počítá.
Nutná podmínka k závěrečné zkoušce >= 12 bodů

Semestrální zkouška z výrokové logiky předběžně 7.4. 20 bodů
řešené úlohy, test


Extra body z cvičení a přednášek

předběžně
Čt 28.5. 9,00-12,00
Út   9.6. 9,00-12,00
1x září

řešené úlohy a test, případně ústní zkouška
nutno získat aspoň 12 bodů

Hodnocení

<64.5 F, 64.5..71 E, 71.01..78 D, 78.01..84 C, 84.01..91 B, > 91 A

Výroková logika

• Opakování základů výrokové logiky (1) (2) Animace: (interpretace) (tabulka)
  *K pravdivostní funkci a úplným systémům spojek a Post's lattice
  Logická pravdivost a splnitelnost
  Historie logiky (Encyclopaedia Britannica)
  
• Normální formy (1) (animace) Task Mar 6
• Formální systémy (1) (play with Gentzen sequent calculus) (2) i drugie axiomatizacii
• Rezoluce ve výrokové logice (1) (2) Animace: (zjemneneni rezoluce) (sld strom)
• SAT problém. Metoda Davise a Putnama (zde) (animace)

Predikátová logika

• Základy predikátové logiky (1) (2)
• Normální formy (1)
• Skolemizace a unifikace (1)
• Rezoluce v predikátové logice (1)
• Úvod do logického programování (1)
• *Dedukce a databáze relace, intensionální a extenzionální vyjádření, Datalog, jiné metody výpočtu než SLD-rezoluce

• *Modální logiky (úvod) (sémantika)
• *Vícehodnotové logiky. Lukasziewiczova logika a fuzzy logiky (Kap.9 zde) (video)
• *Logika, reprezentace a odvozování znalostí Zpětné a dopředné odvozování, odvozování s neurčitostí, MYCINovské systémy.
• *Úvod do induktivní inference (1) (2)

* není součástí zkoušky

La R ́esolution en Logique du Premier Ordre
Stručné shrnutí kursu z ucsd.edu
Logika pro informatiky Marie Duži
Herbrand Awards for Distinguished Contributions to Automated Reasoning
Decision Procedures and Verification Pavel Surynek MFF UK
Logic & Proofs CMU Open course
V. Svejdar, Logika: neuplnost, slozitost a nutnost Academia 2002
Truth Table Constructor by Brian Borowski
Prolog Programming A First Course by Paul Brna
Artificial Intelligence: A Modern Approach (Second Edition) by Stuart Russell and Peter Norvig
Dobývání znalostí z databází (včetně úvodu do strojového učení) (autor Petr Berka)
Machine Learning (Tom Mitchell)