|
Archiv/TIN064 Úvod
|
30 |
2014-02-01 11:32:22z |
14492 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
29 |
2013-07-10 11:16:16z |
14450 |
|
admin
|
MediaWiki |
Ta poznámka je v tabulce níže |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
28 |
2012-11-19 19:41:16z |
14663 |
|
admin
|
MediaWiki |
/* Relace jako predikát */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
27 |
2012-08-26 13:22:03z |
14665 |
|
admin
|
MediaWiki |
/* Relace jako predikát */ pridané slovo "podmnožiny", pretože relácie nemusia byť technicky iba podmnožiny NxNxNx...xN |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
26 |
2012-04-15 10:17:36z |
14653 |
|
admin
|
MediaWiki |
/* Problém jako množina */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
25 |
2012-04-14 20:52:47z |
14706 |
|
admin
|
MediaWiki |
/* Přehled zkratek a terminologie */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
24 |
2012-04-14 20:07:21z |
14706 |
|
admin
|
MediaWiki |
/* Problém jako množina */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
23 |
2012-04-14 20:06:43z |
14704 |
|
admin
|
MediaWiki |
/* Problém jako množina */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
22 |
2012-04-14 19:58:20z |
14441 |
|
admin
|
MediaWiki |
Oprava terminológie (rozhodnuteľný/nerozhodnuteľný problém) |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
21 |
2011-01-10 09:19:28z |
14441 |
|
admin
|
MediaWiki |
/* ORF = obecně rekurzivní funkce */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
20 |
2011-01-10 08:59:21z |
14448 |
|
admin
|
MediaWiki |
/* Co znamená <math>\downarrow=</math>? */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
19 |
2010-08-30 16:00:46z |
14450 |
|
admin
|
MediaWiki |
[Tuetschek] /* Predikát jako funkce */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
18 |
2010-08-30 15:52:51z |
14449 |
|
admin
|
MediaWiki |
[Tuetschek] |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
17 |
2009-09-15 11:55:37z |
14449 |
|
admin
|
MediaWiki |
[Milvus] /* Efektivní vyčíslitelnost */ efficient vs. effective |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
16 |
2009-09-15 10:11:01z |
14286 |
|
admin
|
MediaWiki |
[Milvus] /* Co znamená, že program či funkce konverguje či diverguje? */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
15 |
2009-09-13 12:02:48z |
13675 |
|
admin
|
MediaWiki |
[Milvus] Vsuvka o problémech lépe zakomponována do textu |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
14 |
2009-06-13 19:58:36z |
13122 |
|
admin
|
MediaWiki |
/* Co znamená, že program či funkce konverguje či diverguje? */ dva krat z "f(x_1,...,n_n)" na "f(x_1,...,x_n)" |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
13 |
2009-05-03 15:08:19z |
13122 |
|
admin
|
MediaWiki |
[Ivokabel] /* ČRF a další trojpísmenné zkratky */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
12 |
2009-05-03 15:00:30z |
13129 |
|
admin
|
MediaWiki |
[Ivokabel] /* ČRF = částečně rekurzivní funkce */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
11 |
2009-05-03 14:38:32z |
13102 |
|
admin
|
MediaWiki |
[Ivokabel] /* Co znamená, že program či funkce konverguje či diverguje? */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
10 |
2009-05-03 14:34:01z |
13092 |
|
admin
|
MediaWiki |
[Ivokabel] /* Funkce lze chápat jako programy a naopak */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
9 |
2009-01-31 21:25:11z |
13061 |
|
admin
|
MediaWiki |
[Martin Majlis] /* Efektivní vyčíslitelnost */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
8 |
2009-01-31 20:58:51z |
13008 |
|
admin
|
MediaWiki |
[Martin Majlis] /* další definice, extrahované z jiného zdroje */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
7 |
2009-01-25 16:23:54z |
12938 |
|
admin
|
MediaWiki |
[Malvoj] /* další definice, extrahované z jiného zdroje */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
6 |
2009-01-24 23:36:27z |
12906 |
|
admin
|
MediaWiki |
/* další definice, extrahované z jiného zdroje */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
5 |
2009-01-24 23:34:22z |
12904 |
|
admin
|
MediaWiki |
/* další definice, extrahované z jiného zdroje */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
4 |
2008-12-16 16:46:59z |
12340 |
|
admin
|
MediaWiki |
[Gezero] /* Co znamená, že program či funkce konverguje či diverguje? */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
3 |
2008-05-05 22:39:14z |
11299 |
|
admin
|
MediaWiki |
/* Predikát jako funkce */ k proměnných |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
2 |
2008-02-13 22:34:04z |
11299 |
|
admin
|
MediaWiki |
/* Efektivní vyčíslitelnost */ |
|
|
|
|
|
|
|
Archiv/TIN064 Úvod
|
1 |
2008-02-08 16:16:23z |
11301 |
|
admin
|
MediaWiki |
[Milvus] |
|
|
|
|
|
|
