- Action: SAVE
- Address: 127.0.0.1
- Comment: '/* 1-převeditelnost, m-převeditelnost */ pozn.'
- Content Type: MediaWiki [text/x-mediawiki;charset=utf-8]
- Data ID: 60357a3b1ba64eee84cd2334c6b20e4e
- External Links: http://atrey.karlin.mff.cuni.cz/%7Ejohanka/vyuka/pohadky_vycislitelnost.html, http://groups.yahoo.com/group/mff-info/message/1777, http://ktiml.mff.cuni.cz/%7Ekucerap/NTIN090/, http://wiki.matfyz.cz/index.php?title=TIN064_Věty_o_rekurzi, http://www.fit.vutbr.cz/study/courses/TIN/public/Texty/oporaTIN.pdf, http://www.mff.cuni.cz/studium/bcmgr/ok/i3b4.htm, http://www1.osu.cz/home/habibal/kurzy/vysl1.pdf%5D
- Item ID: 5ada95bda3b543fca884d260a10b28f5
- Item Links: abeceda, Category: Státnice Informatika Mgr., Státnice, Státnice - Informatika - I1: Teoretická informatika, Státnice - Informatika - I2: Softwarové systémy, Státnice - Informatika - I3: Matematická lingvistika, Státnice - Informatika - I4: Diskrétní modely a algoritmy, Státnice - Informatika - Složitost, Státnice - Informatika - Vyčíslitelnost, Státnice_-_Informatika_-_Vyčíslitelnost, TIN064_Prerekvizity, TIN064_wiki-skripta, TIN064_ČRF,_ORF,_PRF, Vyčíslitelnost I, Vyčíslitelnost II, Vyčíslitelnost I, wcs:Cantorova diagonální metoda, wen:Computable function, wen:List of undecidable problems, wen:Post's theorem, wen:Primitive recursive function, wen:Recursive set, wen:Recursively enumerable set, wen:Turing machine equivalents, wen:μ-recursive function
- Item Transclusions: (None)
- Item Type: default
- Language:
- Modified Time: 2015-06-10 19:09:13z
- Name: Archiv/Státnice - Informatika - Vyčíslitelnost
- Old Name: (None)
- Namespace: ''
- Parent Revision ID: 2c20917e6f7f45fdb5422022aca86756
- Revision ID: 5e906aad64034fd387c9a8bae404fc5d
- Revision Number: 242
- SHA1: 0db7657d548281260d4662dca1f51f07812fb86f
- Size: 48.2 kB
- Summary: ''
- Tags: (None)
- Trash: False
- User ID: 485ddad40159466c909bbb4d53b43edc
- Wiki Name: MatfyzWiki
