Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker - Image 1

£46.99

Vieweg+Teubner Verlag Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Name: Grundlagen des maschinellen Beweisens: Eine Einfuhrung fur Informatiker und Mathematiker
Brand: Vieweg+Teubner Verlag
Price: 46.75 GBP
Availability: InStock

black & white illustrations

Engineering & Technology

Price History & Forecast

Last 64 days • 64 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 64 days • 1 price levels

Days at Price

Price Analysis

Most common price: £47 (64 days, 100.0%)

Price range: £47 - £47

Price levels: 1 different prices over 64 days

Description

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.

Product Specifications

Brand: Vieweg+Teubner Verlag
Model: black & white illustrations
Format: paperback
ASIN: 3528047186
Category: Books > Subjects > Science, Nature & Maths > Engineering & Technology
Domain: Amazon UK
Release Date: 01 January 1989
Listed Since: 13 October 2010

Barcode

No barcode data available

Vieweg+Teubner Verlag Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematik für Informatiker 1 (Leitfäden und Monographien der Informatik)

Entwurf und Technologie hochintegrierter Schaltungen (Leitfäden und Monographien der Informatik)

Einführung in die technische Informatik

Informatik: Eine einführende Übersicht Erster Teil: 80 (Heidelberger Taschenbücher, 80)

Datenverarbeitungssysteme: Aufbau und Arbeitsweise

Mathematische Grundlagen der Technischen Mechanik II: Vektor- und Tensoranalysis (Beiträge zur Theoretischen Mechanik)

Numerische Methoden der Mechanik: Festigkeits- und Schwingungsberechnung mittels elektronischer Rechentechnik

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Diskrete Mathematik: Eine Einführung In Theorie Und Anwendungen (Leitfäden der Informatik)

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Datenbanksysteme: Konzepte und Modelle: 37 (Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher, 37)

Mathematische Statistik II: Asymptotische Statistik: Parametrische Modelle und nichtparametrische Funktionale

Prinzipien zur Lösung mathematischer Probleme

Grundlagen der Fördertechnik

Mathemecum: Begriffe ― Definitionen ― Sätze ― Beispiele: 51 (vieweg studium; Grundkurs Mathematik, 51)

Einführungskurs Höhere Mathematik: Grundlagen ― Beispiele ― Aufgaben

Algorithmen - Eine Einführung

Technische Thermodynamik: Studienbuch für Studenten des Maschinenbaus und der Elektrotechnik ab 1. Semester (uni-texte)

Handbook of Philosophical Logic: Volume 8

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Logic for Applications (Texts in Computer Science)

Springer Computational Invariant Theory: 130 Mathematics Book

Handbuch der Mess- und Automatisierungstechnik in der Produktion (VDI-Buch)

Technologie der Werkstoffe: für Studenten des Maschinenbaus und der Verfahrenstechnik ab 1. Semester