Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

AvDieter Hofbauer,Ralf-Detlef Kutsche

Häftad, Tyska, 1989

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-01-01
Mått:170 x 244 x 11 mm
Vikt:329 g
Format:Häftad
Språk:Tyska
Antal sidor:172
Upplaga:1989
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528047184

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1 Grundbegriffe der Prädikatenlogik.- 1.1 Syntax der Prädikatenlogik.- 1.2 Semantik der Prädikatenlogik.- 1.3 Normierung der Syntax: Gentzenformeln und die Schnittregel.- 1.4 Normierung der Semantik: Herbrand-Strukturen.- 1.5 Korrektheit und Vollständigkeit.- 1.6 Theorembeweisen durch Widerlegungen.- 2 Resolution.- 2.1 Unifikation.- 2.2 Resolution und Faktorisierung.- 3 Einschränkung des Suchraums.- 3.1 Der Suchraum.- 3.2 Allgemeine Konzepte.- 3.3 Strukturelle Konzepte.- 3.4 Ordnungskonzepte.- 3.5 Semantische Konzepte.- 3.6 Kombination von Konzepten.- 4 Repräsentation des Suchraums.- 4.1 Connection-Graph-Resolution.- 4.2 Matrix-Verfahren.- 4.3 Tableau-Verfahren.- 5 Paramodulation.- 5.1 Gleichheit.- 5.2 Paramodulation.- 6 Termersetzung: Grundlagen.- 6.1 Termersetzungssysteme.- 6.2 Ersetzungssysteme: Termination und Konfluenz.- 6.3 Lokale Konfluenz und kritische Paare.- 7 Termersetzung: Spezielle Techniken.- 7.1 Terminationskriterien.- 7.2 Knuth-Bendix-Vervollständigung.- 7.3 Induktive Beweise.- 7.4 Lösen von Gleichungen: Narrowing.- 7.5 Beweisen in speziellen Gleichheitstheorien.- Schlußbemerkungen.- Literatur.- Symbolverzeichnis.- Sachwortverzeichnis.

Mer från samma författare

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche, Dieter Hofbauer

E-bok

2013

590 kr

Du kanske också är intresserad av

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche, Dieter Hofbauer

E-bok

2013

590 kr

Del 390

Big Data Management and Analytics

Ralf-Detlef Kutsche, Esteban Zimányi

Häftad, 2020

572 kr

Big Data Management and Analytics

Esteban Zimanyi, Ralf-Detlef Kutsche

E-bok

2020

739 kr

Fundamental Approaches to Software Engineering

Herbert Weber, Ralf-Detlef Kutsche

E-bok

2003

739 kr

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche

E-bok

2013

452 kr

Business Intelligence

Ralf-Detlef Kutsche, Esteban Zimanyi

E-bok

2015

558 kr

Model-Based Software and Data Integration

Nikola Milanovic, Ralf-Detlef Kutsche

E-bok

2008

1 117 kr

Del 205

Business Intelligence

Esteban Zimányi, Ralf-Detlef Kutsche

Häftad, 2015

459 kr

Fundamental Approaches to Software Engineering

Ralf-Detlef Kutsche, Herbert Weber

Häftad, 2002

572 kr

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche

Häftad, 1991

469 kr

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

AvDieter Hofbauer,Ralf-Detlef Kutsche

Häftad, Tyska, 1989

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-01-01
Mått:170 x 244 x 11 mm
Vikt:329 g
Format:Häftad
Språk:Tyska
Antal sidor:172
Upplaga:1989
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528047184

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1 Grundbegriffe der Prädikatenlogik.- 1.1 Syntax der Prädikatenlogik.- 1.2 Semantik der Prädikatenlogik.- 1.3 Normierung der Syntax: Gentzenformeln und die Schnittregel.- 1.4 Normierung der Semantik: Herbrand-Strukturen.- 1.5 Korrektheit und Vollständigkeit.- 1.6 Theorembeweisen durch Widerlegungen.- 2 Resolution.- 2.1 Unifikation.- 2.2 Resolution und Faktorisierung.- 3 Einschränkung des Suchraums.- 3.1 Der Suchraum.- 3.2 Allgemeine Konzepte.- 3.3 Strukturelle Konzepte.- 3.4 Ordnungskonzepte.- 3.5 Semantische Konzepte.- 3.6 Kombination von Konzepten.- 4 Repräsentation des Suchraums.- 4.1 Connection-Graph-Resolution.- 4.2 Matrix-Verfahren.- 4.3 Tableau-Verfahren.- 5 Paramodulation.- 5.1 Gleichheit.- 5.2 Paramodulation.- 6 Termersetzung: Grundlagen.- 6.1 Termersetzungssysteme.- 6.2 Ersetzungssysteme: Termination und Konfluenz.- 6.3 Lokale Konfluenz und kritische Paare.- 7 Termersetzung: Spezielle Techniken.- 7.1 Terminationskriterien.- 7.2 Knuth-Bendix-Vervollständigung.- 7.3 Induktive Beweise.- 7.4 Lösen von Gleichungen: Narrowing.- 7.5 Beweisen in speziellen Gleichheitstheorien.- Schlußbemerkungen.- Literatur.- Symbolverzeichnis.- Sachwortverzeichnis.