- Action: SAVE
- Address: 127.0.0.1
- Comment: '/* Kleenova věta */'
- Content Type: MediaWiki [text/x-mediawiki;charset=utf-8]
- Data ID: a304731d7c4e4c5a8b933fa16d274b69
- External Links: http://groups.yahoo.com/group/mff-info/message/1777, http://www.mff.cuni.cz/studium/bcmgr/ok/i3b4.htm
- Item ID: 5ada95bda3b543fca884d260a10b28f5
- Item Links: 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, TIN064 ČRF, ORF, PRF, Vyčíslitelnost I, Vyčíslitelnost II, wcs:Turingův_stroj, wen:Computable function, wen:Lambda calculus, wen:Post's theorem, wen:Primitive recursive function, wen:Random access machine, wen:Tag system, wen:Turing machine equivalents, wen:μ-recursive function
- Item Transclusions: (None)
- Item Type: default
- Language:
- Modified Time: 2009-05-04 18:55:54z
- Name: Archiv/Státnice - Informatika - Vyčíslitelnost
- Old Name: (None)
- Namespace: ''
- Parent Revision ID: d126aed97bf24996a5aa6b6a0538f642
- Revision ID: 18f41e6e61f045bc8e751578d5dee42a
- Revision Number: 146
- SHA1: fc30bbcbf5f6d79d7bd6c89ffeaf5763c679deee
- Size: 52.9 kB
- Summary: ''
- Tags: (None)
- Trash: False
- User ID: 485ddad40159466c909bbb4d53b43edc
- Wiki Name: MatfyzWiki