Recursion Theory Revisited Playing with Strings and Trees Instead of Numbers

Auteur: Eustrat Zhupa
Taal: Engels
Recursion Theory Revisited
  • Engels
  • Paperback
  • 9783848408795
  • februari 2012
  • 204 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
Engels
Bindwijze
Paperback
Verschijningsdatum
2012-01-01
Aantal pagina's
204 pagina's
Illustraties
Nee

Betrokkenen

Auteur
Eustrat Zhupa
Uitgever
Lap Lambert Academic Publishing

EAN

EAN
9783848408795

Overige kenmerken

Extra groot lettertype
Nee
Oorspronkelijke releasedatum
2012-02-28
Subtitel
Playing with Strings and Trees Instead of Numbers
Thema Subject Code
UB

Je vindt dit artikel in

Categorieën
Taal
Engels
Boek, ebook of luisterboek?
Boek
Studieboek of algemeen
Algemene boeken
Nog geen reviews
Bindwijze: Paperback
88 50
2 - 3 weken Tooltip
Verkoop door bol.com
  • Gratis verzending
  • 30 dagen bedenktijd en gratis retourneren
  • Ophalen bij een bol.com afhaalpunt mogelijk
  • Dag en nacht klantenservice