Informace o projektu
Inovace předmětu Computational Logic
| Kód projektu | FRVS/2363/2009 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2010–31.12.2010 |
| Stav | ukončený |
| Investor | Ministerstvo školství, mládeže a tělovýchovy ČR |
| Program | Fond rozvoje vysokých škol |
| Řešitel za FI |
Anotace
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.
Čá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.