Items related to Recursion Theory Revisited: Playing with Strings and...
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Eustrat 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, he is a member of the Research Institute of Science and Technology and a professor at the University of Ohrid in Macedonia.
"About this title" may belong to another edition of this title.
Search results for Recursion Theory Revisited: Playing with Strings and...
Seller Image
Recursion Theory Revisited
Published by
LAP LAMBERT Academic Publishing Feb 2012, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783848408795
Buy New
US$ 90.80
US$ 25.66 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Recursion Theory Revisited
Published by
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 5520098
Buy New
US$ 72.89
US$ 54.67 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Recursion Theory Revisited : Playing with Strings and Trees Instead of Numbers
Published by
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783848408795
Buy New
US$ 90.80
US$ 39.05 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Recursion Theory Revisited | Playing with Strings and Trees Instead of Numbers
Published by
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 106602313
Buy New
US$ 76.44
US$ 78.11 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Recursion Theory Revisited
Published by
LAP LAMBERT Academic Publishing Feb 2012, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783848408795
Buy New
US$ 90.80
US$ 66.95 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available