Terug Terug

Programming with Higher-Order Logic Ebook Tooltip Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.

Name: Programming with Higher-Order Logic
Author: Dale Miller

Auteur: Dale Miller

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: Dale Miller Gopalan Nadathur

Engels
E-book
9781139506298
11 juni 2012
Adobe ePub

Alle productspecificaties

Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.

Samenvatting

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

Productspecificaties

Inhoud

Taal: en
Bindwijze: E-book
Oorspronkelijke releasedatum: 11 juni 2012
Ebook Formaat: Adobe ePub
Illustraties: Nee

Betrokkenen

Hoofdauteur: Dale Miller
Tweede Auteur: Gopalan Nadathur
Hoofduitgeverij: Cambridge University Press

Lees mogelijkheden

Lees dit ebook op: Android (smartphone en tablet) | Kobo e-reader | Desktop (Mac en Windows) | iOS (smartphone en tablet) | Windows (smartphone en tablet)

Overige kenmerken

Product breedte: 152 mm
Product hoogte: 19 mm
Product lengte: 229 mm
Studieboek: Ja

EAN

EAN: 9781139506298

Je vindt dit artikel in

Categorieën: Computers & Informatica

Programmeren

Programmeertalen

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Ebook
Studieboek of algemeen: Algemene boeken
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Kies je bindwijze (2)

E-book €43,99 Hardcover €52,99

Prijsinformatie en bestellen

De prijs van dit product is 43 euro en 99 cent.

Direct beschikbaar

Verkoop door bol

Programming with Higher-Order Logic

43,99 verkoop door: bol.com

Ebook

E-book is direct beschikbaar na aankoop
E-books lezen is voordelig
Dag en nacht klantenservice
Veilig betalen

Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.

Zie ook de retourvoorwaarden