History of Archiv/Státnice - Rekurzivní a rekurzivně spočetné množiny

Item Id Click to show history spanning item renames.

Name or ID ~(Old Name) Rev. Timestamp Size Editor Content Type Comment and/or `Summary` Actions
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 */