" Aplikovaná logika

Aplikovaná logika

V letním semestru čtvrtek 8:00 - 9:30

  • 4.3.: Úvod, ukázka programu v Prologu
  • 11.3.: Výroková logika, syntaxe predikátové logiky
  • 18.3.: Sémantika predikátové logiky, Prolog: operátory , a ;, rekurze
  • 25.3.: Prolog: rekurze, prohledávání s návratem (backtracking), příklad s bludištěm
  • 1.4.: Selhání, řez, způsob tvorby negace
  • 8.4.: Aritmetika v Prologu
  • 15.4.: Práce se seznamy v Prologu
  • 22.4.: Godelova věta o neúplnosti, zadání zápočtových prací
  • 29.4.: Konzultace zápočtových prací
  • 6.5.: Prezentace zápočtových prací
  • 13.5.: Prezentace zápočtových prací
  • Náhradní termíny pro udělování zápočtů: 14.6. 9:30, 22.6. 9:30, 29.6. 9:30