M-INBP-004 Teória vypočítateľnosti pre programátorov ZS 2005/06

Aktuálne informácie

• 1. opravný termín je v piatok 10.II.2006, 14:00, miestnosť I25
• skúška je v piatok 13.I.2006, miestnosť I-XII
  • 10:00 Drábik
  • 10:30 Chudá
  • 11:00 Macko
  • 14:00 Záthurecký
  • 14:30 Bauer
  • 15:00 Paulíny
• Rice-Shapiro theorem

Literatúra

• J. Komara and P. J. Voda. Lecture Notes in Theory of Computability. 2001. (PostScript) (Adobe Acrobat Document)
• P. J. Voda. Theory of Recursive Functions & Computability. 2000. (PostScript)
• I. Korec. Úvod do teórie algoritmov. MFF UK. Bratislava. 1983.

Cvičenia

• 1. cvičenie (výsledky)
• 2. cvičenie (výsledky)
• 3. cvičenie (výsledky)
• 4. cvičenie (výsledky)
• 5. cvičenie (výsledky)
• 7. cvičenie (výsledky)
• 8. cvičenie (výsledky)
• 10. cvičenie (výsledky)
• 11. cvičenie (výsledky)
• 12. cvičenie
• 13. cvičenie (výsledky)

Test (zadanie) (riešenia) (výsledky)

Skúška

• Rice-Shapiro theorem (PostScript) (Adobe Acrobat Document)

Celkové hodnotenie