Grundlagen des maschinellen Beweisens - 4 Angebote vergleichen
| Preise | 2014 | 2018 | 2023 |
|---|---|---|---|
| Schnitt | € 29,15 | € 42,98 | € 42,99 |
| Nachfrage |
1
Grundlagen des maschinellen Beweisens
DE NWISBN: 9783322842237 bzw. 3322842231, in Deutsch, Teubner, Leipzig, Deutschland, neu.
Lieferung aus: Deutschland, Lagernd.
Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen "LOGIK II fUr Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schlieBt direkt an die "WGIK fUr Informatiker: F ormalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich fUr die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger BUcher in diesem Themenfeld -wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen -ist seit dem Beginn der 70er Jahre entstanden, U. A. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87] und Padawitz [Pad88]; in deutscher Sprache etwa Bllisius & BUrckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Erglinzung solcher BUcher fUr den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einflihrung in diese Thematik zu geben. Wir knUpfen an Grundkenntnisse der Logik an und stellen daher die spliter benotigten Begriffe in Kapitell nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher AbleitungskalkUl, der die Prlidikatenlogik erster Stufe prinzipiell dem Rechner zuglinglich macht.
Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen "LOGIK II fUr Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schlieBt direkt an die "WGIK fUr Informatiker: F ormalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich fUr die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger BUcher in diesem Themenfeld -wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen -ist seit dem Beginn der 70er Jahre entstanden, U. A. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87] und Padawitz [Pad88]; in deutscher Sprache etwa Bllisius & BUrckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Erglinzung solcher BUcher fUr den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einflihrung in diese Thematik zu geben. Wir knUpfen an Grundkenntnisse der Logik an und stellen daher die spliter benotigten Begriffe in Kapitell nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher AbleitungskalkUl, der die Prlidikatenlogik erster Stufe prinzipiell dem Rechner zuglinglich macht.
2
Grundlagen des maschinellen Beweisens
DE NW EBISBN: 9783322842237 bzw. 3322842231, in Deutsch, Vieweg+Teubner Verlag, neu, E-Book.
Lieferung aus: Deutschland, Versandkostenfrei, In stock (Download).
*Grundlagen des maschinellen Beweisens* - Eine Einführung für Informatiker und Mathematiker / pdf eBook für 42.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik.
*Grundlagen des maschinellen Beweisens* - Eine Einführung für Informatiker und Mathematiker / pdf eBook für 42.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik.
3
Grundlagen des maschinellen Beweisens
DE NW EBISBN: 9783322842237 bzw. 3322842231, in Deutsch, Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, neu, E-Book.
Lieferung aus: Deutschland, Versandkostenfrei, in stock.
Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker: ab 42.99 €.
Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker: ab 42.99 €.
4
Grundlagen des maschinellen Beweisens
DE NW EBISBN: 9783322842237 bzw. 3322842231, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…