Symbolic Logic and Mechanical Theorem Proving


Author: Chin-Liang Chang,Richard Char-Tung Lee
Publisher: Academic Press
ISBN: 0080917283
Category: Computers
Page: 331
View: 4138
DOWNLOAD NOW »
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

STACS 94

11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
Author: Patrice Enjalbert,Ernst W. Mayr,Klaus W. Wagner
Publisher: Springer Science & Business Media
ISBN: 9783540577850
Category: Computers
Page: 786
View: 1036
DOWNLOAD NOW »
This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.

Einführung in die symbolische Logik

mit besonderer Berücksichtigung ihrer Anwendungen
Author: Rudolf Carnap
Publisher: Springer-Verlag
ISBN: 3709131405
Category: Philosophy
Page: 241
View: 7566
DOWNLOAD NOW »


Automated Theorem Proving


Author: Wolfgang Bibel
Publisher: Springer-Verlag
ISBN: 3322901009
Category: Computers
Page: 292
View: 1499
DOWNLOAD NOW »


The Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis
Author: David A. Plaisted,Yunshan Zhu
Publisher: Springer-Verlag
ISBN: 332293862X
Category: Technology & Engineering
Page: 167
View: 728
DOWNLOAD NOW »
Dieses Buch in englischer Sprache widmet sich dem Thema der Effizienz von Beweisstrategien und bietet eine vergleichende und asymptotische Analyse. Das Werk stellt erstmalig asymptotische Schranken für die Größe der von vielen gebräuchlichen Beweisstrategien erzeugten Suchfelder bereit. Auf diese Weise erlaubt es ein theoretisches Verständnis der Effizienz unterschiedlicher Beweisverfahren. Es wird ein fundamental neues Werkzeug für den Effizienzvergleich von Beweisstrategien bereitgestellt. This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical unterstanding of the efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.

Relative Complexities of First Order Calculi


Author: Elmar Eder
Publisher: Springer-Verlag
ISBN: 3322842223
Category: Mathematics
Page: 173
View: 5937
DOWNLOAD NOW »


Handbuch der Künstlichen Intelligenz


Author: Günther Görz,Josef Schneeberger
Publisher: Walter de Gruyter
ISBN: 348659883X
Category: Computers
Page: 1050
View: 6411
DOWNLOAD NOW »
Das Handbuch der Künstlichen Intelligenz bietet die umfassendste deutschsprachige Übersicht über die Disziplin "Künstliche Intelligenz". Es vereinigt einführende und weiterführende Beiträge u.a. zu folgenden Themen: Kognition,Neuronale Netze, Suche und Constraints, Wissensrepräsentation, Logik und automatisches Beweisen, unsicheres und vages Wissen, Wissen über Raum und Zeit, modellbasierte Systeme, maschinelles Lernen und Data Mining, Sprachverarbeitung, Bildverstehen, Robotik, Software-Agenten.

Principia Mathematica.


Author: Alfred North Whitehead,Bertrand Russell
Publisher: N.A
ISBN: N.A
Category: Logic, Symbolic and mathematical
Page: 167
View: 6698
DOWNLOAD NOW »


Künstliche Intelligenz und Heuristisches Programmieren


Author: N.V. Findler
Publisher: Springer-Verlag
ISBN: 3709183898
Category: Computers
Page: 349
View: 8668
DOWNLOAD NOW »


Logische Grundlagen der Künstlichen Intelligenz


Author: Nils J. Nilsson
Publisher: Springer-Verlag
ISBN: 3322928810
Category: Technology & Engineering
Page: 576
View: 8577
DOWNLOAD NOW »
Das Buch ist die deutsche Übersetzung des Standardwerkes der Stanforder Professoren Michael R. Genesereth und Nils J. Nilsson.Im Unterschied zu deutschen Lehrbüchern der Informatik zeichnet sich das Buch dadurch aus, daß es einen gut lesbaren Überblick gibt, ohne allzu formalistisch zu werden, gleichwohl aber von hohem Niveau ist und die Ergebnisse jüngster Forschung berücksichtigt. Das Buch empfiehlt sich sowohl für Studenten und Dozenten der Inf ormatik, aber auch für Forscher aus anderen Gebieten, die von den Grundlagen der Künstlichen Intelligenz profitieren möchten.

Logik für Informatiker


Author: Uwe Schöning
Publisher: Spektrum Akademischer Verlag
ISBN: 9783827410054
Category: Computers
Page: 200
View: 3682
DOWNLOAD NOW »
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

Logical Theory and Semantic Analysis

Essays Dedicated to STIG KANGER on His Fiftieth Birthday
Author: S. Stenlund
Publisher: Springer Science & Business Media
ISBN: 9401021910
Category: Philosophy
Page: 222
View: 3819
DOWNLOAD NOW »


Metamathematische Methoden in der Geometrie


Author: W. Schwabhäuser,W. Szmielew,A. Tarski
Publisher: Springer-Verlag
ISBN: 3642694187
Category: Mathematics
Page: 484
View: 6368
DOWNLOAD NOW »
Das vorliegende Buch besteht aus zwei Teilen. Teil I enthält einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski, das in einem gewissen Sinne (auch für die absolute Geometrie) gleichwertig ist mit dem Hilbertschen Axiomensystem, aber formalisiert ist in einer Sprache, die für die Betrachtungen in Teil II besonders geeignet ist. Mehrere solche Axio mensysteme wurden schon vor langer Zeit von Tarski veröffentlicht. Hier wird nun die Durchführung eines Aufbaus der Geometrie auf Grund eines solchen Axiomensystems - unter Benutzung von Resultaten von H. N. Gupta - allgemein zugänglich gemacht. Die vorliegende Darstel lung wurde vom zuerst genannten Autor allein geschrieben, aber sie beruht zum Teil auf unveröffentlichten Resultaten von Alfred Tarski und Wanda Szmielew; daher gebührt ihnen ein Teil der Autorschaft. Mehr über Entstehung und Inhalt von Teil I sowie über die Geschichte der Tarskischen Axiomensysteme wird in der Einleitung (Abschnitt I.O) gesagt. Teil II enthält metamathematische Untersuchungen und Ergebnisse über verschiedene Geometrien, was vielfac~ auf eine Anwendung von Methoden und Sätzen der mathematischen Logik auf Geometrien hinausläuft (vgl.

Boolean Reasoning

The Logic of Boolean Equations
Author: Frank Markham Brown
Publisher: Courier Corporation
ISBN: 0486164594
Category: Mathematics
Page: 304
View: 4410
DOWNLOAD NOW »
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.

9th International Conference on Automated Deduction

Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Author: Ewing Lusk,Ross Overbeek
Publisher: Springer Science & Business Media
ISBN: 9783540193432
Category: Computers
Page: 775
View: 6091
DOWNLOAD NOW »
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

Computability, Complexity, and Languages

Fundamentals of Theoretical Computer Science
Author: Martin D. Davis,Elaine J. Weyuker
Publisher: Academic Press
ISBN: 1483264580
Category: Reference
Page: 446
View: 3665
DOWNLOAD NOW »
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science provides an introduction to the various aspects of theoretical computer science. Theoretical computer science is the mathematical study of models of computation. This text is composed of five parts encompassing 17 chapters, and begins with an introduction to the use of proofs in mathematics and the development of computability theory in the context of an extremely simple abstract programming language. The succeeding parts demonstrate the performance of abstract programming language using a macro expansion technique, along with presentations of the regular and context-free languages. Other parts deal with the aspects of logic that are important for computer science and the important theory of computational complexity, as well as the theory of NP-completeness. The closing part introduces the advanced recursion and polynomial-time computability theories, including the priority constructions for recursively enumerable Turing degrees. This book is intended primarily for undergraduate and graduate mathematics students.

The Bulletin of Symbolic Logic


Author: N.A
Publisher: N.A
ISBN: N.A
Category: Logic, Symbolic and mathematical
Page: N.A
View: 9338
DOWNLOAD NOW »


Jahrbuch Überblicke Mathematik


Author: N.A
Publisher: N.A
ISBN: N.A
Category: Mathematics
Page: N.A
View: 5064
DOWNLOAD NOW »


Mathematical logic in computer science


Author: B. Dömölki,Tamás Gergely,Bolyai János Matematikai Társulat
Publisher: North Holland
ISBN: N.A
Category: Mathematics
Page: 758
View: 3582
DOWNLOAD NOW »


Principles of automated theorem proving


Author: David A. Duffy
Publisher: John Wiley & Sons
ISBN: N.A
Category: Computers
Page: 243
View: 2013
DOWNLOAD NOW »
An overview of ATP techniques for the non-specialist, it discusses all the main approaches to proof: resolution, natural deduction, sequentzen, and the connection calculi. Also discusses strategies for their application and three major implemented systems. Looks in detail at the new field of ``inductionless induction'' and brings out its relationship to the classical approach to proof by induction.