In this introduction to digital logic, students will have an opportunity to experiment with the building blocks of digital electronics. Using LEDs to visually indicate 1's and 0's, students will learn the functions of AND, OR, NAND, NOR, and XOR, build truth tables, and construct an S-R flip flop. We will use boolean arithmetic to represent the functionality of digital circuits, and see how digital circuit designs can be simplified mathematically. This class will move quickly.

Suppose you have three coins, one of which is double headed. You draw one coin at random, flip it three times, and get three heads in a row. What is the probability the coin you drew was the double headed coin? How about if you flip it four times and get four heads? Five times and five heads? At what point can you be "sure" the coin you drew is the double headed coin? Students will learn to calculate conditional probability using Bayes theorem and use the idea of statistical significance to decide what conclusions can be drawn from the available information.

Using classic proofs from geometry and number theory, we will investigate the idea of proof. Students will have an opportunity to write their own proofs with the guidance of the instructor.