Registrácia
|
Prihlásiť
Univerzity
Kategórie
Rozšírené vyhľadávanie
Skriptá: Vyčísliteľnosť - skriptá
Skryť detaily
|
Obľúbený
Kvalita:
51,3 %
Typ:
Skriptá
Kategória:
Prírodné vedy
Podkategória:
Matematika
Autor:
snipergun
Dokumentácia:
Stiahni
Rozsah A4:
21 strán
Zobrazené:
1 127 x
Stiahnuté:
0 x
Veľkosť:
0,4 MB
Formát a prípona:
PDF dokument (.pdf)
Jazyk:
český
ID projektu:
19645
Posledna úprava:
25.02.2009
Rozvíjanie teórie vyčísliteľnosti, definovanie "vlastného" programovacieho jazyka LANET, identifikátorov, operátory, relácie, priradenie.
Kľúčové slová:
vyčísliteľnosť
lanet
efektívna numerácia programov
nerozhodnuteľné problémy
vyčísliteľné vlastnosti
množiny
uzáverové vlastnosti
RE-množiny
Riceova veta
relativizovaná teória
Hodnotenie (0x):