O'Reilly logo

Good Math by Mark C. Chu-Carroll

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Part 4Logic

There’s a lot more to math than just numbers. The fun of math really starts to become clear when you move beyond arithmetic and get to the abstract stuff. All of the abstractions can be built with two basic things: logic and set theory. So here we’ll take a look at logic.

In this part of the book we’ll explore what logic is, what a proof is, and what it really means for one statement to logically follow from the statements before it. We’ll take a look at a couple of logics to see how various logics can describe different kinds of reasoning, and we’ll explore the power of logical reasoning by playing with a programming language that’s entirely built on logic.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required