Homework
Homework assignments and solutions to selected problems will be posted here.
| Number | Due Date | Questions | Solutions |
| 1 | Jan 23 | .pdf | .tex | |
| 2 | Jan 30 | .pdf | .tex | |
| 3 | Feb 6 | .pdf | .tex | |
| 4 | Feb 20 | .pdf | .tex | |
| 5 | Feb 27 | .pdf | .tex | |
| 6 | Mar 6 | .pdf | .tex | |
| 7 | Mar 13 | .pdf | .tex | |
| 8 | Apr 3 | .pdf | .tex | |
| 9 | Apr 10 | .pdf | .tex | |
| 10 | Apr 17 | .pdf | .tex | |
| 11 | Apr 24 | .pdf | .tex | |
| 12 | May 1 | .pdf | .tex |
Midterms and Exams
| Exam | Sample | Solutions | Exam | Solutions |
| Midterm I | ||||
| Midterm II | ||||
| Final Exam |
Writing mathematical proofs
A mathematical proof is an argument convincing other people that a mathematical statment is true. In mathematical and scientific writings, it is standard that equations should occur naturally within full sentences and flow with the surrounding text. It is strongly recommended that students practice this style of writing in their homework. The homework solutions posted on this website will adhere to this style, and can be used as a guide. Some good resources include:
- Michael Hutchings' introduction to mathematical arguments: This is a very good resource on writing mathematical proofs.
- George Bergman's notes on sets, logic and mathematical language: This is a great resource for information on set and logic notation, and it also discusses the universal quantifier "for all" and the existential quantifier "there exists" that are used in this course.
LaTeX
A great way to write mathematics electronically is to use the software package LaTeX. LaTeX is widely used for the publication of scientific documents in many fields, including mathematics, physics, computer science and engineering. Some good resources for getting started with LaTeX are
- The not so short introduction to LaTeX by Tobias Oetiker.
- Wikibook on LaTeX.
- UC Berkeley LaTeX course from 2011.
For preparing LaTeX documents, I use the command line editor vim, along with vim-LaTeX, and a PDF-viewer that automatically updates when the pdf file changes (e.g., Skim on Mac, or Evince in Linux). I have used this setup on both Mac OSX and Linux (Ubuntu and Slackware) operating systems.