|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
24 |
2010-08-29 21:25:25z |
18974 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
23 |
2010-08-17 16:14:47z |
18974 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
22 |
2010-08-17 13:54:07z |
18958 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
21 |
2010-08-17 12:37:06z |
18943 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
20 |
2010-08-17 12:35:17z |
18985 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
19 |
2010-08-17 12:34:17z |
18355 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
18 |
2010-08-17 12:33:31z |
18360 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
17 |
2010-08-17 12:32:10z |
18343 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
16 |
2010-08-17 12:30:32z |
18346 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
15 |
2010-08-17 12:30:09z |
18344 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
14 |
2010-08-17 12:29:34z |
18342 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
13 |
2010-08-17 12:29:00z |
18338 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
12 |
2010-08-17 12:28:34z |
18349 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
11 |
2010-08-17 12:27:35z |
18345 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
10 |
2010-08-17 12:27:12z |
18357 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O selektoru) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
9 |
2010-08-17 12:26:05z |
18348 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
8 |
2010-08-17 12:25:22z |
18344 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
7 |
2010-08-17 12:22:16z |
18366 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
6 |
2010-08-17 12:21:41z |
18362 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
5 |
2010-08-17 12:21:20z |
18363 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
4 |
2010-08-17 12:18:52z |
18385 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (Ekvivalence <math> \equiv_1\,\!</math> a <math> \equiv_m\,\!</math>) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
3 |
2010-08-17 12:18:12z |
18381 |
|
admin
|
MediaWiki |
[Tuetschek] /* Lemma (<math> K_0\,\!</math> je 1-úplná) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
2 |
2010-08-17 12:17:55z |
18392 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny
|
1 |
2010-08-17 12:17:17z |
18393 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
