## Discrete Structures

## Spring Semester, 2019

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

### Text

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

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: http://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 10

Assignment 2

Due Monday, January 14

Assignment 3

Due Thursday, January 17

Assignment 4

Due Thursday, January 24

Assignment 5

Due Monday, January 28

Assignment 6

Due Thursday, January 31

Assignment 7

Due Monday, February 4

Assignment 8

Due Thursday, February 7

Test 1

Monday, February 11

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

Assignment 9

Due Thursday, February 14

Assignment 10

Due Monday, February 18

Proof of (14.22)

Assignment 11

Due Thursday, February 21

Visualizing relations

Assignment 12

Due Monday, March 4

Assignment 13

Due Thursday, March 7

Notice

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

Assignment 14

Due Monday, March 11

Assignment 15

Due Thursday, March 14

Test 2

Monday, March 18

Programs including (p.28) - (p.31), Chapter 14.1 - 14.3

Assignment 16

Due Thursday, March 21

Assignment 17

Due Monday, March 25

Assignment 18

Due Thursday, March 28

Assignment 19

Due Monday, April 1

Assignment 20

Due Thursday, April 4

Assignment 21

Due Monday, April 8

Assignment 22

Due Thursday, April 11

Notice

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

Assignment 23

Due Monday, April 15

Final

Tuesday, April 23, 7:30 a.m. - 10:00 a.m.

Cumulative.

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.