Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua

Books 3054
· Book News
· Most clicked
· Least clicked

Search for a Book
Add a new Book

Logic for Computer Science: Foundations of Automatic Theorem Proving

Author: Jean Gallier
Url: http://www.cis.upenn.edu/~jean/gbooks/logic.html
Format: Ps, Pdf
Category: Mathematics Logic
Pages: 511
Clicks: 2386

This book is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains some features rarely found in other texts on logic. Four of these features are: 1. The use of Gentzen Systems; 2. A Justification of the Resolution method via a translation from a Gentzen System; 3. A presentation of SLD-resolution and a presentation of the foundations of PROLOG; 4. Fast decisions procedures based on congruence closures. Even though the main emphasis of the book is on the design of procedures for constructing formal proofs, the treatment of the semantics is perfectly rigorous. The following paradigm has been followed: Having defined the syntax of the language, it is shown that the set of well-formed formulae is a freely generated inductive set. This is an important point, which is often glossed over. Then, the concepts of satisfaction and validity are defined by recursion over the freely generated inductive set (using the 'unique homomorphic extension theorem', which can be rigorously justified). Finally, the proof theory is developed, and procedures for constructing proofs are given. Particular attention is given to the complexity of such procedures.

Similar Books
Logica Matematica
Logic and Proof
A Second Course in Logic
Mathematical Logic
A Problem Course in Mathematical Logic
Logic for Everyone
Mathematical Logic - an Introduction
Logic and Computation
forall X
Logic Deductive ans Inductive
Introduction to mathematical logic - A problem solving course
An Introduction to Mathematical Logic
The art of logic
Science of Logic
Elements of deductive logic
Introduction to Modal Logic
Symbolic Logic: A Second Course
Proof, Sets, and Logic
Lectures on Linear Logic
Decision by Objectives
Model-Theoretic Logics
Mathematics of modality
Logics of time and computation
Logic and Information
Logic and linear algebra: an introduction

Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books