Math 347 - Intro to Proofs - Spring 2022
Course Information
Instructor Lee DeVille
Office 302 Altgeld Hall
Office hours Monday 3-4, Friday 12-1 on Zoom (see Moodle for coordinates)
Main Text An Introduction to Abstract Mathematics, by Donaldson and Pantano (3rd edition)
Syllabi Course syllabus specific to this course on the Moodle page.

The mathematics department's general syllabus.

Lecture videos

All lecture videos in a single playlist, click here.

LaTeX slides for each Lecture
  1. Slides, day 1: Introduction to Introduction to Proofs
  2. Slides, day 2: Propositions
  3. Slides, day 3: Proof tactics
  4. Slides, day 4: Proof strategies
  5. Slides, day 5: Quantifiers
  6. Slides, day 6: Remainders
  7. Slides, day 7: Modular Arithmetic
  8. Slides, day 8: Euclidean Algorithm
In-class activities
  1. In-class activity, day 1
  2. In-class activity, day 2
  3. In-class activity, day 3
  4. In-class activity, day 4
  5. In-class activity, day 5
  6. In-class activity, day 6
  7. In-class activity, day 7
  8. In-class activity, day 8
  9. In-class activity, day 9