Informatika - Katedra informatiky na UPOL

Kombinované studium Základy teoretické informatiky


Název předmětu: Základy teoretické informatiky (KMI/YZTI)

Počet kreditů: 9

Ročník: 2

Semestr: letní

Vyučující/Tutor: Mgr. Petr Osička, Ph.D.


Konzultace

Prezenční

Pátek 9:00-11:00 , Nebo v jiný čas po dohodě emailem.

E-mailová

Průběžně na osicka@acm.org

Telefonem

585 634 721


Studijní materiály

Prezentace z přednášky

Ke stažení formální jazyky (poslední změna 2. 3. 2018) vyčíslitelnost (pdf verze, poslední změna 20. 4. 2018), složitost (pdf verze, poslední změna 20. 4. 2018).

Zkoušení

Termíny jsou vypsány ve STAGu. Seznam zkoušených okruhů je zde. Zkouška je ústní s přípravou na papír.

Plán výuky

  1. Formální jazyky a automaty: gramatiky, konečné automaty (deterministické a nedeterministické
    Rozsah: 2 vyučovací hodiny
  2. Formální jazyky a automaty: regulární výrazy (automaty s epsilon přechody, uzávěrové vlastnosti regulárních jazyků, regulární výrazy)
    Rozsah: 2 vyučovací hodiny<
  3. Formální jazyky a automaty: minimalizace konečného automatu, pumping lemma
    Rozsah: 2 vyučovací hodiny
  4. Vyčíslitelnost, existence nerozhodnutelných problémů
    Rozsah: 2 vyučovací hodiny
    Datum konání: 4. 4. 2016
  5. Složitost, teorie NP-úplnosti
    Rozsah: 2 vyučovací hodiny
    Datum konání: 20. 4. 2016

Správce stránky: Petr Osička  |  Aktualizace: 11.02.2016, 09:22:59