Aplikovaná logika

V letním semestru čtvrtek 11:30-13:00

  • 3.3. 1. cvičení Úvod, ukázka programu v Prologu
  • 10.3. 2. cvičení: Výroková logika
  • 17.3.3.cvičení: Syntaxe predikátové logiky
  • 24.3.4.cvičení: Sémantika predikátové logiky
  • 31.3. 5.cvičení: Prolog: úvodní program, rekurze
  • 7.4. 6.cvičení: Selhání, řez, způsob tvorby negace
  • 14.4. 7.cvičení: Aritmetika v Prologu
  • 21.4.8.cvičení: Práce se seznamy v Prologu , příklady predikázů prvek, spoj, delka, gen, řešení příkladu s pravidelnými trojúhelníky
  • 28.4.9.cvičení: Ukázka kompletního programu na způsob expertního systému, zadání zápočtových prací
  • 5.5. 10.cvičení: Godelova věta o neúplnosti
  • 12.5. Cvičení odpadá
  • 19.5. Prezentace zápočtových prací
    •