Hľadaj Zobraz: Univerzity Kategórie Rozšírené vyhľadávanie

45 032   projektov
0 nových

Vyčísliteľnosť - skriptá

«»
Prípona
.pdf
Typ
skriptá
Stiahnuté
0 x
Veľkosť
0,4 MB
Jazyk
český
ID projektu
19645
Posledná úprava
25.02.2009
Zobrazené
1 027 x
Autor:
snipergun
Facebook icon Zdieľaj na Facebooku
Detaily projektu
Popis:
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