A First Course in Logic / Mark Verus Lawson.
Material type: TextLanguage: English Publication details: Florida : CRC Press, 2018.Edition: 1st edDescription: xv, 233 p. : ill. ; 23 cmISBN:- 9780815386650
- 9780815386643
- 9781351175388
- A First Course in Logic
- 23 511.3 LAW
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.