Programming with Higher-Order Logic

Name: Programming with Higher-Order Logic
Brand: Cambridge University Press
SKU: 9780521879408
Price: 1374 CZK
Availability: InStock

Autor: Dale Miller

Jazyk:

Vazba: Pevná

Vydavatel: Cambridge University Press

Dostupnost: Skladem u dodavatele

Odesíláme za 10-18 dnů

1 374 Kč

Formal systems that describe computations over syntactic structures occur frequently in computer sci...

Informace o knize

Autor

Dale Miller

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2012

Stránek

320

EAN

9780521879408

ISBN

052187940X

Enbook ID

01234526

Vydavatel

Cambridge University Press

Hmotnost

616

Rozměry

160 x 237 x 23

Kompletní popis

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

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Programming with Higher-Order Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také