Ú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

První a poslední cvičení odpovědník 50 minut, povinnost absolvovat.

Domácí odpovědníky 7 odpovědníků po 4 bodech, 2 pokusy, lepší se počítá, nutná podmínka k závěrečné zkoušce 14 bodů

Semestrální zkouška - výroková logika předběžně 2.4. 7,30 D1
odpovědník (12 bodů) + řešené příklady (20 bodů) 60 minut

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

středa 14.5. 8-10 D1
pondělí 19.5. 10-12 D1+D3
středa 28.5. 10-12 D1+D3
středa 4.6. 12-14 D1
středa 11.6. 10-12 D1

Hodnocení

max. 100 bodů + extra body <65 F, 65..71 E, 72..78 D, 79..84 C, 85..91 B, > 91 A

• Opakování základů výrokové a predikátové logiky (1) (2) (3) (4)
  animace: (interpretace) (tabulka)
  Historie logiky (Encyclopaedia Britannica)
  K pravdivostní funkci a úplným systémům spojek
• Normální formy ve výrokové a predikátové logice (1) (animace) (2)
• Formální systémy (1) (2)
• Rezoluce I. Výroková logika (1) (2)
  animace: (zjemneneni rezoluce) (sld strom)
• *SAT problém. Metoda Davise a Putnama (zde) (animace)
• Semestrální zkouška
  odpovídá přibližně státnicové otázce Z-I.2 Logika. (Výroková logika, operace, syntax. Sémantika, pravdivost, splnitelnost. Dokazatelnost, důkazové metody a systémy. Normální formy konjunktivní a disjunktivní).
• Predikátová logika
• Normální formy. Skolemizace a unifikace (1)
• Rezoluce II. Predikátová logika (1)

Logika v informatice

• Úvod do logického programování (1)
• *Dedukce a databáze
• Úvod do induktivní inference
• Modální logiky (úvod) (sémantika)
• Vícehodnotové logiky. Lukasziewiczova logika a fuzzy logiky (zde) (lekce 9 včetně cvičení A a začátek lekce 10)
• *Logika, reprezentace a odvozování znalostí

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
Úvod do strojového učení (autor Petr Berka)
Machine Learning (Tom Mitchell)

• Formální systémy pdf, ps, ps: 4 strany na A4
• Úvod do rezoluce: pdf, ps, ps: 4 strany na A4
  Zjemnení rezoluce
• Od linearni rezoluce k Prologu pdf, ps, ps: 4 strany na A4
  SLD strom
• Predikátová logika I: pdf, ps, ps: 4 strany na A4
• Predikátová logika II: pdf, ps, ps: 4 strany na A4
• Predikátová logika III: pdf, ps, ps: 4 strany na A4
• Rezoluce v predikátové logice: pdf, ps, ps: 4 strany na A4
• Logické programování, Prolog: pdf, ps, ps: 4 strany na A4
• Induktivní odvozování ve výrokové logice (úvod) (ppt) (prostor verzí)
  Učení rozhodovacích stromů (Animace I) (Animace II)
  Příklady
  
• Modální logiky. (intro) by Rajeev P. Goré (slides) or (here); Axiomatika; Animace Dalsi nástroje
• Neklasické a fuzzy logiky - na mff uk praha a na fiit stu bratislava
• Okruhy ke zkoušce z modálních, vícehodnotových a fuzzy logik

• *Výpočtová logika, reprezentace a odvozování znalostí

• *Induktivni logicke programovani (ppt)
  Případová studie: Rozpoznávání situací a akcí - příklad a naučená pravidla