ISBN: 9783848408795 - recursion theory revisited: playing with strings and trees instead of numbers (5 risultati)

Taschenbuch. Condizione: Neu. Recursion Theory Revisited | Playing with Strings and Trees Instead of Numbers | Eustrat Zhupa | Taschenbuch | 204 S. | Englisch | 2012 | LAP LAMBERT Academic Publishing | EAN 9783848408795 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 204 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Zhupa EustratEustrat Zhupa obtained his PhD in Computer Science from University of Bari, Italy. He has several years of experience in teaching Theory of Computation, Algorithms, Programming Languages, System Programming. Currently, h. …

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 204 pp. Englisch.…