Mathematics 243

Aug 21

NO CLASS

Aug 23

Set. Sets and elements (1)
slides

Pg 9: 1-16, due 8/25

Aug 25

Expressions and types (2)

Pg 17: 1,2, 4, due 8/28
Pg 17: 5-9, due 8/30

Aug 28

Set operations (3)

Pg 24: 1-10, due 8/30
Two-set exercises
Three-set exercises

Aug 30

Tuples and lists (4)

Pg 17: 3
Pg 32: 1-15, due 9/1

Sept 1

Logic. Propositions and forms (5)

Pg 41: 1-13, due 9/6

Sept 4

NO CLASS

Sept 6

Conditionals (6)
slides

Pg 41: 14-18; Pg 48: 1-19, due 9/8

Sept 8

Argument forms (7)

P 53: 1-11, except 6, due 9/11

Sept 11

Predicates and quantifiers (8)

Pg 60: 1-6, due 9/13

Sept 13

Multiple quantification (9)

Pg 69: 1-7, due 9/15

Sept 15

Representing predicates (9)

Pg 69: 8-11, due 9/18

Sept 18

Review

Sept 20

TEST

Sept 22

Proof. Subset proofs (10)

Pg 78: 2-7, due 9/25

Sept 25

Set equality and emptiness proofs (11)

Pg 81: 6-10 and 20, due 9/27

Sept 27

Conditional proofs (12)

Pg 81: 13, 15, 18, 22
Pg 87: 1, 2, 4; due 9/29

Sept 29

Finishing set proofs; integer proofs

Pg 87: 3, 5-10; due 10/2

Oct 2

Algorithm. Algorithms (14)

Pg 100: 1-4; due 10/4

Oct 4

Powerset Party!
slides

Pg 87: 6 (try it again); due 10/6

Oct 6

Induction (15)
slides

Pg 107: 1-6; due 10/9

Oct 9

Correctness of algorithms (16)
slides

Pg 114: 1-3; due 10/11

Oct 11

From theorems to algorithms (17)
slides

Pg 120: 3-6; due 10/13

Oct 13

Recursive algorithms (18)

Pg 125: 1-9; due 10/27

Oct 16

NO CLASS

Oct 20

Review
Review sheet

Oct 20

TEST

Oct 23

NO CLASS

Oct 25

NO CLASS

Oct 27

Relation. Relations (19)
slides

Pg 133: 1-7, due 10/30
Two-set exercises
One-set exercises

Oct 30

Property of relations (20)

Pg 140: 1-4, 8-10, 12-14

Nov 1

Closures (21)
slides

Pg 140: 15-17; pg 148: 1-4.

Nov 3

Partial orders (22)

Pg 153: 1-6, 16-18

Nov 6

Function. Functions (23)

Pg 162: 1-5. Due 11/8
Function exercises

Nov 8

Images (24)

Pg 166: 5, 6, 9, 10, 11

Nov 10

Function properties (25)

Pg 166: 12, 13. Pg 170: 1-4, 8

Nov 13

Function composition (26)

Pg 176: 1-3, 5-7, 9

Nov 15

Review

Nov 17

TEST

Nov 20

Go over test

Nov 22

NO CLASS

Nov 24

NO CLASS

Nov 27

Program. Recursion revisited (28)

Pg 188: 1-4

Nov 29

Recursive types (29)

Pg 195: 1-7

Dec 1

Snow

Dec 4

Fixed-point iteration (30)

Dec 6

Combinatorics (31) and function and relation proofs review

Dec 8

General review