|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
192 |
2010-11-26 07:26:56z |
56330 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
191 |
2010-11-26 07:24:57z |
56328 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
190 |
2010-11-26 07:17:05z |
56370 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
189 |
2010-11-26 07:10:14z |
56373 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
188 |
2010-11-26 07:08:31z |
56357 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
187 |
2010-11-26 07:01:49z |
56361 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
186 |
2010-11-26 06:46:27z |
56401 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
185 |
2010-11-25 13:57:19z |
56417 |
|
admin
|
MediaWiki |
/* Imunní a prosté množiny */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
184 |
2010-11-25 13:50:52z |
56417 |
|
admin
|
MediaWiki |
/* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
183 |
2010-11-25 13:48:58z |
56405 |
|
admin
|
MediaWiki |
/* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
182 |
2010-11-25 13:39:39z |
56071 |
|
admin
|
MediaWiki |
/* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
181 |
2010-11-25 13:30:34z |
56076 |
|
admin
|
MediaWiki |
/* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
180 |
2010-11-25 13:30:15z |
56075 |
|
admin
|
MediaWiki |
/* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
179 |
2010-11-25 13:21:42z |
55890 |
|
admin
|
MediaWiki |
/* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
178 |
2010-11-25 12:19:34z |
55891 |
|
admin
|
MediaWiki |
/* Rekurzivně spočetné predikáty */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
177 |
2010-08-25 09:43:42z |
55941 |
|
admin
|
MediaWiki |
[Tydlin.cz] /* Myhillova věta, důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
176 |
2010-08-25 09:40:10z |
54290 |
|
admin
|
MediaWiki |
[Tydlin.cz] /* Ekvivalence TS a ČRF, doplneni */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
175 |
2010-05-16 15:23:03z |
52286 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
174 |
2010-02-07 15:03:11z |
52286 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
173 |
2009-09-03 19:03:02z |
52278 |
|
admin
|
MediaWiki |
/* Rekurzivně spočetné predikáty */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
172 |
2009-09-03 18:05:17z |
52222 |
|
admin
|
MediaWiki |
/* <math>W_x \mbox{ (x-tá rekurzivně spočetná množina) }</math> */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
171 |
2009-09-03 16:36:27z |
52223 |
|
admin
|
MediaWiki |
/* Lambda kalkulu, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
170 |
2009-09-03 16:32:29z |
52222 |
|
admin
|
MediaWiki |
/* Algoritmicky vyčíslitelné funkce, jejich vlastnosti */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
169 |
2009-08-23 08:15:15z |
52223 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
168 |
2009-08-22 17:15:37z |
52224 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
167 |
2009-08-22 16:36:57z |
52221 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
166 |
2009-08-22 16:01:17z |
52181 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
165 |
2009-08-22 15:53:55z |
52205 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
164 |
2009-08-22 15:16:28z |
52221 |
|
admin
|
MediaWiki |
/* Ostatní problémy */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
163 |
2009-08-22 11:38:06z |
52219 |
|
admin
|
MediaWiki |
/* Myhillova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
162 |
2009-08-21 13:08:12z |
52145 |
|
admin
|
MediaWiki |
/* Vlastnosti univerzální funkce (pro ČRF) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
161 |
2009-08-21 12:48:49z |
52138 |
|
admin
|
MediaWiki |
/* Ekvivalence TS a ČRF */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
160 |
2009-08-21 11:16:52z |
52070 |
|
admin
|
MediaWiki |
/* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
159 |
2009-08-07 17:10:22z |
52070 |
|
admin
|
MediaWiki |
/* Halting problém */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
158 |
2009-06-06 14:46:05z |
52068 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Turingův stroj, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
157 |
2009-06-06 14:45:04z |
52015 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Turingův stroj, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
156 |
2009-05-13 23:40:18z |
51997 |
|
admin
|
MediaWiki |
/* Postovy systémy, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
155 |
2009-05-08 15:30:54z |
51992 |
|
admin
|
MediaWiki |
[Ivokabel] /* Věty o rekurzi a jejich aplikace */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
154 |
2009-05-08 15:28:34z |
51993 |
|
admin
|
MediaWiki |
[Ivokabel] /* Riceova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
153 |
2009-05-07 18:57:10z |
51948 |
|
admin
|
MediaWiki |
[Ivokabel] /* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
152 |
2009-05-07 18:32:14z |
51943 |
|
admin
|
MediaWiki |
[Ivokabel] /* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
151 |
2009-05-07 16:16:18z |
51923 |
|
admin
|
MediaWiki |
[Ivokabel] /* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
150 |
2009-05-06 21:49:08z |
51896 |
|
admin
|
MediaWiki |
[Ivokabel] /* Ekvivalence TS a ČRF, důkaz */ Presmerovanie na skripta |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
149 |
2009-05-06 11:13:22z |
52954 |
|
admin
|
MediaWiki |
/* Inkluze v ČRF, ORF, PRF */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
148 |
2009-05-05 11:30:52z |
52954 |
|
admin
|
MediaWiki |
/* Operátory */ - u scitani pomoci CRF o zavorku vice |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
147 |
2009-05-04 21:36:17z |
52955 |
|
admin
|
MediaWiki |
[Ivokabel] /* Vlastnosti univerzální funkce (pro ČRF) */ Enhancement |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
146 |
2009-05-04 18:55:54z |
52940 |
|
admin
|
MediaWiki |
/* Kleenova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
145 |
2009-05-02 00:40:48z |
52940 |
|
admin
|
MediaWiki |
/* RAM programy, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
144 |
2009-05-02 00:39:11z |
52940 |
|
admin
|
MediaWiki |
/* RAM programy, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
143 |
2009-05-02 00:36:38z |
52940 |
|
admin
|
MediaWiki |
/* RAM programy, definice */ |
|
|
|
|
|
|
