PřF:Bi2011 Teor. zákl. informatiky - Informace o předmětu

Bi2011 Teoretické základy informatiky

Rozsah

2/2. 4 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k.

Vyučující

RNDr. Miroslav Kubásek, Ph.D. (přednášející)

Garance

prof. RNDr. Ladislav Dušek, Ph.D.
RECETOX – Přírodovědecká fakulta
Kontaktní osoba: RNDr. Jaroslav Ráček, Ph.D.

Rozvrh

St 9:00–10:50 F01B1/709, St 11:00–12:50 F01B1/709

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Matematická biologie (program PřF, B-BI)

Cíle předmětu

Hlavní cíle kurzu jsou:
rozumět základům logiky, grafů, automatů a formálních jazyků;
rozvinout schopnost abstrakce.

Osnova

• Číselné soustavy.
• Výrokový počet, Booleova algebra.
• Predikátový počet.
• Základní pojmy z teorie grafů.
• Eulerovské a hamiltonovské grafy, stromy.
• Kostra grafu, hledání optimální cesty.
• Konečné automaty.
• Zásobníkové automaty.
• Gramatiky a jazyky, Chomského klasifikace.
• Vztah konečných automatů a regulárních jazyků.
• Vztah zásobníkových automatů a bezkontextových jazyků.
• Základní metody syntaktické analýzy bezkontextových jazyků.
• Lineárně ohraničené automaty.
• Turingovy stroje.

Literatura

• Fuchs, E.: Diskrétní matematika a Teorie množin pro učitele (CD-ROM). Masarykova univerzita, Brno, 2000.
• Fuchs, E.: Diskrétní matematika pro učitele. Masarykova univerzita, Brno, 2001.
• Kolář, J., Štěpánková, O., Chytil, M.: Logika, algebra, grafy. SNTL, Praha, 1989.
• Molnár, L', Češka, M., Melichar, B.: Gramatiky a jazyky. Alfa, Bratislava, 1987.
• Štěpán, J.: Formální logika. FIN, Olomouc, 1995.

Výukové metody

teoretická přednáška, řešení praktických příkladů

Metody hodnocení

Přednášky, diskuse v hodině;
Závěrečná písemná zkouška.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

Nachází se v prerekvizitách jiných předmětů

• E2011 Teoretické základy informatiky
  !Bi2011  

• Statistika zápisu (podzim 2010, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/sci/podzim2010/Bi2011