|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
21 |
2010-09-07 18:59:10z |
7597 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
20 |
2010-09-07 18:57:13z |
7599 |
|
admin
|
MediaWiki |
[Tuetschek] /* Poznámka (Kombinování TS) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
19 |
2010-09-07 18:56:31z |
7599 |
|
admin
|
MediaWiki |
[Tuetschek] /* Poznámka (Modifikace a omezení (stručně)) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
18 |
2010-09-07 18:56:13z |
7590 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (Konfigurace TS/Postovo slovo) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
17 |
2010-09-07 18:55:54z |
7564 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (Konfigurace TS/Postovo slovo) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
16 |
2010-08-30 22:03:43z |
7564 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
15 |
2010-08-30 21:55:45z |
7556 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (Univ. Turingův stroj) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
14 |
2010-08-30 09:26:04z |
7538 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (Podmíněná rovnost, konvergence, divergence) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
13 |
2010-08-30 09:25:48z |
8032 |
|
admin
|
MediaWiki |
[Tuetschek] /* Poznámka (Silně a slabě omezené mazání) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
12 |
2010-08-30 09:24:37z |
8028 |
|
admin
|
MediaWiki |
[Tuetschek] /* Poznámka (Kombinování TS) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
11 |
2010-08-30 09:22:18z |
8027 |
|
admin
|
MediaWiki |
[Tuetschek] /* Definice (Konfigurace TS) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
10 |
2010-08-30 08:10:09z |
7986 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
9 |
2010-08-29 22:38:26z |
7988 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
8 |
2010-08-29 22:17:01z |
7975 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
7 |
2010-08-29 21:53:42z |
7957 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
6 |
2010-08-17 13:54:46z |
7952 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
5 |
2010-08-17 13:33:32z |
7937 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
4 |
2010-08-17 12:46:22z |
7307 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
3 |
2010-08-17 12:45:47z |
7309 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
2 |
2010-08-17 12:44:47z |
7308 |
|
admin
|
MediaWiki |
[Tuetschek] /* Poznámka (Silně a slabě omezené mazání) */ |
|
|
|
|
|
|
|
Archiv/Státnice - Algoritmicky nerozhodnutelné problémy
|
1 |
2010-08-17 12:42:24z |
7335 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
