Sem. zimowy 2018/19: Teoria obliczeń i złożoności obliczeniowej

Teleinformatyka, 5-ty semestr studiów inżynierskich

Przedmiot jest prowadzony przez:

Wykłady: piątki, 9.35-11.05 (1.38/D-17 KI)

Ćwiczenia:

  • Zajęcia odbywają się w piątki (ale nie wszystkie!) w godz. 8.00-9.30 (06/D-5 KT)
  • Kolokwia odbywają się na wykładzie, a nie na ćwiczeniach
  • Terminy i tematy zajęć:
    1. Programowanie maszyny Turinga, własności RE, rozstrzygalność (2018-10-12)
    2. Własności RE, rozstrzygalność, równoważność modeli obliczeń (2018-10-26)
    3. Enumeratory, separacja językow z coRE, redukcje (2018-11-16)
    4. Klasyfikacje języków (hierarchia arytmetyczna) (2018-11-30)
    5. Problemy SAT-CNF; klasy P, NP (2018-12-14)
    6. Redukcje do ILP (2019-12-21)
    7. Problemy NP-zupełne (2019-01-18)

Kalendarz Piotra Chołdy: