History of 92cf75d ~( Archiv/Státnice - Algoritmicky vyčíslitelné funkce)

Item Name Click to show history spanning item delete and recreate.

Page 1 of 2 »
Name or ID ~(Old Name) Rev. Timestamp Size Editor Content Type Comment and/or `Summary` Actions
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 61 2013-08-26 20:04:27z 22630
admin MediaWiki /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 60 2011-04-23 09:16:51z 22630
admin MediaWiki /* Definice (Základní operátory) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 59 2010-09-07 16:56:25z 22630
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 58 2010-09-07 16:53:01z 22178
admin MediaWiki [Tuetschek] /* Definice (Univerzální funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 57 2010-09-07 16:52:29z 22179
admin MediaWiki [Tuetschek] /* Poznámka (Jiná možnost nahlížení) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 56 2010-09-07 16:51:34z 22156
admin MediaWiki [Tuetschek] /* Definice (Strukturální složitost) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 55 2010-09-07 16:50:14z 22053
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 54 2010-09-07 16:49:59z 22069
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 53 2010-09-07 16:43:04z 22056
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 52 2010-09-07 16:38:59z 22058
admin MediaWiki [Tuetschek] /* Vztah Turingových strojů a částečně rekurzivních funkcí */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 51 2010-09-07 16:35:21z 22101
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 50 2010-09-07 16:16:38z 22092
admin MediaWiki [Tuetschek] /* Definice (Základní funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 49 2010-08-30 20:31:34z 22087
admin MediaWiki [Tuetschek] /* Věta (Kleenova o normální formě) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 48 2010-08-30 20:21:40z 22024
admin MediaWiki [Tuetschek] /* Definice (Charakteristická funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 47 2010-08-30 20:17:43z 22003
admin MediaWiki [Tuetschek] /* Operace s PRF, predikáty */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 46 2010-08-30 19:05:30z 22923
admin MediaWiki [Tuetschek] /* Kleenova věta */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 45 2010-08-30 19:02:47z 22773
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 44 2010-08-30 19:02:34z 22772
admin MediaWiki [Tuetschek] /* Kleenova věta */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 43 2010-08-30 18:59:04z 22791
admin MediaWiki [Tuetschek] /* Definice (Charakteristická funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 42 2010-08-30 18:58:37z 22792
admin MediaWiki [Tuetschek] /* Definice (Charakteristická funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 41 2010-08-30 18:57:23z 22794
admin MediaWiki [Tuetschek] /* Věta (Kleenova o normální formě) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 40 2010-08-30 18:52:46z 22852
admin MediaWiki [Tuetschek] /* Věta (Kleenova o normální formě) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 39 2010-08-30 18:48:02z 22585
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 38 2010-08-30 18:24:14z 22588
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 37 2010-08-30 18:23:44z 22575
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 36 2010-08-30 18:23:11z 22562
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 35 2010-08-30 18:01:17z 22260
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 34 2010-08-30 17:53:57z 22231
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 33 2010-08-30 17:51:59z 22230
admin MediaWiki [Tuetschek] /* Definice (Turingovsky vyčíslitelná funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 32 2010-08-30 13:15:08z 22213
admin MediaWiki [Tuetschek] /* Definice (Základní operátory) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 31 2010-08-30 09:27:00z 21983
admin MediaWiki [Tuetschek] /* Částečně rekurzivní funkce */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 30 2010-08-30 09:23:25z 21384
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 29 2010-08-30 08:52:11z 21384
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 28 2010-08-30 08:51:45z 21384
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 27 2010-08-30 08:50:50z 21390
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 26 2010-08-30 08:49:54z 21334
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 25 2010-08-30 08:42:33z 21242
admin MediaWiki [Tuetschek] /* Definice (Turingovsky vyčíslitelná funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 24 2010-08-30 08:41:33z 21236
admin MediaWiki [Tuetschek] /* Definice (Univerzální funkce) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 23 2010-08-30 08:41:10z 21232
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 22 2010-08-30 08:40:35z 21280
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 21 2010-08-30 08:39:21z 21281
admin MediaWiki [Tuetschek] /* Poznámka (Operace zachovávající PR) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 20 2010-08-30 08:38:48z 21268
admin MediaWiki [Tuetschek] /* Definice (Rekurzivní a rekurzivně spočetná množina) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 19 2010-08-30 08:38:25z 21270
admin MediaWiki [Tuetschek] /* Poznámka (Neformálně) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 18 2010-08-30 08:38:00z 21289
admin MediaWiki [Tuetschek] /* Definice (PR, OR, RS Predikáty) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 17 2010-08-30 08:37:41z 21289
admin MediaWiki [Tuetschek] /* Definice (Základní operátory) */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 16 2010-08-30 08:37:14z 21289
admin MediaWiki [Tuetschek] /* Částečně rekurzivní funkce */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 15 2010-08-30 08:09:25z 21218
admin MediaWiki [Tuetschek]
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 14 2010-08-30 08:06:16z 21234
admin MediaWiki [Tuetschek]
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 13 2010-08-29 22:47:46z 21220
admin MediaWiki [Tuetschek] /* Důkaz */
Archiv/Státnice - Algoritmicky vyčíslitelné funkce 12 2010-08-17 16:13:41z 21185
admin MediaWiki [Tuetschek]
Page 1 of 2 »