Archiv/Státnice - Informatika - Vyčíslitelnost
|
242 |
2015-06-10 19:09:13z |
48245 |
|
admin
|
MediaWiki |
/* 1-převeditelnost, m-převeditelnost */ pozn. |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
241 |
2015-05-28 20:51:03z |
48145 |
|
admin
|
MediaWiki |
důležitá literatura |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
240 |
2015-05-28 20:18:15z |
47995 |
|
admin
|
MediaWiki |
nova literatura |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
239 |
2014-08-18 10:05:21z |
47846 |
|
admin
|
MediaWiki |
odkazy na obšírnější výcucy |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
238 |
2014-05-26 09:40:49z |
47644 |
|
admin
|
MediaWiki |
[SM4JL] odkaz |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
237 |
2014-05-26 08:58:59z |
47566 |
|
admin
|
MediaWiki |
/* Věty o rekurzi a jejich aplikace, Riceova věta */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
236 |
2014-05-26 08:56:18z |
47469 |
|
admin
|
MediaWiki |
pridana podotazka vety o rekurzi, riceova veta |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
235 |
2014-05-04 14:41:34z |
47381 |
|
admin
|
MediaWiki |
[Ascorti] /* Věta o selektoru */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
234 |
2014-04-21 14:01:34z |
47444 |
|
admin
|
MediaWiki |
[Ascorti] /* Univerzální funkce */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
233 |
2013-11-24 19:55:36z |
47627 |
|
admin
|
MediaWiki |
[Tpcz] /* Turingův stroj, definice, uprava pro nedeterministricky pripad */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
232 |
2013-05-21 14:15:11z |
47388 |
|
admin
|
MediaWiki |
[Peci1] /* Ostatní problémy */ Odstranen spam |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
231 |
2013-05-15 09:51:46z |
48090 |
|
admin
|
MediaWiki |
/* Ekvivalence různých matematických definic */ Odstranění spamu |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
230 |
2013-04-21 09:35:43z |
48296 |
|
admin
|
MediaWiki |
[Peci1] Refreshed before spam |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
229 |
2013-04-21 09:34:25z |
3365 |
|
admin
|
MediaWiki |
[Peci1] Undo revision 19605 by peci1 |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
228 |
2013-03-07 22:52:30z |
0 |
|
admin
|
MediaWiki |
dNDlWnhkMYkFkcrK |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
227 |
2013-03-07 22:52:27z |
3365 |
|
admin
|
MediaWiki |
AyZeGyGzmLrkBC |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
226 |
2013-03-05 12:11:41z |
3230 |
|
admin
|
MediaWiki |
UBaygXwFRFMDeeUD |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
225 |
2013-03-05 12:00:35z |
2148 |
|
admin
|
MediaWiki |
TycevzgcpnIfJDQNJ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
224 |
2013-03-05 11:58:12z |
1179 |
|
admin
|
MediaWiki |
uaaffLBJtOaAmNV |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
223 |
2013-03-05 11:11:44z |
1964 |
|
admin
|
MediaWiki |
QqoEqcxdJ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
222 |
2013-03-05 09:47:58z |
1774 |
|
admin
|
MediaWiki |
uQKXYovUEK |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
221 |
2013-03-04 03:35:38z |
1601 |
|
admin
|
MediaWiki |
CYFbDJAnLqeI |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
220 |
2013-03-04 00:24:21z |
48296 |
|
admin
|
MediaWiki |
/* <math>W_x \mbox{ (x-tá rekurzivně spočetná množina) }</math> */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
219 |
2013-03-03 18:42:53z |
49889 |
|
admin
|
MediaWiki |
/* Matematické modely */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
218 |
2013-03-03 09:33:57z |
49945 |
|
admin
|
MediaWiki |
/* Kleenova věta */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
217 |
2013-03-03 08:48:44z |
51201 |
|
admin
|
MediaWiki |
/* Věty o rekurzi a jejich aplikace */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
216 |
2013-01-28 18:54:11z |
56478 |
|
admin
|
MediaWiki |
[Paulie] revert vandalismu |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
215 |
2013-01-20 10:07:32z |
697 |
|
admin
|
MediaWiki |
GSAhTCaA |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
214 |
2013-01-19 10:23:34z |
194 |
|
admin
|
MediaWiki |
TNOoAGCTiFFPDF |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
213 |
2013-01-18 11:01:49z |
135 |
|
admin
|
MediaWiki |
ezwyiAVgKF |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
212 |
2013-01-18 06:02:48z |
0 |
|
admin
|
MediaWiki |
/* Ostatní problémy */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
211 |
2013-01-18 06:02:47z |
52889 |
|
admin
|
MediaWiki |
/* Ostatní problémy */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
210 |
2013-01-18 03:11:43z |
55068 |
|
admin
|
MediaWiki |
/* Lambda kalkulus, definice */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
209 |
2013-01-17 21:30:34z |
55712 |
|
admin
|
MediaWiki |
/* Definice */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
208 |
2012-09-01 09:48:39z |
56478 |
|
admin
|
MediaWiki |
/* Univerzální funkce */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
207 |
2012-05-09 20:05:51z |
56482 |
|
admin
|
MediaWiki |
[Andysh] /* Kleenova věta */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
206 |
2012-05-09 19:46:03z |
56460 |
|
admin
|
MediaWiki |
[Andysh] /* Univerzální funkce */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
205 |
2011-09-11 19:41:30z |
56460 |
|
admin
|
MediaWiki |
revert spambotu |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
204 |
2011-08-28 17:46:15z |
38064 |
|
admin
|
MediaWiki |
wvPRAxnmaqF |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
203 |
2011-08-17 15:04:14z |
37929 |
|
admin
|
MediaWiki |
wiXebHdlYljrMuH |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
202 |
2011-08-15 15:55:17z |
37870 |
|
admin
|
MediaWiki |
/* <math>W_x \mbox{ (x-tá rekurzivnÄ spoÄetná množina) }</math> */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
201 |
2011-08-14 16:30:45z |
39486 |
|
admin
|
MediaWiki |
/* VÄta o selektoru */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
200 |
2011-08-14 13:21:45z |
41631 |
|
admin
|
MediaWiki |
gkWuCpSVLQHPrtxwBj |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
199 |
2011-08-14 09:31:33z |
41572 |
|
admin
|
MediaWiki |
/* Algoritmicky vyÄÃslitelné funkce, jejich vlastnosti */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
198 |
2011-08-14 07:59:15z |
45548 |
|
admin
|
MediaWiki |
/* Ekvivalence různých matematických definic */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
197 |
2011-08-14 05:47:20z |
51920 |
|
admin
|
MediaWiki |
/* Dalšà vztahy */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
196 |
2011-08-14 02:04:38z |
52488 |
|
admin
|
MediaWiki |
/* VÄty o rekurzi */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
195 |
2010-11-26 07:48:50z |
56460 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
194 |
2010-11-26 07:31:54z |
56314 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
193 |
2010-11-26 07:31:09z |
56308 |
|
admin
|
MediaWiki |
/* Věty o rekurzi */ |
|
|
|
|
|
|