KEITH DEVLIN

Date

Introduction to Mathematical Thinking (Spring 2015)

Video release

What else happens

Release times: Lec 10:00AM, Tut 9:00AM (US-PST)

WEEK 1
Sat 2/14
Mon 2/16
Tue 2/17

Lecture 0 - Welcome (8:41)

Lecture 1 - Introduction (29:23)
Lecture 2 - Logical Combinators (26:54)

Two background readings, team discussion (video), start to view the iTunes videos
Release of Assignment 1
Release of Assignment 2, opening of Problem Set 1 (on Lectures 1,2)

WEEK 2
Mon 2/23
Mon 2/23
Tue 2/24

Tutorial on Assignments 1, 2 & Problem Set 1

Lecture 3 - Implication (31:40)
Lecture 4 - Equivalence (24:34)

Deadline for Problem Set 1 (9:00AM PST)

Release of Assignment 3 COMPLETE THIS BEFORE WATCHING LECTURE 4!
Release of Assignment 4, opening of Problem Set 2 (on Lectures 3,4)

WEEK 3
Mon 3/2
Tue 3/3

Tutorial on Assignments 3, 4 & Problem Set 2

Lecture 5 - Quantifiers (29:54)

Deadline for Problem Set 2 (9:00AM PST)

Release of Assignment 5, opening of Problem Set 3 (on Lecture 5)

WEEK 4
Mon 3/9
Tue 3/10

Tutorial on Assignment 5 & Problem Set 3

Lecture 6 - Working w Quantifiers (15:44+28:42)

Deadline for Problem Set 3 (9:00AM PST)

Release of Assignment 6, opening of Problem Set 4 (on Lecture 6)

WEEK 5
Mon 3/16
Tue 3/17

Tutorial on Assignment 6 & Problem Set 4

Lecture 7 - Proofs (22:26+24:15)

Deadline for Problem Set 4 (9:00AM PST)

Release of Assignment 7, opening of Problem Set 5 (on Lecture 7)

WEEK 6
Mon 3/23
Tue 3/24

Tutorial on Assignment 7 & Problem Set 5

Lecture 8 - Proofs w Quantifiers (35:56+22:00)

Deadline for Problem Set 5 (9:00AM PST)

Release of Assignment 8, opening of Problem Set 6 (on Lecture 8)

WEEK 7
Mon 3/30
Tue 3/31

Tutorial on Assignment 8 & Problem Set 6

Lecture 9 - Number Theory (22:01+25:31)

Deadline for Problem Set 6 (9:00AM PST)

Release of Assignment 9, opening of Problem Set 7 (on Lecture 9)

WEEK 8
Mon 4/6
Tue 4/7

Tutorial on Assignment 9 & Problem Set 7

Lecture 10 - Real Analysis (27:11+26:08+20:29)

Deadline for Problem Set 7 (9:00AM PST)

Release of Assignment 10, opening of Problem Set 8 (on Lecture 10)

WEEK 9
Mon 4/13
Tue 4/14

Tutorial on Assignment 10 & Problem Set 8

TEST FLIGHT BEGINS (Stage 1: Do Problem Set)

Deadline for Problem Set 8 (9:00AM PST), End of Basic Course

Opening of Test Flight Problem Set (9:00AM PST)

Test Flight evaluation exercises begin (8:00PM PST)

Stage 2: Complete three evaluation exercises
Test Flight peer evaluation begins (8:00PM PST)
Stage 3:Complete three or more peer evaluations
Stage 4: Complete self evaluation
Test Flight completion deadline (6:00PM PST)
Results computed (see website for exact time of release)

Deadline for Test Flight Problem Set (8:00PM PST)

View associated tutorial videos

WEEK 10
Sun 4/19
Tue 4/21

Sat 4/25
Mon 4/28

Computation of final points totals commences

Creation of certificates, collapse onto floor, drink champagne

TIMETABLE