news rss feed

2012-05-15: Final
Témy na final: Môžu sa vyskytnúť otázky z celého semestra, veľká väčšina by ale mala byť z druhej polovice (od 26. 3. ďalej). Na finale nebudú veci prednášané posledný týždeň, inak tam môže byť asi čokoľvek spomínané na stránke s materiálmi.

2012-05-14: Final
A víťazom sa stáva... *drumroll* pondelok 21. mája od 12:30 v posluchárni F-109. Podľa Doodle vtedy nemôžu dvaja ľudia. Očakávam nejaké e-maily s vysvetlením. Akonáhle máte ospravedlnenú neúčasť na midterme/finale, najbližší opravák pre vás bude riadnym termínom dotyčnej písomky. Dátumy opravných termínov a ústnych skúšok dohodneme po opravení finalu.

2012-05-07: Final
V priebehu tohto týždňa prosím vyklikajte v Doodli kedy by vám vyhovoval termín záverečnej písomky. (Možnosť "No" by mala znamenať že sa vám daný termín priamo kryje s niečím iným oficiálnym.)

2012-05-07: Výlet "7P"
Ak nemáte čo lepšie na práci v sobotu 26. mája 2012, príďte na výlet 7P a spoznajte ľudí z katedry aj v trochu inom svetle [t.j. priamom slnečnom :D ].

2012-04-11: Rozvrh na zvyšok semestra

16. a 17. 4. som vo Švajčiarsku, prednášky nebudú. 23. a 24. 4. som pre zmenu v Taliansku :) ale prednášky budú. Príde vám Monika Steinová (kedysi FMFI, neskôr ETH Zurich) porozprávať niečo pekné o redukciách. 30. 4. prednáška bude, 1. 5. je sviatok a prednáška nebude 7. 5. prednáška bude, 8. 5. je sviatok a prednáška nebude 11. 5. je síce piatok, ale celý matfyz má utorkový rozvrh => bude aj naša prednáška 14. 5. aj 15. 5. prednášky budú

2012-04-11: Body z midtermu
Body nájdete v tabuľke. Ak sa divoko nezhodujú s tým, čo ste čakali, časom bude príležitosť prísť sa na to opýtať.

2012-04-03: Midterm
Môžete si pozrieť riešenia midtermu. Body sa zjavia niekedy v priebehu nasledujúcich pár dní. Pekné sviatky!

2012-03-26: Midterm
Midterm bude v utorok 3. apríla cez prednášku, teda od 12:20 v posluchárni II. Môžete si pozrieť ukážkové zadania a vzorové riešenia (a kto hľadá, isto nájde aj ďalšie :) ). Midterm bude pokrývať veci odprednášané od 14. 2. po 20. 3. vrátane.

2012-03-22: Riešenie úlohy 7.5
Medzi materiálmi pribudlo sľubované riešenie domácej úlohy o inverznej funkcii k primitívne rekurzívnej funkcii.

2012-03-06: Prednášky 4. týždeň
Prednášky 5. a 6. marca nebudú, najbližšie pokračovanie je teda v pondelok 12. marca. (update: opravený dátum na správny)

2012-02-17: Prednášky 2. týždeň
Zemčo má bojové zranenie, takže vám bohužiaľ namiesto mňa prednášať nepríde. Ale nesmúťte, ešte príde jeho chvíľa, keď sa dá dokopy :) Prednášky v pondelok 20. a utorok 21. februára teda nebudú, TVyp pokračuje podľa rozvrhu v pondelok 27. februára.

2012-02-07: Welcome
Vitaj na stránke predmetu Teória vypočítateľnosti. Prednášať ho bude Mišo Forišek. Ak si tento predmet plánuješ zapísať, môžeš si už teraz do svojej čítačky pridať RSS feed pre tieto oznamy.