University of Michigan EECS 203 Lecture Notes

Rosen, K. H. Discrete Mathematics and its Applications 8th edition

Discrete Mathematics and its Applications 8th edition

http://people.math.gatech.edu/~ecroot/2406_2012/basic_logic.pdf

Propositional Equivalences Worksheet

James Gallicchio. Verified CNF Encodings. Carnegie Mellon Computer Science Department PhD Blog, January 9, 2026. The SAT Definitions section supplies the definitions cited here.

https://www.cs.cmu.edu/~csd-phd-blog/2026/verified-cnf-encodings/

Verified CNF Encodings by James Gallicchio

OpenAI. The Exponential Time Hypothesis is False. Manuscript dated October 17, 2026, revised October 25, 2026. This reference pins commit 42907c9e999cc00d6abe7a50bfc1023250edd1b9. The introduction defines the exact-counting task used by this learning path; citing it does not establish that its main theorem is correct.

https://github.com/openai/math/blob/42907c9e999cc00d6abe7a50bfc1023250edd1b9/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf

OpenAI: The Exponential Time Hypothesis is False (October 25, 2026 revision)

- EECS 203 lecture notes
- Discrete Mathematics and its Applications 8th edition
- Propositional Equivalences Worksheet

University of Michigan - Ann Arbor

The study of mathematical structure as it pertains to quantities that are discrete (not continuous) such as integers, graphs and logic statements

Learn Before

Related

Learn After

Learn After

Related