Schedule

• Problem Set 5 is due tomorrow, 8:29pm on Thursday, 6 March: [PDF] [Template]

• Here’s the info on the ACM Dinner (with Dave) that Shreyas talked about: 19 March, 6-8 PM, Rice 103 with food from “Lucky Blue’s”. To signup: https://forms.gle/hJTGiWYivWvapRnv5

Class

• Revisiting the Well-Ordered Definition
• Are all ordered finite sets well ordered?

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 5 is due 8:29pm on Thursday, 6 March: [PDF] [Template]

Class

• Well Ordering
• Proofs using the Well Ordering Principle

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 5 is due 8:29pm on Thursday, 6 March: [PDF] [Template]

Class

• Ordering Sets
• Well Ordering
• Proofs using the Well Ordering Principle

10am Section: Sorry the projector didn’t work today, so I didn’t use these slides or have annotations on them: [Slides (PDF)] (look at the slides for the 2pm section for annotated version) [Video]

2pm Section: [Slides (PDF)] [Video]

Test 2 was in class on Wednesday, 26 February.

Schedule

• Test 2 is in class on Wednesday, 26 February. See the Preparation Guide for Test 2 and the solutions that were posted in Discord.
• The TAs will hold a test review on Monday, 24 February from 5:00 pm - 6:30 pm in Olsson 009.

Class

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Test 2 is in class on Wednesday, 26 February. See the Preparation Guide for Test 2.
• If you have problems or topics you would like to be reviewed in Monday’s class, send them to Aidan or Dave by Sunday night.
• The TAs will hold a test review on Monday, 24 February from 5:00 pm - 6:30 pm in Olsson 009.

Class

• Natural numbers from sets
• Operations on the natural numbers: 2+2=4

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Test 2 will be in class on Wednesday, 26 February. This will use the normal class time, so you will have 50 minutes to complete the test. The test will be similar to Test 1, but focused on new content.

This preparation guide has advice on how to prepare for the test, and problems to practice to ensure you can do the things we’ll expect you to be able to demonstrate on the test:

Preparation Guide for Test 2

Schedule

• Problem Set 4 is due tomorrow, 8:29pm on Thursday, 20 February: [PDF] [Template]

Class

• Power sets
• Practice with binary relations and set properties
• Defining the natural numbers unnaturally

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]

Schedule

• Problem Set 4 is due 8:29pm on Thursday, 20 February: [PDF] [Template]

Class

• Reviewing Binary Relations
• Connections between relation properties and set sizes
• Power sets

10am Section: [Slides (PDF)] [Video] (Excursion: Barbara W. Sarnecka, Susan Carey, How counting represents number: What children must learn and when they learn it, Cognition 2008.)
2pm Section: [Slides (PDF)] [Video]

We’ve posted a guide to LaTeX (Overleaf) focused on the most useful things for typesetting DMT1 assignments: Typesetting using Overleaf and LaTeX.