Studijní katalog - Fakulta informatiky - Masarykova univerzita

stroj pro práci s kontexty – Word Sketch Engine; Počítačová lexikografie; Typy elektronicky´ch
slovníku˚; Nástroje pro počítačovou lexikografii – platforma DEB II; Lexikografické stanice;
IB053 – Metody efektivního programování 1/1, k, 2+1 kr., jaro
Mgr. Petr Steinmetz
Doporučení: Znalost programování v některém z jazyku˚ C, C++, Pascal, Delphi, Java, C#; znalost
objektového programování; základní povědomí o strojovém kódu procesoru˚
Efektivita práce prˇi návrhu algoritmu. Snízˇení chybovosti prˇi tvorbě programu. Snízˇení doby
potrˇebné k odstraňování chyb. Vyuzˇití drˇíve napsany´ch částí programu˚. Nezávislost programu na
pozdějsˇích úpravách. Prˇenositelnost do jiny´ch prostrˇedí. Efektivita programu. Mechanismus
prˇístupu k datu˚m. Implementace programovy´ch struktur. Rozdíl v interpretovany´ch a prˇekládany´ch
jazycích.
IB101 – Úvod do logiky a logického programování 2/2, zk, 4+2 kr., jaro
doc. RNDr. Lubomír Popelínsky´, Ph.D., Mgr. Lukásˇ Másilko, Mgr. Ondrˇej Nečas (IB000 ∨ IB112)
∧ ¬IA008
Kurs je úvodem do vy´rokového a predikátového počtu, rezoluční metody, logického programování
a vy´počtové logiky, induktivního odvozování a reprezentace znalostí. Prˇehled logicky´ch kalkulu˚,
syntaxe. Vy´roková logika, pravdivostní tabulky, axiomy, dokazatelnost. Základy teorie du˚kazu˚ ve
vy´rokovélogice,normálníformy,rezoluce. Predikátovy´počet1.rˇádu,predikátovéformule,sémantika,
axiomy, dokazatelnost. Normální formy predikátové logiky, skolemizace. Základy teorie du˚kazu˚
v predikátové logice, rezoluce. Úvod do logického programování, SLD-rezoluce. Jazyk Prolog. Základy
induktivního odvozování a reprezentace znalostí.
IB102 – Automaty a gramatiky 2/2, zk, 4+2 kr., podzim
RNDr. Jan Strejček, Ph.D. (MB101 ∨ MB005) ∧ ¬IB005
Motivace: problém specifikace (nekonečny´ch, regulárních) jazyku˚. Konečné automaty a regulární
gramatiky: Pumping lemma, Nerodova věta, minimalizace, nedeterministické konečné automaty.
Vlastnosti regulárních jazyku˚: uzávěrové vlastnosti, regulární vy´razy, Kleeneho věta, konečnost.
Bezkontextové gramatiky a jazyky: transformace bezkontextovy´ch gramatik, vybrané normální
Titulní strana
Obsah
◭◭ ◮◮
◭ ◮
Strana 339 z 509
Zpět
Vprˇed
Zavrˇít
Konec