[Zk] 15.2.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.
Kuba
Matfyz(ák|ačka) level II
Příspěvky: 92
Registrován: 2. 6. 2005 22:55
Typ studia: Informatika Mgr.
Bydliště: Praha - Dejvice
Kontaktovat uživatele:

[Zk] 15.2.2008

Příspěvek od Kuba »

1) Rice-ova věta + důkaz
2) B = {x: Wx = {} } {} - prázdná množina, dokázat, že není rekurzivní nebo že není rekurzivně spočetná (Hint: použít K' (K doplněk))
3) (A,B) efektivně neoddělitelná dvojice disjunktních, rekurzivně spočetných množin => A je kreativní

Měl jsem 1,3 a "pocit" z 2, mam za 2 (pry mi trochu pridal)
gASK
Admin(ka) level I
Příspěvky: 635
Registrován: 9. 6. 2005 12:33
Typ studia: Informatika Mgr.
Bydliště: Konečně Vinohrady:)
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od gASK »

Měl jsem 1 a 2 (s jeho hintem), známka za 2.
When life gives you crap, make crap golems.
Uživatelský avatar
Lada
Donátor
Donátor
Příspěvky: 165
Registrován: 9. 1. 2005 10:17
Typ studia: Informatika Bc.
Bydliště: Slaný / zácpa na Evropské

Re: [Zk] 15.2.2008

Příspěvek od Lada »

tak ja mel 1, castecne 2 a jeste vice castecne 3 a mam za 3 - Spokojenost maximalni:) Jinak ke konci hodne lidi odchazelo s 3 nebo 2, ani nevim jestli nekdo dostal jednicku...
Hail to you, champion:o)
gASK
Admin(ka) level I
Příspěvky: 635
Registrován: 9. 6. 2005 12:33
Typ studia: Informatika Mgr.
Bydliště: Konečně Vinohrady:)
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od gASK »

Určitě. Vím minimálně o jednom (Franta). :wink:
When life gives you crap, make crap golems.
Uživatelský avatar
Hugo
Donátor
Donátor
Příspěvky: 233
Registrován: 2. 6. 2005 13:31
Typ studia: Informatika Mgr.
Bydliště: treti kontejner zleva
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od Hugo »

Ja jsem nesmirne rad za 3, vypada to, ze ptz Kucera objevil forko a wiki, tak dava cim dal zaludnejsi otazky.
Jinak v te hospode jste meli zustat. Potom byla neuveritelna prdel kdyz Dalibor chtel pronest pivo v kabatu a pri odchodu daval pusu servirce, pricemz se pritom naklonil tak, ze ji tim imaginarnim pivem neuveritelne polil.. :D :D
Franta
Matfyz(ák|ačka) level I
Příspěvky: 32
Registrován: 1. 2. 2006 10:38
Typ studia: Informatika Mgr.
Bydliště: Praha
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od Franta »

Hugo píše:Ja jsem nesmirne rad za 3, vypada to, ze ptz Kucera objevil forko a wiki, tak dava cim dal zaludnejsi otazky.
Jinak v te hospode jste meli zustat. Potom byla neuveritelna prdel kdyz Dalibor chtel pronest pivo v kabatu a pri odchodu daval pusu servirce, pricemz se pritom naklonil tak, ze ji tim imaginarnim pivem neuveritelne polil.. :D :D
:lol: a nedostali jste po drzce od kuchare? Vypadal docela nabrousene uz kdyz jsme odchazeli :D
Uživatelský avatar
Hugo
Donátor
Donátor
Příspěvky: 233
Registrován: 2. 6. 2005 13:31
Typ studia: Informatika Mgr.
Bydliště: treti kontejner zleva
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od Hugo »

Franta píše:
Hugo píše:Ja jsem nesmirne rad za 3, vypada to, ze ptz Kucera objevil forko a wiki, tak dava cim dal zaludnejsi otazky.
Jinak v te hospode jste meli zustat. Potom byla neuveritelna prdel kdyz Dalibor chtel pronest pivo v kabatu a pri odchodu daval pusu servirce, pricemz se pritom naklonil tak, ze ji tim imaginarnim pivem neuveritelne polil.. :D :D
:lol: a nedostali jste po drzce od kuchare? Vypadal docela nabrousene uz kdyz jsme odchazeli :D

nn, ale dlouho to tam vytiral a sbiral sklo...ona z nej za chvili vypadla i cela sklenice :D
Uživatelský avatar
Hugo
Donátor
Donátor
Příspěvky: 233
Registrován: 2. 6. 2005 13:31
Typ studia: Informatika Mgr.
Bydliště: treti kontejner zleva
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od Hugo »

Jinak bych rad explicitne upozornil, ze od te doby co p. Kucera objevil forko, tak je seznam otazek na wiki pase. Bylo videt, jak vymysli na miste otazky, ktere jsou nove a ktere nejsou ve skriptech (otazky 2 a 3)..
Uživatelský avatar
macbeth
Matfyz(ák|ačka) level III
Příspěvky: 201
Registrován: 11. 2. 2005 14:48
Typ studia: Informatika Mgr.
Bydliště: PPraha
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od macbeth »

Hm, to je skvela sprava... ze ja som to nedal ked som tam bol prvy raz... :roll:
Nieco, co by nejavilo ziadne znamky bytia, teda by sa nijak neprejavovalo ako sucno, by nebolo niecim, ale prave nicim...
Uživatelský avatar
Tuetschek
Supermatfyz(ák|ačka)
Příspěvky: 657
Registrován: 15. 6. 2005 13:54
Typ studia: Nestuduji ale učím na MFF
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od Tuetschek »

Hugo píše:... od te doby co p. Kucera objevil forko ...
To rikal :twisted: ?
Plug 'n' Pray.
Kuba
Matfyz(ák|ačka) level II
Příspěvky: 92
Registrován: 2. 6. 2005 22:55
Typ studia: Informatika Mgr.
Bydliště: Praha - Dejvice
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od Kuba »

Otazka 3 mozna neni ve skriptech, ale byla na prednasce.

Ne, rikal jen, ze taky musi vymyslet nejake nove otazky.
gASK
Admin(ka) level I
Příspěvky: 635
Registrován: 9. 6. 2005 12:33
Typ studia: Informatika Mgr.
Bydliště: Konečně Vinohrady:)
Kontaktovat uživatele:

Re: [Zk] 15.2.2008

Příspěvek od gASK »

To s tím forkém nám říkal ve středu na naší seanci. Důsledek toho si můžete domyslet sami - na posledních třech termínech samé nové otázky, zatímco roky předtím běžely ty samé dokola :twisted:
When life gives you crap, make crap golems.
Návštěvník

Re: [Zk] 15.2.2008

Příspěvek od Návštěvník »

Franta píše: :lol: a nedostali jste po drzce od kuchare? Vypadal docela nabrousene uz kdyz jsme odchazeli :D
Nedostal(i) nejen, ze nas nevyhodili, ale jeste mi rikal, at se neporezu a ze zbytek uklidi. Sklo chteli zaplatit. Nakonec jsme jeste dostali piva. A kdyz jsem se hlasil o placeni rozbiteho pulitru, byli uplne v poho a nechteli ho platit.

Zdravi alkoholik Dalibor
Odpovědět

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