Archiv/Státnice - Věty o rekurzi
|
33 |
2010-09-07 19:35:12z |
8213 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důsledky */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
32 |
2010-09-07 19:34:54z |
8199 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
31 |
2010-09-07 19:34:36z |
8198 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
30 |
2010-09-07 19:25:32z |
8058 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
29 |
2010-09-07 19:24:41z |
8058 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O rekurzi v závislosti na parametrech) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
28 |
2010-09-07 19:22:52z |
8058 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věty o rekurzi */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
27 |
2010-09-07 19:07:28z |
8058 |
|
admin
|
MediaWiki |
[Tuetschek] /* Vlastnosti programů <math>a</math> a <math>f(a)</math> */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
26 |
2010-09-07 19:05:14z |
8057 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
25 |
2010-09-05 19:57:11z |
8033 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O generování pevných bodů) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
24 |
2010-09-05 19:56:49z |
8024 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důsledky */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
23 |
2010-09-05 19:55:23z |
7879 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O rekurzi, o pevném bodě, self-reference) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
22 |
2010-09-01 16:33:10z |
7870 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O generování pevných bodů) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
21 |
2010-09-01 16:26:34z |
7887 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O rekurzi v závislosti ma parametrech) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
20 |
2010-09-01 09:01:40z |
7887 |
|
admin
|
MediaWiki |
/* Věta (O rekurzi, o pevném bodě, self-reference) */ opraven bug ze Strojila |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
19 |
2010-08-31 21:53:22z |
7888 |
|
admin
|
MediaWiki |
[Tuetschek] revert (to NEBYL preklep) |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
18 |
2010-08-31 19:41:56z |
7887 |
|
admin
|
MediaWiki |
/* Věta (O rekurzi, o pevném bodě, self-reference) */ oprava preklepu |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
17 |
2010-08-30 22:32:35z |
7888 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důsledky */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
16 |
2010-08-30 22:30:50z |
7891 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
15 |
2010-08-30 22:30:15z |
7888 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (Rice) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
14 |
2010-08-30 22:28:18z |
7814 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (O rekurzi pro více proměnných) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
13 |
2010-08-30 22:24:56z |
7814 |
|
admin
|
MediaWiki |
[Tuetschek] /* Věta (Jiná forma věty o rekurzi) */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
12 |
2010-08-30 22:07:50z |
7809 |
|
admin
|
MediaWiki |
[Tuetschek] /* Vlastnosti programů <math>a</math> a <math>f(a)</math> */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
11 |
2010-08-30 22:06:13z |
7810 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
10 |
2010-08-30 09:29:41z |
7807 |
|
admin
|
MediaWiki |
[Tuetschek] /* Riceova věta */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
9 |
2010-08-30 09:28:27z |
7817 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
8 |
2010-08-30 08:11:09z |
7754 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
7 |
2010-08-30 08:10:26z |
7716 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
6 |
2010-08-30 01:05:47z |
7718 |
|
admin
|
MediaWiki |
[Stevko] /* Důkaz */ Poznámka z oblasti lambda kalkulu |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
5 |
2010-08-29 22:48:13z |
6717 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důsledek */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
4 |
2010-08-17 13:55:35z |
6699 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
3 |
2010-08-17 13:35:21z |
6684 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
2 |
2010-08-17 13:27:24z |
6054 |
|
admin
|
MediaWiki |
[Tuetschek] /* Důkaz */ |
|
|
|
|
|
|
Archiv/Státnice - Věty o rekurzi
|
1 |
2010-08-17 13:26:46z |
6065 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|