Archiv/TIN064 Prerekvizity
|
32 |
2014-06-21 18:13:32z |
13263 |
|
admin
|
MediaWiki |
[DrTentacle] |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
31 |
2013-12-08 19:06:28z |
12577 |
|
admin
|
MediaWiki |
/* \mathcal{P}(\mathbb{N}) je nespočetná. */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
30 |
2013-12-08 18:32:01z |
12587 |
|
admin
|
MediaWiki |
/* \mathcal{P}(\mathbb{N}) je nespočetná. */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
29 |
2013-11-25 23:52:21z |
12473 |
|
admin
|
MediaWiki |
[Svick] Undo revision 21118 by [[Special:Contributions/78.128.169.81|78.128.169.81]] ([[User talk:78.128.169.81|talk]]) předtím to podle mě bylo dobře |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
28 |
2013-11-25 20:46:29z |
12486 |
|
admin
|
MediaWiki |
/* Pro připomenutí */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
27 |
2010-08-30 16:31:29z |
12473 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
26 |
2010-08-30 15:50:54z |
12472 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
25 |
2010-01-19 13:03:38z |
12472 |
|
admin
|
MediaWiki |
/* Důkaz */ Doplnění předpokladů, pokud vynecháme z předpokladů UTS |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
24 |
2010-01-15 13:44:42z |
12062 |
|
admin
|
MediaWiki |
[Kaktus] /* Páska univerzálního stroje */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
23 |
2009-09-13 16:59:09z |
12123 |
|
admin
|
MediaWiki |
[Milvus] /* Páska univerzálního stroje */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
22 |
2009-09-13 08:42:22z |
12120 |
|
admin
|
MediaWiki |
[Milvus] /* Varianty TS */ odstraněna matoucí poznámka |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
21 |
2009-05-12 09:37:34z |
12066 |
|
admin
|
MediaWiki |
[Ivokabel] /* <math>\mathcal{P}(\mathbb{N})</math> je nespočetná. */ Oprava |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
20 |
2009-05-03 15:36:47z |
12077 |
|
admin
|
MediaWiki |
[Ivokabel] /* Varianty TS */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
19 |
2009-05-03 15:18:28z |
12022 |
|
admin
|
MediaWiki |
[Ivokabel] /* Kódování n-tic */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
18 |
2009-01-28 19:14:58z |
12022 |
|
admin
|
MediaWiki |
/* Páska univerzálního stroje */ Typo? |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
17 |
2009-01-28 18:12:14z |
12022 |
|
admin
|
MediaWiki |
/* <math>\mathcal{P}(\mathbb{N})</math> je nespočetná. */ Tamto n je vlastne celkove matouci, jde o to pridavat do B prvky, kterere nejsou v dane mnozine... |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
16 |
2009-01-28 17:54:11z |
11874 |
|
admin
|
MediaWiki |
/* <math>\mathcal{P}(\mathbb{N})</math> je nespočetná. */ doplnen detail ze to n v B je z N |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
15 |
2009-01-28 17:42:42z |
11851 |
|
admin
|
MediaWiki |
/* <math>\mathcal{P}(\mathbb{N})</math> je nespočetná. */ Dukaz je dobre a pomerne dost presny, pro detail se podivej na Cantorovu metodu na anglicke wiki. http://en.wikipedia.org/wiki/Cantors_Diagon |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
14 |
2009-01-25 21:02:45z |
12017 |
|
admin
|
MediaWiki |
/* Páska univerzálního stroje */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
13 |
2009-01-25 20:37:53z |
11955 |
|
admin
|
MediaWiki |
/* <math>\mathcal{P}(\mathbb{N})</math> je nespočetná. */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
12 |
2009-01-25 20:33:55z |
11922 |
|
admin
|
MediaWiki |
/* <math>\mathcal{P}(\mathbb{N})</math> je nespočetná. */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
11 |
2009-01-25 20:32:18z |
11889 |
|
admin
|
MediaWiki |
/* Cantorova diagonální metoda */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
10 |
2009-01-25 20:30:22z |
11867 |
|
admin
|
MediaWiki |
/* <math>\mathcal{P}(\mathbb{N})</math> je nespočetná. */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
9 |
2009-01-25 19:57:56z |
11789 |
|
admin
|
MediaWiki |
/* Pro připomenutí */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
8 |
2009-01-15 18:58:37z |
11685 |
|
admin
|
MediaWiki |
[Tutchek] /* Páska univerzálního stroje */ Chybici backslash ve vzorci |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
7 |
2008-02-16 22:35:20z |
11683 |
|
admin
|
MediaWiki |
/* = Páska univerzálního stroje */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
6 |
2008-02-16 22:33:21z |
11680 |
|
admin
|
MediaWiki |
/* Univerzální TS */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
5 |
2008-02-11 16:45:54z |
9810 |
|
admin
|
MediaWiki |
[Milvus] /* Halting problem */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
4 |
2008-02-11 14:56:15z |
6861 |
|
admin
|
MediaWiki |
[Milvus] /* Univerzální TS */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
3 |
2008-02-10 19:28:50z |
4895 |
|
admin
|
MediaWiki |
/* Pro připomenutí */ pokud nimi -> pokud mezi nimi |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
2 |
2008-02-10 09:56:19z |
4890 |
|
admin
|
MediaWiki |
/* Cantorovo diagonální uspořádání */ |
|
|
|
|
|
|
Archiv/TIN064 Prerekvizity
|
1 |
2008-02-08 17:13:14z |
4890 |
|
admin
|
MediaWiki |
[Milvus] |
|
|
|
|
|
|