A first course in 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 -...

Full description

Bibliographic Details
Main Author:	Lawson, Mark V. (Author)
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Published:	Boca Raton, Florida : CRC Press, [2019]
Subjects:	Logic, Symbolic and mathematical > Problems, exercises, etc. Logic. Logique symbolique et mathématique > Problèmes et exercices. MATHEMATICS > General. Logic Logic, Symbolic and mathematical Electronic books. Problems and Exercises exercise books. Problems and exercises Problems and exercises. Problèmes et exercices.
Online Access:	Connect to the full text of this electronic book

Description
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.
Physical Description:	1 online resource (xv, 233 pages)
Bibliography:	Includes bibliographical references and index.
ISBN:	9781351175364 135117536X 9781351175371 1351175378 9781351175357 1351175351 9781351175388 1351175386