Home » First Course in Logic
Product Image

First Course in Logic

Mark Verus Lawson
€82.99
Quantity:
In stock with our UK publisher. 14-28 days
Delivery/Collection within 10-20 working days
14 days return policy Shipping & Delivery
A01=Mark Verus Lawson
algebraic structures
Atom P1
Atomic Formula
Atoms P1
Author_Mark Verus Lawson
Boolean Algebra
Boolean algebras
Boolean Expression
Boolean Function
Category=PBCD
Category=PD
Combinational Circuit
computational theory
Conjunctive Clause
discrete mathematics
eq_bestseller
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
eq_science
First-order
formal proof techniques
Indian ISBN
Infinite Branch
logic for computer science students
Logical Equivalences
mathematical reasoning
Open Branch
Parse Tree
Predicate Symbol
Propositional Connectives
Propositional logic
S1 S2
S1 S2 S3
Satisfiability Problem
Satisfying Truth Assignment
Sequent Calculus
Sequent S1
Sequential Circuit
symbolic logic
Truth Assignment
Truth Table
Truth Tree
Truth trees
Vice Versa

Product details

  • ISBN 9780815386650
  • Weight: 460g
  • Dimensions: 156 x 234mm
  • Publication Date: 29 Nov 2018
  • Publisher: Taylor & Francis Inc
  • Publication City/Country: US
  • Product Form: Paperback
Secure checkout Fast Shipping Easy returns
Description

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.
About Mark Verus Lawson

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.

More from this author