Mohlo by sa vám tiež páčiť

Viac informácií o knihe Programming with Higher-Order Logic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 149 bodov

Anotácia knihy

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

Parametre knihy

Zaradenie knihy Books in English Computing & information technology Computer programming / software development

• Celý názov: Programming with Higher-Order Logic
• Autor: Dale Miller
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 320
• EAN: 9780521879408
• ISBN: 052187940X
• ID: 01234526
• Nakladateľ: Cambridge University Press
• Hmotnosť: 616 g
• Rozmery: 237 × 160 × 23 mm
• Dátum vydania: 11. June 2012

Obľúbené z iného súdka

---

---

---