Name: Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (en Alemán)
SKU: 57934747
Price: 874.68 MXN
Availability: InStock
Author: Ralf-Detlef Kutsche
ISBN: 9783528147181

portada Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (en Alemán)

Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (en Alemán)

Formato

Libro Físico

Editorial

Braunschweig: Friedr. Vieweg & Sohn Verlagsgesellschaft,

Autor

Ralf-Detlef Kutsche

Idioma

Alemán

N° páginas

183

Encuadernación

Tapa Blanda

ISBN13

9783528147181

N° edición

Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (en Alemán)

Ralf-Detlef Kutsche (Autor) · Braunschweig: Friedr. Vieweg & Sohn Verlagsgesellschaft, · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 1,590.32$ 874.68

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 874.68

¡Envío Gratis! Llega entre el 25 Sep y el 05 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Grundlagen des Maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (en Alemán)"

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.