FI:R009 Teor. základy informatiky I - Informace o předmětu

R009 Teoretické základy informatiky I

Rozsah

0/0. 0 kr. Ukončení: z.

Vyučující

doc. RNDr. Václav Sedláček, CSc. (přednášející)

Garance

Kontaktní osoba: doc. RNDr. Václav Sedláček, CSc.

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

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

Osnova

• Konečné automaty, regulární množiny, deterministické a nedeterministické konečné automaty, Kleeneho věta.
• Zásobník v programování, zásobníkové automaty, převod aritmetického výrazu do postfixové notace, rekurze.
• Turingův stroj, příklady, rozhodnutelnost a parciální rozhodnutelnost, problém zastavení Turingova stroje, Churchova teze, Postův korespondenční problém.
• Gramatiky a jazyky, Chomského klasifikace jazyků, vztah gramatik a automatů.
• Syntaktická analýza bezkontextových jazyků, derivační strom.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/leto1998/R009