A First Course in Logic - Mark Verus Lawson
-35% koodilla BOOKS
Toimitus 17-23 arkipäivässä
30 päivän palautusoikeus
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 ... Täydellinen kuvaus
Saatat myös pitää
TOP
Determined: The Science of Life Without Free Will
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Light Eaters: How the Unseen World of Plant Intelligence Offers a New Understanding of Life on Earth
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Why We Sleep: Unlocking the Power of Sleep and Dreams
-35% koodilla BOOKS
Varastossa
TOP
The Rise and Fall of the Dinosaurs: A New History of a Lost World
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Biology: A Global Approach, Global Edition
Neil Campbell, Rebecca Orr, Lisa Urry, Peter Minorsky, Michael Cain, Jane Reece, Steven Wasserman
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Six Not-so-easy Pieces: Einstein's Relativity, Symmetry, and Space-Time
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Explaining AuDHD: The expert-led guide to Autism and ADHD Co-concurrence
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Age of Alchemy: How Early Innovators Shaped Modern Chemistry
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Secrets of our DNA: How Genetics has Changed the World
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
How to Solve it: A New Aspect of Mathematical Method
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Factfulness: Ten Reasons We're Wrong About the World--and Why Things Are Better Than You Think
Ola Rosling, Anna Rosling Rönnlund, Hans Rosling
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Why Machines Learn: The Elegant Maths Behind Modern AI
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Seven Brief Lessons on Physics
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Entangled Life: How Fungi Make Our Worlds, Change Our Minds and Shape Our Futures
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Life As No One Knows It: The Physics of Life's Emergence
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Rise and Reign of the Mammals: A New History, from the Shadow of the Dinosaurs to Us
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Learn Faster, Perform Better: A Musician's Guide to the Neuroscience of Practicing
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Janeway's Immunobiology
Leslie J. Berg, Kenneth Murphy, Casey Weaver
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Road to Reality: A Complete Guide to the Laws of the Universe
-35% koodilla BOOKS
Toimittajalla varastossa
Kuvaus
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.
Lisätietoja
| Kirjoittaja | Mark Verus Lawson |
|---|---|
| Julkaisija | CRC Press |
| Julkaisuvuosi | 2018 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9780815386643 |