Verwandte Artikel zu Recursion Theory Revisited: Playing with Strings and...

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

Zhupa, Eustrat

 
9783848408795: Recursion Theory Revisited: Playing with Strings and Trees Instead of Numbers
Softcover
ISBN 10: 3848408791 ISBN 13: 9783848408795
Verlag: LAP LAMBERT Academic Publishing, 2012

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
LAP LAMBERT Academic Publishing
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3848408791
ISBN 13 
9783848408795
Einband
Taschenbuch
Anzahl der Seiten
204
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
SIA OmniScriptum Publishing
customerservice@vdm-vsg.de

Brivibas gatve 197
Riga
1039
Lettland