Symbolic Logic and Mechanical Theorem Proving


Author: Chin-Liang Chang,Richard Char-Tung Lee
Publisher: Academic Press
ISBN: 0080917283
Category: Computers
Page: 331
View: 6061
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: 3697
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.

Automated Theorem Proving


Author: Wolfgang Bibel
Publisher: Springer-Verlag
ISBN: 3322901009
Category: Computers
Page: 292
View: 9155
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: 5916
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: 3276
DOWNLOAD NOW »


Künstliche Intelligenz und Heuristisches Programmieren


Author: N.V. Findler
Publisher: Springer-Verlag
ISBN: 3709183898
Category: Computers
Page: 349
View: 2678
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: 8850
DOWNLOAD NOW »


First-Order Logic and Automated Theorem Proving


Author: Melvin Fitting,Melvin Chris Fitting
Publisher: Springer Science & Business Media
ISBN: 9780387945934
Category: Computers
Page: 326
View: 5675
DOWNLOAD NOW »
Propositional logic - Semantic tableaux and resolution - Other propositional proof procedures - First-order logic - First-order proof procedures - Implementing tableaux and resolution - Further first-order features - Equality.

Handbuch der Künstlichen Intelligenz


Author: Günther Görz,Josef Schneeberger
Publisher: Walter de Gruyter
ISBN: 348659883X
Category: Computers
Page: 1050
View: 9676
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.

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


Boolean Reasoning

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

Metamathematische Methoden in der Geometrie


Author: W. Schwabhäuser,W. Szmielew,A. Tarski
Publisher: Springer-Verlag
ISBN: 3642694187
Category: Mathematics
Page: 484
View: 7011
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.

Proof Theory and Automated Deduction


Author: Jean Goubault-Larrecq,I. Mackie
Publisher: Springer Science & Business Media
ISBN: 9781402003684
Category: Computers
Page: 444
View: 8236
DOWNLOAD NOW »
Proof Theory and Automated Deduction is written for final-year undergraduate and first-year post-graduate students. It should also serve as a valuable reference for researchers in logic and computer science. It covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory; and shows how they are applied in computer science, and especially the particular field of automated deduction, i.e. the automated search for proofs of mathematical propositions. We have chosen to give an in-depth analysis of the basic notions, instead of giving a mere sufficient analysis of basic and less basic notions. We often derive the same theorem by different methods, showing how different mathematical tools can be used to get at the very nature of the objects at hand, and how these tools relate to each other. Instead of presenting a linear collection of results, we have tried to show that all results and methods are tightly interwoven. We believe that understanding how to travel along this web of relations between concepts is more important than just learning the basic theorems and techniques by rote. Audience: The book is a valuable reference for researchers in logic and computer science.

The Bulletin of Symbolic Logic


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


Mathematische Logik mit Informatik-Anwendungen


Author: E. Bergmann,H. Noll
Publisher: Springer
ISBN: 9783540082026
Category: Mathematics
Page: 326
View: 1215
DOWNLOAD NOW »
Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathe matische Logik (fUr Informatiker)" entstanden. Diese sechssttindige Lehrveranstaltung, die seit dem Sommersemester 1974 jahrlich an der Technischen Universitat Berlin im Fachbereich Informatik ab gehalten wird, will Informatik-Studenten etwa yom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen" Bei trag zur Mathematik-Ausbildung fUr Informatiker leisten. Dement sprechend handelt es sich urn einen einfUhrenden Text fUr "krasse" Anfanger in der Logik, der mit elementaren Mathematik -Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Kon zepte von Programmiersprachen benotigt. Anliegen des Buches, das sich gleichermaBen an Mathematik- und Informatik-Studenten wen det, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgrtinde der Pradikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch tiber Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbin dungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daB tiber den hier vorliegenden Text hinaus Raum fUr andere Bertihrungspunkte und fUr eine intensivere Gestaltung der hier im Text angefUhrten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwen dungsgebiete. Dieser Text will dazu anregen, Informatik und Lo gik so aufeinander zu beziehen, daB Logik als Hilfsmittel fUr die Informatik angesehen werden darf, d. h. als eine fruchtbare, Infor matik-Ergebnisse hervorbringende Methode.

GWAI-89

13th German Workshop on Artificial Intelligence, Eringerfeld, 18-22 September, 1989 : proceedings
Author: Dieter Metzing
Publisher: Springer Verlag
ISBN: N.A
Category: Computers
Page: 485
View: 3981
DOWNLOAD NOW »


Jahrbuch Überblicke Mathematik


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


Formal Techniques in Artificial Intelligence

A Sourcebook
Author: Ranan B. Banerji
Publisher: North Holland
ISBN: N.A
Category: Computers
Page: 437
View: 5580
DOWNLOAD NOW »
Contrary to general opinion, Artificial Intelligence research has often been carried out from a mathematical point of view, and frequently incorporates techniques of theoretical computer science. This book surveys various areas of Artificial Intelligence research, describing formal techniques. The areas chosen are most of those which have been ndash; or can be ndash; discussed with mathematical precision and clarity. The authors are all active researchers (in some cases international authorities) in their respective areas. The volume is much more than a collection of `annotated bibliographies'. The papers survey the basic techniques of each field, giving information that will facilitate further reading. The areas covered are: equations and identities in algebras, mechanical theorem proving, logical induction, intelligent data bases, qualitative reasoning, program verification and synthesis, automatic heuristic development and neural networks.

Principia Mathematica.


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