A First Course in Logic / Edition 1

A First Course in Logic / Edition 1

by Mark Verus Lawson
ISBN-10:
0815386648
ISBN-13:
9780815386643
Pub. Date:
11/29/2018
Publisher:
Taylor & Francis
ISBN-10:
0815386648
ISBN-13:
9780815386643
Pub. Date:
11/29/2018
Publisher:
Taylor & Francis
A First Course in Logic / Edition 1

A First Course in Logic / Edition 1

by Mark Verus Lawson
$200.0
Current price is , Original price is $200.0. You
$200.00 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE
    Check Availability at Nearby Stores

Overview

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will?

Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.


Product Details

ISBN-13: 9780815386643
Publisher: Taylor & Francis
Publication date: 11/29/2018
Pages: 250
Product dimensions: 6.12(w) x 9.19(h) x (d)

About the Author

Mark V. Lawson is a professor in the department of mathematics at Heriot-Watt University. Dr. Lawson has published over 70 papers, and has written four books. His research interests focus on algebraic semigroup theory and its applications.

Table of Contents

1. Propositional logic. 2. Boolean algebras. 3. First-order logic

From the B&N Reads Blog

Customer Reviews