Project information
Inovace předmětu Computational Logic (Inovace předmětu Computational Logic)

Project Identification
FRVS/2363/2009
Project Period
1/2010 - 12/2010
Investor / Pogramme / Project type
Ministry of Education, Youth and Sports of the CR
MU Faculty or unit
Faculty of Informatics

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.

You are running an old browser version. We recommend updating your browser to its latest version.

More info