Articoli correlati a Recursion Theory Revisited: Playing with Strings and...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
L'autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Recursion Theory Revisited: Playing with Strings and...
Immagini fornite dal venditore
Recursion Theory Revisited
Editore:
LAP LAMBERT Academic Publishing Feb 2012, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 9783848408795
Compra nuovo
EUR 79,00
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Recursion Theory Revisited
Editore:
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 5520098
Compra nuovo
EUR 63,42
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Recursion Theory Revisited : Playing with Strings and Trees Instead of Numbers
Editore:
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 9783848408795
Compra nuovo
EUR 79,00
Spedizione EUR 35,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Recursion Theory Revisited | Playing with Strings and Trees Instead of Numbers
Editore:
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuovo
Taschenbuch
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 106602313
Compra nuovo
EUR 66,50
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Recursion Theory Revisited
Editore:
LAP LAMBERT Academic Publishing Feb 2012, 2012
ISBN 10: 3848408791
ISBN 13: 9783848408795
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 9783848408795
Compra nuovo
EUR 79,00
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili