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, SAT-CNF (2018-11-30)
    5. P, NP, redukcje (2018-12-14)
    6. Redukcje do ILP (2019-01-04)
    7. Redukcje cd. (2019-01-18)

 

Kalendarz Piotra Chołdy: