für 71.10€ kaufen ··· 9783848408795 ··· 1036118627 ··· 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. Hersteller: LAP Lambert Academic Publishing Marke: LAP Lambert Academic Publishing EAN: 9783848408795 Kat: Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/Informatik, EDV/Informatik Lieferzeit: Sofort lieferbar Versandkosten: Ab 20¤ Versandkostenfrei in Deutschland Icon: https://www.inforius-bilder.de/bild/?I=gUOX9MnfbBuOPlDLIgwefGvB6nzc4z9Uk5FMGdh7VoA%3D Bild:
Affiliate Marketing
AdHoc MeldungenAffiliate & PublisherAdvertiser & MerchantAcademyAntwortenArtikelsucheAdventskalender
AffilitivProduktdatenPreisvergleich
