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.

- 11/10 -- Read Section 1.6.
- Practice homework: Section 1.6, problems 1,2,3,5,6,7,8.
- Extra problems

- 12/1 -- Read section 4.3 on groups
- 12/12 -- Last day of class
- 12/18 -- Final exam, Willard 075, 12:20 - 14:10 pm Thursday
- Review session: Tuesday, December 16th, 5-7 pm, 110 Osmond
- RSA-related theorem summary
- Practice finding mistakes in theorems
- 2007 final
- 2010 final
- 2011 final

- 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)
- I understand that some of you who missed class on the 28th started the wrong assignment. If you did that or would like to, I'll consider it as extra credit to improve quiz and homework assignment grades.

See here.

- I understand that some of you who missed class on the 28th started the wrong assignment. If you did that or would like to, I'll consider it as extra credit to improve quiz and homework assignment grades.

- Flatland: The Movie official trailer.
- 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).