Kaikki kirjat 25 % alennuksella koodilla: BOOKS

Olibro

Oma ostoskori

Latautuu...

Asiakastunnus

Uusi asiakas

Tilin luominen tuo monia etuja:

  • Katso tilauksen ja toimituksen tila
  • Seuraa tilaushistoriaa
  • Tarkista nopeammin
Luo tili
  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Programming with Higher-Order Logic - Gopalan Nadathur,Dale Miller

Gopalan Nadathur, Dale Miller

(0)
Kirjoita arvostelu
englanti
2012-09-06
94,49 € 125,99 €

-25% koodilla BOOKS

Pehmeäkantinen Kovakantinen 125,99 €
Toimittajalla varastossa

Toimitus 17-23 arkipäivässä

30 päivän palautusoikeus

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-ord ... Täydellinen kuvaus

Saatat myös pitää

-25%
TOP
Gödel, Escher, Bach: An Eternal Golden Braid

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas R. Hofstadter

24,06 € 32,08 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

Eliezer Yudkowsky, Nate Soares

16,85 € 22,46 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
AI Engineering: Building Applications with Foundation Models

AI Engineering: Building Applications with Foundation Models

Chip Huyen

83,36 € 111,14 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Karen Hao

18,63 € 24,84 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

Andrew Hunt, David Thomas

50,72 € 67,63 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
How To Think About AI: A Guide For The Perplexed

How To Think About AI: A Guide For The Perplexed

Richard Susskind

14,02 € 18,70 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
NEW
Slanted 47 Digital Tools: Slanted Magazine

Slanted 47 Digital Tools: Slanted Magazine

25,91 € 34,54 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Web Application Hacker's Handbook: Discovering and Exploiting Security Flaws

The Web Application Hacker's Handbook: Discovering and Exploiting Security Flaws

Marcus Pinto, Dafydd Stuttard

63,84 € 85,12 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Art of Game Design: A Book of Lenses

The Art of Game Design: A Book of Lenses

Jesse Schell

89,61 € 119,48 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
How Linux Works: What Every Superuser Should Know

How Linux Works: What Every Superuser Should Know

Brian Ward

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Artificial Intelligence: A Modern Approach, Global Edition

Artificial Intelligence: A Modern Approach, Global Edition

Peter Norvig, Stuart Russell

104,66 € 139,55 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Eric Matthes

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
CompTIA Security+ Certification Kit: Exam SY0-701

CompTIA Security+ Certification Kit: Exam SY0-701

David Seidl, Mike Chapple

79,38 € 105,84 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Automate the Boring Stuff with Python

Automate the Boring Stuff with Python

Al Sweigart

49,65 € 66,20 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach

Fundamentals of Software Architecture: A Modern Engineering Approach

Mark Richards, Neal Ford

83,36 € 111,14 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Giorgia Lupi, Phillip Cox

32,57 € 43,43 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Hacking: The Art of Exploitation

Hacking: The Art of Exploitation

Jon Erickson

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Occupytheweb

33,25 € 44,33 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
HBR Guide to Generative AI for Managers

HBR Guide to Generative AI for Managers

Elisa Farri, Gabriele Rosani

35,57 € 47,43 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Steven Levy

31,46 € 41,95 €

-25% koodilla BOOKS

Toimittajalla varastossa

Kuvaus

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.

Lisätietoja

Kirjoittaja Gopalan Nadathur, Dale Miller
Julkaisija Cambridge University Press
Julkaisuvuosi 2012
Kannen tyyppi Kovakantinen
EAN 9780521879408
Kirjoita oma arvostelusi
Arvostelet: Programming with Higher-Order Logic
Arvostelusi:

Goodreads-arvostelut

94,49 € 125,99 €