Zagadnienia omawiane na wykladzie::
Teoria krat, rachunek zdan, logika pierwszego rzedu, rezolucja, logika probabilistyczna,
teoria Dempstera-Shafera, zbiory przyblizone, logika rozmyta, logika modalna,logiki niemonotoniczne, metody dowodzenia twierdzen.
Rozklad Zajec (Pokoj 117):
Maj 15, 14:15-18:00 (Wyklad)
Maj 22, 14:15-18:00 (Wyklad & Cwiczenia)
Maj 29, 14:15-18:00 (Wyklad & Cwiczenia)
Czerwiec 5, 14:15-18:00 (Wyklad & Cwiczenia)