MAT 200. Logic, Language and Proof
Fall 2022.
Lecture 2

• This is the webpage for MAT200.Lec2. The first few lectures will be joint with MAT250. After the first midterm is graded, we will make recommendations on who should stay in MAT200 and who should move up to MAT250. Those recommendations will be based on your performance on the first midterm and the homework to that date.
• Instructor: Raanan Schul (Follow link for office hours. They will be via Zoom.)
• Grader: Karina Cho and Matthew Huynh . (Matthew will be moving to MAT250 after the split)
• Class meets TuTh 1:15am-2:35am @Library W4535.
• Prerquisits: Level 4 on the mathematics placement examination or equivalent course or permission of the instructor
• Description: A basic course in the logic of mathematics, the construction of proofs and the writing of proofs. The mathematical content is primarily logic and proofs, set theory, combinatorics, functions and relations. There is considerable focus on writing. May not be taken for credit in addition to MAT 250.
• Textbook: An Introduction to Mathematical Reasoning: Numbers, Sets and Functions by Peter Eccles
• READ THE BOOK. You are fully expected to read and understand the book as we go along.
• Homework will be updated weekly. The homework page also contans the week-by-week Syllabus.
• We will be using BrightSpace and GradeScope.

• There will be 2 or 3 (TBD) midterms and a final. See week-by-week Syllabus.
• Grading policy
• Please read the information here.
• undergrad advising
• The MLC is a great place to get help.