Discrete Mathematics

This is the CSE 20110 website for the Spring semester of 2023 at the University of Notre Dame. Lecture recordings can be found at the course's Canvas website.

This class will serve as a formal introduction to modern mathematics and its mainstream foundations. We will cover many topics relevant to the subfield of computer science while building a working proficiency with the art of proof-writing.

Lecture Notes
propositional logic	.tex
first-order logic	.tex
set theory	.tex
induction	.tex
complexity theory	.tex
cardinality	.tex
number-theory	.tex

Problem Sets
exercise set 1	.tex
problem set 1	.tex
problem set 2	.tex
problem set 3	.tex
problem set 4	.tex
problem set 5	.tex
problem set 6	.tex
problem set 7	.tex

Course Info.
Instructor	Daniel Gonzalez Cedre
Logistics	calendar syllabus survey
Preambles	preamble definitions environments
Lectures	Mon. Wed. Fri. 11:30 – 12:20
	209 DeBartolo Hall
Office Hours	Tues. 12:00 – 14:00
	Wed. 13:00 – 15:00
	313 Cushing Hall
Recitations	Thurs. 16:00 – 20:00
	209 DeBartolo Hall
Zoom	https://notredame.zoom.us/j/91041048333