Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
74 |
2010-09-07 17:57:37z |
20838 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
73 |
2010-09-07 17:47:50z |
20822 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
72 |
2010-09-07 17:44:50z |
20840 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (<math> \equiv_1\,\!</math> a <math> \equiv_m\,\!</math>) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
71 |
2010-09-01 09:57:53z |
20866 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
70 |
2010-08-31 16:40:22z |
20868 |
|
admin
|
MediaWiki |
/* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
69 |
2010-08-30 21:38:58z |
20868 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
68 |
2010-08-30 21:37:47z |
20865 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
67 |
2010-08-30 21:37:10z |
20867 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
66 |
2010-08-30 21:34:59z |
20841 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
65 |
2010-08-30 21:27:52z |
20828 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
64 |
2010-08-30 21:26:49z |
20824 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
63 |
2010-08-30 21:25:12z |
20829 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
62 |
2010-08-30 21:23:58z |
20823 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
61 |
2010-08-30 21:23:19z |
20817 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
60 |
2010-08-30 21:22:47z |
20816 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O selektoru) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
59 |
2010-08-30 20:59:09z |
20815 |
|
admin
|
MediaWiki |
[Tuetschek] /* Lemma (ORF <math> \to\,\!</math> RSP) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
58 |
2010-08-30 20:58:13z |
20814 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (Kvantifikace a rek. spočetnost) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
57 |
2010-08-30 20:57:28z |
20821 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
56 |
2010-08-30 20:49:36z |
20796 |
|
admin
|
MediaWiki |
[Tuetschek] /* Poznámka */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
55 |
2010-08-30 20:48:40z |
20775 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
54 |
2010-08-30 20:43:30z |
20707 |
|
admin
|
MediaWiki |
[Tuetschek] /* Rekurzivně spočetné predikáty */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
53 |
2010-08-30 20:41:15z |
20723 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
52 |
2010-08-30 20:40:43z |
20718 |
|
admin
|
MediaWiki |
[Tuetschek] /* Lemma (ORF <math> \to\,\!</math> RSP) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
51 |
2010-08-30 20:38:48z |
20689 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
50 |
2010-08-30 20:36:43z |
20688 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
49 |
2010-08-30 20:35:17z |
20657 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
48 |
2010-08-30 20:28:20z |
20536 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
47 |
2010-08-30 20:27:36z |
20543 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (Rekurzivní isomorfismus) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
46 |
2010-08-30 20:27:13z |
20539 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
45 |
2010-08-30 20:25:28z |
20538 |
|
admin
|
MediaWiki |
[Tuetschek] /* Lemma (<math> K_0\,\!</math> je 1-úplná) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
44 |
2010-08-30 20:22:56z |
20525 |
|
admin
|
MediaWiki |
[Tuetschek] /* 1-převeditelnost, m-převeditelnost */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
43 |
2010-08-30 20:18:01z |
20555 |
|
admin
|
MediaWiki |
[Tuetschek] /* Rekurzivně spočetné množiny */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
42 |
2010-08-30 20:12:41z |
19324 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (K) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
41 |
2010-08-30 20:11:23z |
19312 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
40 |
2010-08-30 09:21:19z |
19313 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
39 |
2010-08-30 09:07:28z |
19119 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
38 |
2010-08-30 09:06:02z |
19026 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
37 |
2010-08-30 09:04:57z |
19026 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
36 |
2010-08-30 09:04:28z |
19013 |
|
admin
|
MediaWiki |
[Tuetschek] /* Rekurzivně spočetné predikáty */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
35 |
2010-08-30 09:03:25z |
19013 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důsledek */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
34 |
2010-08-30 09:02:53z |
19012 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
33 |
2010-08-30 08:58:16z |
19011 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
32 |
2010-08-30 08:57:46z |
19011 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
31 |
2010-08-30 08:57:09z |
19011 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
30 |
2010-08-30 08:54:38z |
18963 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (<math> \equiv_1\,\!</math> a <math> \equiv_m\,\!</math>) */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
29 |
2010-08-30 08:53:59z |
18977 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
28 |
2010-08-30 08:53:30z |
18972 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
27 |
2010-08-30 08:09:52z |
18991 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
26 |
2010-08-29 22:17:19z |
18993 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
25 |
2010-08-29 22:00:32z |
18975 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|