A First Course in Logic
Auteur : Lawson Mark Verus
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.
1. Propositional logic. 2. Boolean algebras. 3. First-order logic
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.
Date de parution : 11-2018
15.6x23.4 cm
Date de parution : 11-2018
15.6x23.4 cm
Thème d’A First Course in Logic :
Mots-clés :
Atom P1; Propositional logic; Truth Tree; Boolean algebras; Parse Tree; Truth trees; Vice Versa; First-order; Truth Table; Sequent Calculus; Predicate Symbol; Combinational Circuit; Boolean Algebra; S1 S2 S3; Boolean Expression; Sequential Circuit; Atoms P1; Logical Equivalences; Satisfying Truth Assignment; Truth Assignment; Sequent S1; Boolean Function; Atomic Formula; Satisfiability Problem; Infinite Branch; Propositional Connectives; S1 S2; Conjunctive Clause; Open Branch