|
Archiv/TIN064 Převeditelnost
|
32 |
2016-06-14 21:34:47z |
6419 |
|
admin
|
MediaWiki |
[Ivan Kuckir] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
31 |
2016-06-14 18:35:14z |
6218 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Vlastnosti množiny K */ |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
30 |
2016-06-14 11:02:37z |
5331 |
|
admin
|
MediaWiki |
[JirkaSetnicka] Bugfix matematiky |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
29 |
2016-06-14 11:00:56z |
5331 |
|
admin
|
MediaWiki |
[JirkaSetnicka] Další vylepšení matematiky v alternativním důkazu |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
28 |
2016-06-14 10:52:36z |
5782 |
|
admin
|
MediaWiki |
[JirkaSetnicka] Pokus o pěknější sazbu matematiky v alternativním důkazu |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
27 |
2016-05-13 13:14:27z |
5909 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Vlastnosti množiny K */ |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
26 |
2012-05-10 22:13:20z |
5822 |
|
admin
|
MediaWiki |
[Andysh] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
25 |
2012-01-24 20:57:53z |
5821 |
|
admin
|
MediaWiki |
|
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
24 |
2012-01-24 19:52:32z |
3348 |
|
admin
|
MediaWiki |
alfa nepopisuje jen "ji", ale každou RSM. Myslim ze pro dukaz by se dala dokonce pouzit i funkce alfa(y, w), která popisuje konkrétně zvolenou Wx. |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
23 |
2012-01-22 00:15:33z |
3343 |
|
admin
|
MediaWiki |
typo - oprava |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
22 |
2012-01-22 00:14:04z |
3357 |
|
admin
|
MediaWiki |
typo |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
21 |
2011-02-13 15:47:18z |
3357 |
|
admin
|
MediaWiki |
|
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
20 |
2011-02-12 14:32:18z |
3389 |
|
admin
|
MediaWiki |
|
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
19 |
2011-01-05 21:12:14z |
3355 |
|
admin
|
MediaWiki |
/* Vlastnosti množiny K */ |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
18 |
2011-01-05 21:11:58z |
3357 |
|
admin
|
MediaWiki |
/* Vlastnosti množiny K */ |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
17 |
2010-08-30 15:48:00z |
3223 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
16 |
2010-01-29 16:03:36z |
3219 |
|
admin
|
MediaWiki |
[Pasky] /* Vlastnosti množiny K */ |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
15 |
2010-01-29 10:06:21z |
3234 |
|
admin
|
MediaWiki |
[Pasky] presun definice K a vet ze stranky Vlastnosti RSM - ted uz se nejdriv definuje uplnost a pak teprve se dokazuje, ze K je uplna; mozna by jen ta stranka chtela prejmenovat? |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
14 |
2010-01-16 19:58:58z |
1842 |
|
admin
|
MediaWiki |
převOditelná -> převEditelná |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
13 |
2010-01-16 19:55:01z |
1842 |
|
admin
|
MediaWiki |
převedielna -> převoditelná |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
12 |
2010-01-16 11:47:14z |
1838 |
|
admin
|
MediaWiki |
[Kaktus] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
11 |
2010-01-09 14:34:03z |
1818 |
|
admin
|
MediaWiki |
[Kaktus] /* K je 1-úplná */ |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
10 |
2010-01-09 13:45:06z |
1796 |
|
admin
|
MediaWiki |
[Kaktus] /* K je 1-úplná */ |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
9 |
2008-12-17 15:01:27z |
1795 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
8 |
2008-12-17 10:23:58z |
1769 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
7 |
2008-12-17 10:14:35z |
744 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
6 |
2008-12-17 10:14:18z |
732 |
|
admin
|
MediaWiki |
[Gezero] vraceno do spravneho clanku |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
5 |
2008-12-17 08:07:21z |
459 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
4 |
2008-12-17 08:04:20z |
1250 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
3 |
2008-12-16 17:02:02z |
753 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
2 |
2008-12-16 17:01:30z |
764 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
|
Archiv/TIN064 Převeditelnost
|
1 |
2008-12-16 17:00:00z |
736 |
|
admin
|
MediaWiki |
[Gezero] |
|
|
|
|
|
|
