Programming with Higher-Order Logic

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

Autor: Dale Miller

Język:

Oprawa: Twarda

Wydawca: Cambridge University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

240.66 zł

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

Informacje o książce

Autor

Dale Miller

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2012

strony

320

EAN

9780521879408

ISBN

052187940X

Enbook ID

01234526

Wydawca

Cambridge University Press

Waga

616

Wymiary

160 x 237 x 23

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Programming with Higher-Order Logic

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również