Logic for Applications (Texts in Computer Science) - Image 1

Price loading...

Springer Logic for Applications (Texts in Computer Science)

Name: https://www.amazon.co.uk/dp/B0DKXH37ZZ?tag=tosheroon-21
Brand: Springer

AI & Machine Learning

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0387948937
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 17 January 1997
Listed Since: 12 January 2007

Barcode

No barcode data available

Springer Logic for Applications (Texts in Computer Science)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Mathematical Logic for Computer Science

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Handbook of Philosophical Logic: Volume 14

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

A Logical Approach to Discrete Math (Monographs in Computer Science)

Introduction to Mathematical Logic: Extended Edition

Logic with Trees: An Introduction to Symbolic Logic

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Logic with Trees: An Introduction to Symbolic Logic