A First Course in Logic / Mark Verus Lawson.

By:

Lawson, Mark V

Material type: Text

TextLanguage: English Publication details: Florida : CRC Press, 2018.Edition: 1st edDescription: xv, 233 p. : ill. ; 23 cmISBN:

9780815386650
9780815386643
9781351175388

Uniform titles:

A First Course in Logic

Subject(s):

DDC classification:

23 511.3 LAW

Contents:

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

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Text Books	CUTN Central Library Sciences	Non-fiction	511.3 LAW (Browse shelf(Opens below))	Available		48137

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

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.

There are no comments on this title.

to post a comment.