Artículos relacionados a Recursion Theory Revisited: Playing with Strings and...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
Biografía del autor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Recursion Theory Revisited: Playing with Strings and...
Imagen del vendedor
Recursion Theory Revisited
Publicado por
LAP LAMBERT Academic Publishing Feb 2012, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783848408795
Comprar nuevo
EUR 79,00
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Recursion Theory Revisited
Publicado por
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 5520098
Comprar nuevo
EUR 63,42
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Recursion Theory Revisited : Playing with Strings and Trees Instead of Numbers
Publicado por
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783848408795
Comprar nuevo
EUR 79,00
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Recursion Theory Revisited | Playing with Strings and Trees Instead of Numbers
Publicado por
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuevo
Taschenbuch
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 106602313
Comprar nuevo
EUR 66,50
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Recursion Theory Revisited
Publicado por
LAP LAMBERT Academic Publishing Feb 2012, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783848408795
Comprar nuevo
EUR 79,00
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles