Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Häftad, Tyska, 1989

AvDieter Hofbauer,Ralf-Detlef Kutsche

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-01-01
Mått170 x 244 x 11 mm
Vikt329 g
FormatHäftad
SpråkTyska
Antal sidor172
Upplaga1989
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528047184

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av

Del 390

Big Data Management and Analytics

Ralf-Detlef Kutsche, Esteban Zimányi

Häftad, 2020

749 kr

Del 205

Business Intelligence

Esteban Zimányi, Ralf-Detlef Kutsche

Häftad, 2015

599 kr

Fundamental Approaches to Software Engineering

Ralf-Detlef Kutsche, Herbert Weber

Häftad, 2002

749 kr

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche

Häftad, 1991

609 kr

Nyhet

Allt det blå på himlen

Mélissa Da Costa

Pocket, 2026

79 kr129 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Nyhet

Del 7

Fördrivaren

Viveca Sten

Inbunden, 2026

289 kr319 kr

Nyhet

Threshing Day (svensk utgåva)

Rebecca Yarros

Häftad, 2026

299 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Katarina Wennstam - Moder blod, Inbunden

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Häftad, Tyska, 1989

AvDieter Hofbauer,Ralf-Detlef Kutsche

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-01-01
Mått170 x 244 x 11 mm
Vikt329 g
FormatHäftad
SpråkTyska
Antal sidor172
Upplaga1989
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528047184

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av

Del 390

Big Data Management and Analytics

Ralf-Detlef Kutsche, Esteban Zimányi

Häftad, 2020

749 kr

Del 205

Business Intelligence

Esteban Zimányi, Ralf-Detlef Kutsche

Häftad, 2015

599 kr

Fundamental Approaches to Software Engineering

Ralf-Detlef Kutsche, Herbert Weber

Häftad, 2002

749 kr

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche

Häftad, 1991

609 kr

Nyhet

Allt det blå på himlen

Mélissa Da Costa

Pocket, 2026

79 kr129 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Nyhet

Del 7

Fördrivaren

Viveca Sten

Inbunden, 2026

289 kr319 kr

Nyhet

Threshing Day (svensk utgåva)

Rebecca Yarros

Häftad, 2026

299 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av