|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
142 |
2009-05-02 00:28:07z |
52810 |
|
admin
|
MediaWiki |
|
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
141 |
2009-04-22 17:38:50z |
51896 |
|
admin
|
MediaWiki |
[MrCooper] Oprava terminologie u ekvivalence TS a ČRF |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
140 |
2009-04-22 09:45:40z |
51877 |
|
admin
|
MediaWiki |
[MrCooper] /* Věty o rekurzi a jejich aplikace */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
139 |
2009-04-22 09:44:48z |
51793 |
|
admin
|
MediaWiki |
[MrCooper] /* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
138 |
2009-04-22 09:44:29z |
51793 |
|
admin
|
MediaWiki |
[MrCooper] /* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
137 |
2009-04-22 09:44:06z |
51791 |
|
admin
|
MediaWiki |
[MrCooper] /* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
136 |
2009-04-22 09:42:44z |
51785 |
|
admin
|
MediaWiki |
[MrCooper] Oprava důkazu věty o rekurzi v závislosti na parametrech |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
135 |
2009-04-22 09:32:33z |
51744 |
|
admin
|
MediaWiki |
[MrCooper] Oprava znění věty o rekurzi v zavislosti na parametrech |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
134 |
2009-04-22 09:29:08z |
51702 |
|
admin
|
MediaWiki |
[Ivokabel] /* Poznámky k rozsahu látky */ Oficialne otazky |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
133 |
2009-04-22 08:50:36z |
50105 |
|
admin
|
MediaWiki |
Příklady aplikací vět o rekurzi |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
132 |
2009-04-21 16:23:24z |
50024 |
|
admin
|
MediaWiki |
Zmena v dukazu o rostouci usekove funkci - definice _CRF |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
131 |
2009-04-21 16:20:52z |
50024 |
|
admin
|
MediaWiki |
Změna písmen mu na matematicke mi |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
130 |
2009-04-21 13:29:58z |
50022 |
|
admin
|
MediaWiki |
Oprava - sjednocení X průnik. Důkaz je pro průnik, sjednocení je obdobně. |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
129 |
2009-04-21 13:21:55z |
49951 |
|
admin
|
MediaWiki |
Přidány indexy k pro predikát T |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
128 |
2009-04-21 11:27:21z |
49933 |
|
admin
|
MediaWiki |
opraven dukaz K s pruhem neni RS |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
127 |
2009-04-21 11:11:36z |
49949 |
|
admin
|
MediaWiki |
Oprava psi dva na psi jedna |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
126 |
2009-04-21 07:29:11z |
49941 |
|
admin
|
MediaWiki |
/* Predikát o konvergenci univerzální funkce */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
125 |
2009-04-21 07:23:40z |
49885 |
|
admin
|
MediaWiki |
Uprava vzorcu - pridani vypustek oznacujicich vice promennych |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
124 |
2009-04-21 07:19:35z |
49858 |
|
admin
|
MediaWiki |
Oprava e. na e, |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
123 |
2009-04-21 07:18:39z |
49858 |
|
admin
|
MediaWiki |
Oprava překlepu v běžném textu |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
122 |
2009-04-20 17:52:20z |
49855 |
|
admin
|
MediaWiki |
/* Univerzální funkce */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
121 |
2009-04-20 17:49:54z |
49820 |
|
admin
|
MediaWiki |
/* Univerzální funkce */ - přidáno TODO ohledně operátoru v důkazu |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
120 |
2009-04-20 17:37:46z |
49645 |
|
admin
|
MediaWiki |
/* Vlastnosti univerzální funkce (pro ČRF) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
119 |
2009-04-20 17:36:26z |
49641 |
|
admin
|
MediaWiki |
/* Vlastnosti univerzální funkce (pro ČRF) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
118 |
2009-04-20 15:55:23z |
49641 |
|
admin
|
MediaWiki |
/* Kleenova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
117 |
2009-04-20 15:52:59z |
49641 |
|
admin
|
MediaWiki |
/* Kleenova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
116 |
2009-04-20 15:45:56z |
49641 |
|
admin
|
MediaWiki |
/* Kleenova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
115 |
2009-04-19 17:36:35z |
49641 |
|
admin
|
MediaWiki |
/* Postovy systémy, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
114 |
2009-04-02 14:29:31z |
49588 |
|
admin
|
MediaWiki |
/* Lambda kalkulu, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
113 |
2009-04-02 14:20:09z |
48957 |
|
admin
|
MediaWiki |
/* Postovy systémy, definice, odstraněna duplicita */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
112 |
2009-04-02 14:19:35z |
49035 |
|
admin
|
MediaWiki |
/* Postovy systémy, definice */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
111 |
2009-04-01 16:23:15z |
48020 |
|
admin
|
MediaWiki |
/* Algoritmicky nerozhodnutelné problémy */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
110 |
2009-04-01 16:13:02z |
47001 |
|
admin
|
MediaWiki |
/* Algoritmicky nerozhodnutelné problémy */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
109 |
2009-04-01 14:29:12z |
45480 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Riceova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
108 |
2009-04-01 14:28:26z |
45458 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Riceova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
107 |
2009-04-01 14:09:29z |
45199 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
106 |
2009-04-01 13:52:42z |
43480 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Věta o generování pevných bodů */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
105 |
2009-04-01 13:51:29z |
44075 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Věty o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
104 |
2009-04-01 13:49:41z |
44027 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Věta o rekurzi */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
103 |
2009-04-01 07:13:41z |
42721 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Ekvivalence různých matematických definic */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
102 |
2009-04-01 07:08:10z |
42549 |
|
admin
|
MediaWiki |
[Ty-Dyt] /* Postova věta a ostatní věty o RSM */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
101 |
2009-03-31 18:38:02z |
40682 |
|
admin
|
MediaWiki |
/* <math>W_x \mbox{ (x-tá rekurzivně spočetná množina) }</math> */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
100 |
2009-03-31 18:36:49z |
40683 |
|
admin
|
MediaWiki |
/* Postova věta a spol */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
99 |
2009-03-31 18:29:13z |
40358 |
|
admin
|
MediaWiki |
/* Produktivní a kreativní množiny */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
98 |
2009-03-31 18:23:30z |
40079 |
|
admin
|
MediaWiki |
/* Postova věta a spol */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
97 |
2009-03-31 18:22:38z |
40073 |
|
admin
|
MediaWiki |
/* Postova věta */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
96 |
2009-03-31 17:55:56z |
39572 |
|
admin
|
MediaWiki |
/* Rekurzivně spočetné predikáty */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
95 |
2009-03-31 17:28:16z |
38837 |
|
admin
|
MediaWiki |
/* 1-úplnost K */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
94 |
2009-03-31 17:26:53z |
38822 |
|
admin
|
MediaWiki |
/* 1-úplnost K */ |
|
|
|
|
|
|
|
Archiv/Státnice - Informatika - Vyčíslitelnost
|
93 |
2009-03-31 17:22:36z |
38577 |
|
admin
|
MediaWiki |
/* 1-úplnost K */ |
|
|
|
|
|
|
