Home Papers CV Links Teaching Slides Images NoCo Math OER Blog Putnam

Math 108, Fall 2017: Introduction to Abstract Mathematics

In this course we introduce the rigorous foundations of abstract mathematics. In particular, we will cover formal logic and natural deduction, methods of proof such as induction and contradiction in practice, set theory and functions, bijections and cardinality, combinatorial proofs, and the basics of abstract algebra (groups, rings, and fields).

For more information, see the Course Syllabus.

The textbook for the course is A Transition to Advanced Mathematics, 8th Ed., by Eggen, Smith, St. Andre. However, the course will also be following some of the material in the following lecture notes:

Supplementary Lecture Notes


Homework 1 - Due Oct. 2

Homework 2 - Due Oct. 9

Homework 3 - Due Oct. 16

Homework 4 - Due Oct. 23

Homework 5 - Not handed in; study for Midterm 1!

Homework 6 - Due Nov. 6

Homework 7 - Due Nov. 13

Homework 8 - Due Nov. 20

Homework 9 - Due Nov. 27

Homework 10 - Due Dec. 4


There will be one midterm on October 30, and a final exam. See the syllabus for more details, and check back here for practice problems as the exam dates approach.

Practice Midterm - Solutions

Midterm A (11AM)

Midterm C (3PM)

Practice Final - Solutions

Final exam schedule

Section A01 (11am class): Thursday, Dec. 14, 10:30am-12:30pm, Haring 2016

Section A02 (11am class): Thursday, Dec. 14, 10:30am-12:30pm, Haring 1204

Sections C01, C02 (3pm class): Wednesday, Dec. 13, 8:00am-10:00am, Everson 176


In lieu of a second midterm exam, there will be a written project, designed to give you practice thinking about a difficult mathematical problem for a longer period of time, and to give you feedback on your expository mathematical writing. The project will consist of a mathematical investigation starting from any one of the provided prompt problems in the document below. See the prompts file for more instructions and details:

Project Prompts

In order to type your solutions in LaTeX, the easiest way to start is to get a free account on Overleaf.com, an easy-to-use browser-based LaTeX editor. You can then either start your document from scratch, or make your own copy of any of the following example documents:

Project Template

Simple definition/theorem/proof from Oct. 2 class

Read-only LectureNotes.tex

The Project Template above gives an idea of how you should organize your project.

Back to main teaching page.