Informace o projektu
Inovace předmětu Computational Logic (Inovace předmětu Computational Logic)

Předmět obsahuje v současné době tři části - Deduktivní odvozování, Induktivní odvozování a Reprezentaci znalostí a manipulace s nimi.

Část Deduktivní inference bude zredukován a jeho část - rezoluční metoda - bude vyučována pouze v bakalářském kurzu Úvod do logiky a logického programování. To je umožněno změnou náplně tohoto bakalářského kursu.

Tato část bude doplněna sekcí o neklasických logikách a důkazových technikách v těchto logikách. Bude rozšířena partie o teoretických základech induktivním odvozování a o logikách pro zpracování přirozeného jazyka a přidána přednáška o deskripční logice.

Budou vytvořeny nové výukové materiály včetně materiálů do e-learningového modulu IS MU a též animace pro základní techniky

Předmět je též součástí studijního programu nově akreditovaného na přirodovědecké fakultě MU (akreditace probíhá) a určeného pro studenty ze tří fakult MU - přirodovědecké, filosofické a fakulty informatiky.