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.2:  12c, 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.