Discrete Structures

Spring Semester, 2020

Math 221: Syllabus
Instructor: Stan Warford
Office: RAC 112
Office hours: Mon (11:00-11:50), Tues (9:00-9:50), Thurs (1:00-1:50), Fri (11:00-11:50), and by appointment
Email: Message to Warford

A1, A2, A3, A4, A5, A6, A7, A8, Test 1
A9, A10, A11, A12, A13, A14, A15, Test 2
A16, A17, A18, A19, A20, A21, A22, A23, Final



A Logical Approach to Discrete Math, Gries and Schneider, Springer-Verlag, 1994.


Download equation reference document.
Download TeX source of equation reference document.
Download Chapter 3 of Design Patterns for Data Structures.
Download Chapter 3 slides of Design Patterns for Data Structures.
Download C.A.R. Hoare retrospective and original paper on the Hoare triple.
Download article on how Amazon uses formal methods.

Intellectual property

You are free to use the material I produce in this course without my explicit permission.
License: Creative Commons, Attribution-ShareAlike (CC BY-SA)

See: https://creativecommons.org/licenses/ for license details.

Video recording

The materials for this course – including video recordings of all the lectures, the assignments, and the lecture slides – are posted on iTunes U. On an iOS device (iPhone or iPad), this link takes you to the course in the iTunes U app.

You can also view just the lectures directly in your browser here.

The recordings may be used, reproduced, exhibited or distributed in any medium for any purpose that the University and those acting pursuant to its authority, deem appropriate. The University does hold a traditional copyright for the lecture video recordings.


Complete assignment list

Assignment 1
Due Thursday, January 16

Assignment 2
Due Thursday, January 23

Assignment 3
Due Monday, January 27

Assignment 4
Due Thursday, January 30

Assignment 5
Due Monday, February 3

Assignment 6
Due Thursday, February 6

Assignment 7
Due Monday, February 10

Assignment 8
Due Thursday, February 13

Test 1
Monday, February 17
Chapters 10, 12, Programs including (p.1) - (p.27)

Assignment 9
Due Thursday, February 20

Assignment 10
Due Monday, February 24

Proof of (14.22)

Assignment 11
Due Thursday, February 27

Visualizing relations

Assignment 12
Due Monday, March 9

Assignment 13
Due Thursday, March 12

Monday, March 16, last day to withdraw with grade of W.

Assignment 14
Due Monday, March 16

Assignment 15
Due Thursday, March 19

Test 2
Monday, March 23
Programs including (p.28) - (p.31), Chapter 14.1 - 14.3

Assignment 16
Due Thursday, March 26

Assignment 17
Due Monday, March 30

Assignment 18
Due Thursday, April 2

Assignment 19
Due Monday, April 6

Assignment 20
Due Thursday, April 9

Assignment 21
Due Monday, April 13

Assignment 22
Due Thursday, April 16

Friday, April 17, last day to petition to withdraw with grade of WP/WF.

Assignment 23
Due Monday, April 20

Tuesday, April 28, 7:30 a.m. - 10:00 a.m.
One half of the final will be from the material since Test 2, namely Chapter 14 from page 292, (14.51) - (14.54), Growth of functions, (g.1) - (g.12), 15.4 gcd, 16.1, 16.3, 19.1 - 19.5.