MAT 200 

Logic, Language,
and Proof 

Prof. LeBrun


Provisional Class Schedule

Week Readings Homework
1/28 1 Language
2 Implications
Ungraded problems:* 1.1 through 1.4; 2.1 through 2.5
HW 1 (due 2/5): p. 53: problems 1, 2, 3, 4, 5
2/4 3 Proofs
4 Proof by Contradiction
2/8: last day to add or drop (without W)
Ungraded problems: 3.2, 3.3, 4.2, 4.3
HW 2 (due 2/12): pp. 54: problems 6, 7, 9, 10, 11
2/11 5 Proofs by Induction
6 Set Theory
Ungraded problems: 5.1 through 5.7; 6.4 through 6.7
HW 3 (due 2/19): pp. 54-56: problems 12, 13, 14, 16, 17, 20, 21, 25
2/18 7 Quantifiers
8 Functions
Ungraded problems: 7.1, 7.5 through 7.8; 8.1, 8.3, 8.5
HW 4 (due 2/26): pp. 115-117: problems 3, 4, 5, 8, 11, 12, 13, 15
2/25 9 Injections, Surjections, Bijections
First midterm on 2/28
Ungraded problems: 9.1, 9.2, 9.4
3/3 9 Injections, Surjections, Bijections
HW 5 (due 3/11 ): pp. 117-119: problems 16, 17, 18, 20, 21
3/10 Geometry Notes: Revised!
§1 (Introduction) though §4 (Protractor Axiom)
Ungraded problems: Geometry notes: Exercises 2.3 through 2.6
HW 6 (due 3/25): Geometry notes: Exercises 3.1, 3.2, 3.3, 4.4, 4.7, 4.8
3/24 Geometry Notes: §5 (Triangles)
3/28: Last day to drop (with W)
Ungraded problems: Geometry notes: Exercises 5.1, 5.3, 5.5, 5.8, 5.11
HW 7 (due 4/1): Geometry notes: Exercises 5.2, 5.4, 5.6, 5.7, 5.9, 5.10
3/31 Geometry Notes:
§6 (Parallels)
Ungraded problems: Geometry notes: Exercises 6.2, 6.4, 6.6, 6.7, 6.9, 6.11
HW 8 (due 4/10): Geometry notes: Exercises 6.1, 6.3, 6.5, 6.8, 6.10, 6.12
4/7 Second Midterm on 4/8
10 Counting
Ungraded problems: 10.1, 10.3, 10.4
HW 9 (due 4/15): p. 182: problems 1, 3, 4
4/14 11 Properties of Finite Sets
12 Counting Functions and Subsets
Ungraded problems: 11.2, 11.4; 12.1 through 12.5
HW 10 (due 4/24 ): pp. 183-185: problems 5, 6, 11, 17, 18
4/21 13 Number Systems
14 Counting Infinite Sets
Ungraded problems:13.4, 14.1, 14.2, 14.3
HW 11 (due 4/29 ): pp. 186-187: problems 23, 25, 26, 28
4/28 19 Modular Arithmetic
21 Congruence Classes
Ungraded problems: 19.2, 19.3, 21.1, 21.3
HW 12 (due 5/8 ): pp. 271-273: problems 1, 3, 7, 13*, 17, 18
5/5 21 Congruence Classes (continued)
22 Partitions and Equivalence Relations
Ungraded problems: 21.4, 21.5, 22.1, 22.2

*Homework for 5/8: Modification of problem 13: You need only prove that a 1 and two 0's cannot occur on the same row.

*Ungraded problems are to be carefully completed in detail by each and every student, but will not be graded (or even collected). The answers to these problems can all be found in the back of the book.

*Corrections to Geometry Notes: The geometry notes are currently being revised, with the aim of improving them. If you notice any apparent misprints or errors in the geometry notes, please e-mail the professor immediately. This could be a real help, not only to all your classmates, but also to all those who take the class in future years!


Refreshing your browser will ensure that you are looking at the current version of this page!


Back to Syllabus


Stony Brook University expects students to maintain standards of personal integrity that are in harmony with the educational goals of the institution; to observe national, state, and local laws as well as University regulations; and to respect the rights, privileges, and property of other people. Faculty must notify the Office of Judicial Affairs of any disruptive behavior that interferes with their ability to teach, compromises the safety of the learning environment, or inhibits students' ability to learn.


DSS advisory. If you have a physical, psychiatric, medical, or learning disability that may affect your ability to carry out the assigned course work, please contact the office of Disabled Student Services (DSS), Humanities Building, room 133, telephone 632-6748/TDD. DSS will review your concerns and determine what accommodations may be necessary and appropriate. All information regarding any disability will be treated as strictly confidential.

Students who might require special evacuation procedures in the event of an emergency are urged to discuss their needs with both the instructor and DSS. For important related information, click here.


Illustration: Drawing Hands © 1948 by M.C. Escher. Used here under the educational fair-use provisions of US copyright law. Please do not reproduce this image for non-educational purposes.