A First Course in Logic (Paperback)

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.

General

Imprint:	Crc Press
Country of origin:	United States
Release date:	November 2018
First published:	2018
Authors:	Mark Verus Lawson
Dimensions:	234 x 156 x 24mm (L x W x T)
Format:	Paperback
Pages:	234
ISBN-13:	978-0-8153-8665-0
Categories:	Books > Science & Mathematics > Science: general issues > General Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	0-8153-8665-6
Barcode:	9780815386650

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!