Introduction to Mathematical Proof

MTH 301 [29196], Fall 2025

Mon and Wed, 12:20 - 2:15 pm, 1S-102


Information MTH301 FAQs Course Outline Resources Brightspace Policies Department of Mathematics

Instructor: Professor Abhijit Champanerkar

Office: 1S-230
Email :
Office Hours: Mon 3:30 - 5:30 pm, Wed 2:30 - 3:30 (in 1S-230) Note changed office hours and location Class Homepage: http://www.math.csi.cuny.edu/abhijit/301/ (this page)
Academic Calendar     First Day Handout


Course Information

Course description: The goals of this course are for you to become adept at logical reasoning by learning mathematical processes that are essential for studying higher mathematics. We will focus especially on the idea of a mathematical proof. We will learn how to (1) understand mathematics in its three modes of communication - hearing, reading and writing, and (2) discover mathematics by exploration and experimentation. You will have succeeded in this course if by the end of the semester you understand or have learned
Prerequisite MTH 232.

Text Book and Syllabus: Fendel and Resek, Foundations of Higher Mathematics , Pearson ISBN 9780201125870. We will cover Chapters 1 to 6 from the text book. See below for a tentative list of topics by dates for this semester.

The first 6 chapters of the textbook will be supplied to students in second week of classes. Please note that you may not distribute, photocopy any parts of this material at any time, and students have to return the textbook at the end of the semester. Please bring the textbook to every class.

Attendance and class participation:
Homework, Quizzes and Exams Practising the concepts learned in the class and their assessment will be in the following ways:
Grading: The course grade will determined as follows:

Resources

Course schedule and Homework Here is a tentative list of topics by week for this semester. Note that this schedule may change depending on how the class progresses.



Week # Week of Topic Homework
1 Aug 25 1.1 Exploration
1.2 From Exploration to Proof
2* Sept 1 1.3 Proof: An Introduction HW 1 Due: Wed Sept 10
Appendix B
3 Sept 8 1.3 Proof: An Introduction
4 Sept 15 2.1 Exploring Sets
Quiz 1
HW 2 Due: Thurs Sept 18th
5* Sept 22 No classes
6* Sept 29 2.2 Proofs about Sets, 2.3 Exploring Integers HW 3 Due: Mon Sept 29th
7 Oct 6 2.4 Proofs about Integers
8* Oct 13 3.1 Quantifiers
Quiz 2
9* Oct 20 3.1 Quantifiers
10 Oct 27 Review and Midterm Exam
11 Nov 3 3.2 Working with Quantifiers
12 Nov 10 4.1 Proofs with Quantifiers
13 Nov 17 4.2 Equivalences in Proofs
14* Nov 24 5.1 Induction part 1
Quiz 3
15 Dec 1 5.1 Induction
16 Dec 8 5.2 Second Principle of Induction
17* Dec 15 Review for Final Exam
Final Exam TBA


Note:


Course Policies