Discrete Structures

Spring Semester, 2024

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

Notices

Lecture video recordings

Video recordings of all the lectures are posted on YouTube here.

Text

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

Downloads

Download theorem reference document.
Download TeX source of theorem reference document.
Download Chapter 12 slides of A Logical Approach to Discrete Math.
Download Chapter p slides of A Logical Approach to Discrete Math.
Download Chapter 14 slides of A Logical Approach to Discrete Math.
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.

Assignments

Complete assignment list

Assignment 1
Video lectures 1, 2, 3
Due Thursday, January 11

Martin Luther King Jr. Day, no class
Monday January 15

Assignment 2
Video lecture 4
Due Thursday, January 18

Assignment 3
Video lectures 5, 6
Due Monday, January 22

Assignment 4
Video lecture 7
Due Thursday, January 25

Assignment 5
Video lectures 8, 9
Due Monday, January 29

Assignment 6
Video lectures 10
Due Thursday, February 1

Deriving sequential compositions

Assignment 7
Video lectures 11, 12
Due Monday, February 5

Assignment 8
Video lectures 13, 14
Due Thursday, February 8

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

Assignment 9
Video lectures 15, 16
Due Monday, February 19

Assignment 10
Video lectures 17, 18
Due Thursday, February 22

Spring break
Monday February 26 - Friday March 1

Proof of (14.22)

Assignment 11
Video lecture 19
Due Monday, March 4

Visualizing relations

Assignment 12
Video lecture 20
Due Thursday, March 7

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

Assignment 13
Video lectures 21, 22
Due Monday, March 11

Assignment 14
Video lecture 23
Due Thursday, March 14

Assignment 15
Video lectures 24, 25
Due Monday, March 18

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

Assignment 16
Video lectures 26, 27
Due Thursday, March 28

Assignment 17
Video lecture 28
Due Monday, April 1

Assignment 18
Video lectures 29, 30
Due Thursday, April 4

Assignment 19
Video lecture 31
Due Monday, April 8

Assignment 20
Video lectures 32, 33
Due Thursday, April 11

Notice
Friday, April 12, last day to withdraw with grade of WP/WF.

Assignment 21
Video lectures 34, 35
Due Monday, April 15

Assignment 22
Video lectures 36, 37
Due Thursday, April 18

Final
Video lectures 38, 39
Tuesday, April 23, 7:30 a.m. - 10:00 a.m.
Cumulative.
Most 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.