Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
4
5
Review 9:30 am
Review
Apr 5 @ 9:30 am – 10:30 am
6
7
Midterm 3 (8.7, 9.1-9.5) 9:30 am
Midterm 3 (8.7, 9.1-9.5)
Apr 7 @ 9:30 am – 10:30 am
Logic seminar: Jack Yoon 2:30 pm
Logic seminar: Jack Yoon @ Keller 404
Apr 7 @ 2:30 pm – 3:20 pm
The Logic Seminar will meet again this Friday, usual place and time. The speaker will be Jack Yoon. Title: Proof Mining Abstract: Proof mining (proof unwinding) is a technique used to extract constructive information from[...]
8
9
11
12
16.1 9:30 am
16.1
Apr 12 @ 9:30 am – 10:30 am
Due: 9.6, 9.7, 9.8, 9.9 9:30 am
Due: 9.6, 9.7, 9.8, 9.9
Apr 12 @ 9:30 am – 10:30 am
13
14
15
16
17
Week 13 starts
Week 13 starts
Apr 17 all-day
16.2 (theory) 9:30 am
16.2 (theory)
Apr 17 @ 9:30 am – 10:30 am
18
20
22
23
24
Week 14 starts
Week 14 starts
Apr 24 all-day
17.1 9:30 am
17.1
Apr 24 @ 9:30 am – 10:30 am
25
27
28
10.2 (graphing r=f(theta)) 9:30 am
10.2 (graphing r=f(theta))
Apr 28 @ 9:30 am – 10:30 am
Logic Seminar: Jack Yoon 2:30 pm
Logic Seminar: Jack Yoon @ Keller 404
Apr 28 @ 2:30 pm – 3:30 pm
Jack Yoon will continue his explication of Proof Mining.
29
30