## Announcements

#### A sample final exam is posted at right. The syllabus that quarter was slightly different, so the mix of topics on our exam may be different.

#### There will be a review session held by your TA Stephan Weispfenning on Friday Dec. 2, 4-5:50pm in Peterson 104.

#### Remember that there is a HW9 which you should complete by Friday 12/2 (the last day of the quarter) but you will not hand HW9 in. You will still need to do the problems on HW9 to prepare for the final. Your homework grade will be based on the best 6 of the homeworks 1-8.

## Basic course description

Math 109 is an introduction to mathematical proof. It is aimed to introduce students to the mathematics major and prepare them for further upper-division coursework. The text will be Eccles, "An Introduction to Mathematical Reasoning".

Please follow the links at the right to read the syllabus and find the homework assignments.

### TA and Professor Contact Information

Professor Rogalski: office 5131 AP&M, e-mail drogalsk@ucsd.edu.

- Lecture: MWF 1pm-1:50pm, CSB 002
- Office hours: M 2pm-3pm, W 12pm-12:50pm, 5131 AP&M

TA#1: Stephan Weispfenning: e-mail sweispfenning@ucsd.edu

- Section B01: Th 11am-11:50am, 5402 AP&M
- Section B02: Th 12pm-12:50pm, 5402 AP&M
- Office hours: W 11am-12pm and 3pm-4pm in 6218 AP&M, F 8:30am-9:30am and F 11am-12pm in 5829 AP&M

TA#2: Pieter Spaas: e-mail pspaas@ucsd.edu.

- Section B03: Th 1pm-1:50pm, 5402 AP&M
- Office hours: Tu 1pm-3pm, 6446 AP&M

### Tentative schedule of lectures

We plan to cover most of the text. The following is a suggested outline of what we will cover when. It will be updated if things change as we go.- 9/23/16 Statements and connectives, truth tables (Chap. 1)

- 9/26/16 Implications, arithmetic, first proofs. (Chap. 2-3)
- 9/28/16 Methods of Proof (Chap. 3-4)
- 9/30/16 Proofs by induction I (Chap. 5)

- 10/3/16 Proofs by induction II (Chap. 5)
- 10/5/16 Set theory I (Chap. 6)
- 10/7/16 Set theory II (Chap. 6)

- 10/10/16 Quantifiers (Chap. 7)
- 10/12/16 Functions I (Chap. 8-9)
- 10/14/16 Functions II (Chap. 8-9)

- 10/17/16 Functions III (Chap. 8-9)
- 10/19/16 Counting finite sets (Chap. 10-11)
- 10/19/16 Midterm I (7pm-8:50pm CSB 002)
- 10/21/16 The binomial theorem (Chap. 12)

- 10/24/16 Number systems (Chap. 13)
- 10/26/16 Counting infinite sets I (Chap. 14)
- 10/28/16 Counting infinite sets II (Chap. 14)

- 10/31/16 The Division theorem. (Chap. 15)
- 11/2/16 The Euclidean algorithm. (Chap. 16)
- 11/4/16 Consequences of the the Euclidean algorithm. (Chap. 17)

- 11/7/16 Linear diophantine equations. (Chap. 18)
- 11/9/16 Review
- 11/9/16 Midterm II (7pm-8:50pm CSB 002)
- 11/11/16 Veteran's Day Holiday (no class)

- 11/14/16 Congruence of integers. (Chap. 19)
- 11/16/16 Congruence of integers II. (Chap. 19)
- 11/18/16 Arithmetic of Congruence Classes (Chap. 21)

- 11/21/16 Equivalence relations I (Chap. 22)
- 11/23/16 Extra Break Day (no class)
- 11/25/16 Thanksgiving Holiday (no class)

- 11/28/16 Equivalence Relations II (Chap. 22)
- 11/30/16 Introduction to further upper-division courses
- 12/2/16 Review

- 12/5/16 Final Exam 11:30am-2:30pm