cover image of A First Course in Logic

A First Course in Logic

by Mark Verus Lawson

ebook

Sign up to save your library

With an OverDrive account, you can save your favorite libraries for at-a-glance information about availability. Find out more about OverDrive accounts.

   Not today

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.

Publication Details

Publisher:
CRC Press
Publication Date:
2018

Format

  • OverDrive Read
  • Adobe EPUB eBook 6.3 MB
A First Course in Logic
Copy and paste the code into your website.
New here? Learn how to read digital books for free