Estimated Schedule for Math 511
Fall 2014
This is a provisional schedule and will be updated according to the progress of the class.

Date
Topics
Remarks
Homework due (on Thursday)
Week
8-25 Introduction and the always popular administrative facts.
1.1 Logic and connectives
1.2 Conditionals and biconditionals
Here are the Introduction slides.

1
9-1 1.3 Quantified statements
9-2 No class. Post-Labor day.
1.1: 1bdej, 2acef, 3bfhj,  4ebdh, 5abfh,7g, 9ebdf, 10abdf, 12c, 13b.
1.2:  1bcegh, 3, 4 bdf, 5bgh, 6bcgh, 7aef
2
9-8 1.4 Basic proof methods I
1.5 Basic proof methods II

1.212c, 16bj
1.3:  1cejp, 2cejp, 3ab, 5, 8dij, 9g, 10bcej.
3
9-15 1.6 Proofs involving quantifiers
1.7 Strategies for constructing proofs

1.4:   4bcd. , 5cd, 6abef, 7cm 8, 9d.
1.5:  3bcdg, 4d, 5a, 6ce, 7b, 10
4
9-22 1.8 Proofs from number theory.


1.6:   1be,2bd,4g, 5a, 6bh, 8b.
1.7:   3acfh, 4ac, 5abef, 6b, 7ab, 8ac, 9bd, 10a.
5
9-29 2.1 Basic concepts on set theory
2.2 Set operations


1.8 1aegf, 2, 3, 6bd, 7ac, 9b, 10, 12,13, 14, 15.
6
10-6 2.3 Indexed families of sets
2.4 Mathematical Induction


2.1 2abc, 4bdfh, 5bdhj, 6bdf, 7, 10abc, 11cd, 13, 14d, 15bcdf,
2.2 11hj, 3bi, 5, 6df, 9bfg, 10de, 11bf, 12bc, 14, 15bc, 16ac, 18.
7
10-13 Review and midterm
Midterm: Thursday Oct 16 - In class
Chapters 1 and Chapter 2 (excluding Section 2.6)
2.3 1knr, 2knr, 4cd, 9b, 10b, 11b, 12ab, 13, 17ab, 18bd.
2.4 4bdek, 5acho, 6bdhj,
8
10-20 2.5 Equivalent forms of induction 


9
10-27 3.1 Relations
3.2 Equivalence relations

2.5 1ac, 3, 4a, 6bc, 7bd, 8b13ab

10
11-3 3.3 Partitions
4.1 Functions and relations
4.2 Constructions as functions

3.1 1ab, 2d, 3bdf, 4beh, 5ac, 6fh, 7aef, 9bd, 10ac, 11ac, 13.
3.2 1cgik, 2bfgh, 4c, 6abe, 7, 9b, 10ad, 12e, 14ab, 12ab, 16adf 
11
11-10 4.3 Injective and surjective functions
4.4 Inverse functions

3.3:  1ef, 3c, 4ac, 7a, 8, 14bc.
4.1:  1dfh, 2, 3bef, 6bd, 8, 9d, 12bc, 13bd, 14be, 15ad, 18abc
4.2: 1abfi, 2bfi, 4b, 5ac, 8, 12, 14bc, 15, 16b, 17abe. 
12
11-17 4.4 Inverse functions
4.5 Set images


Moira  will not have office hours this week.
Instead, Jaepil will hold office hours in MATH 5-125B.
Tue 3:00 - 4:00 and
Thur 4:20 - 5:20pm
4.3: 1bej, 2bej, 3abcd, 4bc, 9bdf, 10ad, 11.
4.4: 1abg, 2abf, 3acde, 5ab, 8, 9ab

13
11-24
5.1 Equivalent sets; finite sets

Thanksgiving break, 11-27
4.5:1ab, 2bd, 4ed, 5ab, 7bc, 10bd, 11, 12b, 13a, 14a. 
5.1
: 1cd, 3ad, 7b, 9ab, 11abd, 12, 16ab, 19, 20, 21acg.
14
12-1 5.2 Infinite sets
Review


4.5:1ab, 2bd, 4ed, 5ab, 7bc, 10bd, 11, 12b, 13a, 14a. 
5.1
:
1cd, 3ad, 7b, 9ab, 11abd, 12, 16ab, 19, 20, 21acg.
5.2
:  1, 2ac, 3bcg, 4bh, 5abcd, 7bdf, 8ab
15

Final is on Tuesday 12-16, P-131 at 5:30pm.