Grundlagen des maschinellen Beweisens - 18 Angebote vergleichen

Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 172 pages. Dimensions: 9.0in. x 6.4in. x 0.6in.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 and Lee CL73, Loveland Lov78, Boyer and Moore BM79, Bibel Bib8287, Bundy Bun83, Wos, Overbeek, Lusk and Boyle WOLB84, Gallier GaI86, Genesereth and Nilsson GN87 und Padawitz Pad88; in deutscher Sprache etwa Bllisius and 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.

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. Dieter Hofbauer,Ralf-Detlef Kutsche, 24.4 x 17.0 x 1.1 cm, Buch.

Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 172 pp. Deutsch.

Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: German Brand New Book ***** Print on Demand *****.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.

Lieferung aus: Deutschland, zzgl. Versandkosten, Versandfertig in 2 - 3 Tagen.
Eine Einführung für Informatiker und Mathematiker, 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.

Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: German Brand New Book ***** Print on Demand *****.Dieses Buch ist ein Lehrbuch, das prazise 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 konnen.Ausgehend von der Pradikatenlogik werden theoretische Konzepte und Strategien fur automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution uber die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkul stellt ein handwerkliches Regelsystem fur die allgemeine Pradikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermoglicht, die Gleichheitsrelation adaquat behandeln zu konnen. (, Ersetzen von Gleichem durch Gleiches ); schliesslich wird mit der ausfuhrlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont.

Lieferung aus: Deutschland, Versandkostenfrei, Shipping in 3 days.
*Grundlagen des maschinellen Beweisens* - Eine Einführung für Informatiker und Mathematiker. 2. verb. Aufl. 1991 / Taschenbuch für 44.99 € / Aus dem Bereich: Bücher, Wissenschaft, Technik.

Lieferung aus: Deutschland, Versandkostenfrei, Shipping in 3 days.
*Grundlagen des maschinellen Beweisens* - Eine Einführung für Informatiker und Mathematiker. Auflage 1989 / Taschenbuch für 54.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet.

Lieferung aus: Deutschland, Versandkostenfrei.
Grundlagen des maschinellen Beweisens: Dieses Buch ist ein Lehrbuch, das prazise 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 konnen.Ausgehend von der Pradikatenlogik werden theoretische Konzepte und Strategien fur automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution uber die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkul stellt ein handwerkliches Regelsystem fur die allgemeine Pradikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermoglicht, die Gleichheitsrelation adaquat behandeln zu konnen. (, Ersetzen von Gleichem durch Gleiches"e ) schlielich wird mit der ausfuhrlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont. Ebook.

Lieferung aus: Deutschland, Versandkostenfrei, In stock (Download).
*Grundlagen des maschinellen Beweisens* - Eine Einführung für Informatiker und Mathematiker / pdf eBook für 35.96 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik.