| Management number | 220814985 | Release Date | 2026/05/03 | List Price | US$36.10 | Model Number | 220814985 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| XRay | Not Enabled |
|---|---|
| ISBN13 | 978-1351175364 |
| Edition | 1st |
| Language | English |
| File size | 3.8 MB |
| Page Flip | Enabled |
| Publisher | CRC Press |
| Word Wise | Not Enabled |
| Print length | 227 pages |
| Accessibility | Learn more |
| Screen Reader | Supported |
| Publication date | December 7, 2018 |
| Enhanced typesetting | Enabled |
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form