Millions of books in English, Spanish and other languages. Free UK delivery 

menu

0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (in German)
Type
Physical Book
Publisher
Author
Language
German
Pages
183
Format
Paperback
ISBN13
9783528147181
Edition No.
2

Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (in German)

Ralf-Detlef Kutsche (Author) · Braunschweig: Friedr. Vieweg & Sohn Verlagsgesellschaft, · Paperback

Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (in German) - Ralf-Detlef Kutsche

New Book

£ 48.84

£ 54.27

You save: £ 5.43

10% discount
Free UK Delivery
  • Condition: New

Choose the list to add your product or create one New List

Go to My Wishlists
It will be shipped from our warehouse between Tuesday, July 30 and Wednesday, July 31.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.

Synopsis "Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (in German)"

Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt. Es richtet sich an Studenten und Wissenschaftler der Informatik, die damit auch Grundlagen von Symbolmanipulation, formalen Spezifikationsmethoden sowie funktionaler und logischer Programmierung erwerben können.Ausgehend von der Prädikatenlogik werden theoretische Konzepte und Strategien für automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution über die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkül stellt ein handwerkliches Regelsystem für die allgemeine Prädikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermöglicht, die Gleichheitsrelation adäquat behandeln zu können. (, Ersetzen von Gleichem durch Gleiches"); schlie lich wird mit der ausführlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews