Recursion Theory Revisited: Playing with Strings and Trees Instead of Numbers - Eustrat Zhupa - Knjige - LAP LAMBERT Academic Publishing - 9783848408795 - 28. februarja 2012
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Recursion Theory Revisited: Playing with Strings and Trees Instead of Numbers

Cena
€ 66,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 26. nov - 4. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Eustrat Zhupa
Dodaj na svoj seznam želja iMusic

Not rated yet

Most classic results in logic and recursivity use number theoretic algorithms. Coding non-trivial algorithm by means of additions and multiplications may become ridiculously cumbrous. Understanding logic and recursion may be significantly improved by rewriting the algorithms implied by their constructive proofs in languages "playing" with a data-type more sophisticated than mere "int" or "string". In the book readers will find definition and use for a new model of TM, called "list TM", which is based on the data-type their name suggests.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 28. februarja 2012
ISBN13 9783848408795
Založniki LAP LAMBERT Academic Publishing
Strani 204
Dimenzije 150 × 12 × 226 mm   ·   322 g
Jezik Nemščina