Symbolic Logic and Mechanical Theorem Proving


Author: Chin-Liang Chang,Richard Char-Tung Lee
Publisher: Academic Press
ISBN: 0080917283
Category: Computers
Page: 331
View: 7709
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: 1596
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: 5178
DOWNLOAD NOW »


Automated Theorem Proving


Author: Wolfgang Bibel
Publisher: Springer-Verlag
ISBN: 3322901009
Category: Computers
Page: 292
View: 368
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: 1637
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: 5040
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: 8917
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.

Künstliche Intelligenz und Heuristisches Programmieren


Author: N.V. Findler
Publisher: Springer-Verlag
ISBN: 3709183898
Category: Computers
Page: 349
View: 7238
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: 3575
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.

Principia Mathematica.


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


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: 7417
DOWNLOAD NOW »


Logische Grundlagen der Künstlichen Intelligenz


Author: Nils J. Nilsson
Publisher: Springer-Verlag
ISBN: 3322928810
Category: Technology & Engineering
Page: 576
View: 6991
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 Dummies


Author: Mark Zegarelli
Publisher: John Wiley & Sons
ISBN: 3527657444
Category: Mathematics
Page: 358
View: 6369
DOWNLOAD NOW »
Logik ist die Basis von Wissenschaft, aber auch eine Br?cke von Wissenschaft zum Alltag. So einfach sie scheint, so anspruchsvoll ist sie im Detail. Mark Zegarelli f?hrt Sie in "Logik f?r Dummies" systematisch in die Logik ein. Vom Paradoxon ?ber symbolische Logik bis zur Syllogistik l?sst er nichts aus und zeigt Ihnen, wie man Argumente pr?ft. Er arbeitet dabei mit anschaulichen Beispielen und schafft es so, dieses abstrakte Thema den Lesern nicht nur verst?ndlich zu machen, sondern ihnen auch Wert und Nutzen von Logik aufzuzeigen. Eine Einf?hrung, die den Wissensdurst stillt und Lust auf mehr macht.

Boolean Reasoning

The Logic of Boolean Equations
Author: Frank Markham Brown
Publisher: Courier Corporation
ISBN: 0486164594
Category: Mathematics
Page: 304
View: 1424
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.

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: 4098
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: 9306
DOWNLOAD NOW »


Jahrbuch Überblicke Mathematik


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


Der Gödelsche Beweis


Author: Ernest Nagel,James R. Newman
Publisher: de Gruyter Oldenbourg
ISBN: 9783486597264
Category:
Page: 110
View: 4454
DOWNLOAD NOW »
Spätestens seit Douglas R. Hofstadters "Gödel, Escher, Bach" ist der Name Gödel auch bei Nichtmathematikern bekannt geworden. 1931 hatte Kurt Gödel unter dem Titel "Über formal unterscheidbare Sätze der Principia Mathematica und verwandter Systeme" seinen Unvollständigkeitssatz publiziert. Nagel und Newman haben das Wesentliche an Gödels Ergebnissen für Nichtfachleute dargestellt. Die vorliegende 9. Auflage ist ein unveränderter Nachdruck der längst klassisch gewordenen Ausgabe von 1958.

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: 708
DOWNLOAD NOW »


Principles of automated theorem proving


Author: David A. Duffy
Publisher: John Wiley & Sons
ISBN: N.A
Category: Computers
Page: 243
View: 1370
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.