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] |
|
|
|
|
|
|