Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Automatic Reasoning Christoph Kreitz

Automatic Reasoning

A Thoroughly Motivated Introduction from Propositional Logic to Constructive Type Theory.DE

Szerző: Christoph Kreitz
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Könyvújdonság
Küldés 13. 05. 2027
18 202 Ft
Formal logical proof systems aim at providing support for solving complex reasoning tasks such as ma...

Információk a könyvről

Szerző
Christoph Kreitz
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2027
EAN
9783662749210
Enbook ID
54406334
Kiadó
Springer, Berlin
Méretek
155 x 235

Teljes leírás

Formal logical proof systems aim at providing support for solving complex reasoning tasks such as mathematical proofs or the verification of software system, an area where humans tend to make mistakes and get easily overwhelmed by details.

This book gives a comprehensive and extensively motivated presentation of the theoretical foundations of automatic reasoning systems, enabling beginners to gain an overview of this complex field. It is suitable as a basis for a corresponding course but also useful for specialists who wish to familiarize themselves with this subject.

It is suitable as a basis for a corresponding course but also useful for specialists who wish to familiarize themselves with this subject.

Contents

  • Syntax, semantics, and inference systems for logical reasoning.
  • Fundamental forms of reasoning: propositional and predicate logic.
  • Reasoning about computation: the -calculus.
  • Reasoning about program properties: simple type theory.
  • A uniform calculus: constructive type theory.
  • Automating formal reasoning: interactive proof assistants.

This book is a translation of the original German edition. The translation was done with the help of an artificial intelligence machine translation tool. A subsequent human revision was done primarily in terms of content, so that the book may read stylistically differently from a conventional translation.