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

Kód projektu
FRVS/2363/2009
Období řešení
1/2010 - 12/2010
Investor / Programový rámec / typ projektu
Ministerstvo školství, mládeže a tělovýchovy ČR
Fakulta / Pracoviště MU
Fakulta informatiky

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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info