Zk [11.1.2008]

Základní přednáška z teorie algoritmů a efektivní vyčíslitelnosti. Turingovy stroje. Částečně rekurzivní funkce. Rekurzivní a rekurzivně spočetné množiny. Algoritmicky nerozhodnutelné problémy. Věta o rekurzi. Kreativní množiny.
Uživatelský avatar
twoflower
Supermatfyz(ák|ačka)
Příspěvky: 445
Registrován: 22. 9. 2004 21:07
Typ studia: Informatika Ph.D.
Kontaktovat uživatele:

Zk [11.1.2008]

Příspěvek od twoflower »

1) Lemma o selekci
2) Konstrukce efektivne neoddelitelne dvojice

Odchazel jsem jako druhy, s jednickou (prede mnou taktez za 1) asi po dvaceti minutach. Hodne pohodova zkouska.
Uživatelský avatar
Necroman
Supermatfyz(ák|ačka)
Příspěvky: 459
Registrován: 20. 1. 2005 19:46
Typ studia: Informatika Mgr.
Bydliště: Louny / kolej Jednota, Praha
Kontaktovat uživatele:

Re: Zk [11.1.2008]

Příspěvek od Necroman »

twoflower píše:...Hodne pohodova zkouska.
...ale kdyz je clovek blbej, tak mu to neni nic platny. zamlzil jsem dukazy a kdyz nas tam zbylo asi 5, tak mi potom rekl, at si radeji prijdu priste :cry: Co si pamatuju, tak poslal takto domu dobre tretinu lidi. U tech, co tam zustali po me, to take nevypadalo moc nadejne.

Opravdu bych rekl, ze to je treba umet a pokud tam napisete jen ulomky dukazu, ktere nedrzi pohromade, tak proste smula.
WANTED:
Dead or Alive
^-^
( ^ )
Schroedinger's Cat
Odpovědět

Zpět na „TIN064 Vyčíslitelnost I“