This course introduces students to the use of mathematics as language. Using a theorem-proof framework much like that used in Euclidâ€™s geometry textbook 2, 400 years ago, we will study elementary number theory, modular arithmetic, set theory, formal logic, groups, and other discrete-math topics. The course will include several writing assignments to help students develop their own communications skills.

Angel Course Management system for quizes and assignment dropboxes

- Due 8/27 -- Read Section 3.1 and complete reading quiz before class.
- Practice homework: Section 3.1, problems 1,2,3,4
- Online pratice: A, B, C
- More pratice(posted 9/7): Making truth-tables, Translating truth-tables

- Due 8/29 -- Submit writing assignment 1's essay.
- Due 9/ 5 -- Read Section 3.2 and complete the reading quiz on Angel before class.
- Practice homework: Section 3.2, all problems

- Due 9/10 -- Read Section 2.3 and complete the reading quiz on Angel before class.
- Practice homework: Section 2.3, problems 1,2,3,4,6,7,9, and these extra problems.

- Due 9/12 -- Submit writing assignment 2's essay.
- Sochi Olympic medal counts and the partial ordering digraph of countries I showed in class.

- Due 9/17 -- Read Section 2.1 and complete the reading quiz on Angel before class.
- Practice homework: Section 2.1, problems 1,2,3,5,6,7,8,9
- Online pratice: A, B
- Online proof practice

- Due 9/22 -- Read Section 2.2 and complete the reading quiz on Angel before class.
- Practice homework: Section 2.2, problems 1,2,4,5,6,7,8,9.
- Online pratice: A

- Due 9/26 -- Submit writing assignment 3's essay in the Angel dropbox.
- Here is the Lab 3 handout on equivalence relations, if you lose yours.
- An example paper of what your assignment might look like.
- A second example paper dealing with just the jars of MnMs.

- 9/29 -- First exam
- Review session, Sunday, 8 pm, 113 Osmond

- Due 10/1 -- Read Section 1.1 and complete the reading quiz on Angel before class.
- Practice homework: Section 1.1, problems 1-4
- Online pratice: A

- Due 10/13 -- Read Section 1.2 and complete the reading quiz on Angel before class.
- Due 10/20 -- Read Section 1.3 and complete the reading quiz on Angel before class.
- Practice homework: Section 1.3, problems 2,3,4,6,8
- Extra proof practice using GCD theorems reference sheet.

- Due 10/24 -- Read Section 1.4, pages 39-42,and complete the reading quiz on Angel before class.
- Practice homework: Section 1.4, problems 1,2,3,5,6,7

- Due 10/26 -- Code for October 17th laboratory in Angel dropboxes.
- Due 10/31 -- Read Section 1.5 and complete the reading quiz on Angel before class.
- Practice homework: Section 1.5, problems 1-5

- 11/3 -- Second exam
- example_code_snippets.py you can use to study.

- 12/12 -- Last day of class
- 12/18 -- Final exam, Willard 075, 12:20 - 14:10 pm Thursday

- 9/8 -- Who won the Olympics? (regular classroom)
- 9/15 -- Which of these things is not like the others? (regular classroom)
- 10/3 -- Introduction to python. (216 Osmond)
- 10/10 -- Algorithms for greatest-common-divisors (216 Osmond)
- 10/17 -- Enumeration and problem solving (216 Osmond)
- Here's an example libnqps.py solution.
- Here's an example libHT.py solution.

- 11/14 -- RSA ciphers, part 1 (216 Osmond)
- 11/21 -- RSA ciphers, part 2 (216 Osmond)

- The Beauty of Polynomial Roots
- The crank's circle formula
- My explanation of circle-squaring
- New foundations for math?
- Hands-On Python is a good free reference for the python computing language we'll be using in labs.
- If you are interested in some programming practice, you might want to check out Project Euler, which is a self-taught course in mathematical problem-solving using programming.
- Popularizers of mathematics
- Erica Klarreich's excellent mathematics writting
- Martin Gardner, mathematic's best friend
- Ian Stewart, another great mathematics writter.

- Visual Explanations of some simple mathematical concepts (with atleast 1 mistake in the exponential growth example).