Logic for Mathematics and Computer Science / Edition 1

Logic for Mathematics and Computer Science / Edition 1

by Stanley N. Burris
     
 

ISBN-10: 0132859742

ISBN-13: 9780132859745

Pub. Date: 08/18/1997

Publisher: Pearson

This book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for

…  See more details below

Overview

This book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics.

Product Details

ISBN-13:
9780132859745
Publisher:
Pearson
Publication date:
08/18/1997
Edition description:
New Edition
Pages:
420
Product dimensions:
6.00(w) x 8.90(h) x 1.00(d)

Table of Contents

I. QUANTIFIER-FREE LOGICS.

1. From Aristotle to Boole.

2. Propositional Logic.

3. Equational Logic.

4. Predicate Clause Logic.

II. LOGIC WITH QUANTIFIERS.

5. First-Order Logic: Introduction, and Fundamental Results on Semantics.

6. A Proof System for First-Order Logic and Gödel's Completeness Theorem.

Appendix A. A Simple Timetable of Mathematical Logic and Computing.

Appendix B. Dedekind-Peano Number System.

Appendix C. Writing Up an Inductive Definition or Proof.

Appendix D. FL Propositional Logic.

Bibliography.

Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >