Skip to main content\(\newcommand{\e}{\varepsilon}
\renewcommand{\phi}{\varphi}
\newcommand{\ds}{\displaystyle}
\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\cA}{{\cal A}}
\newcommand{\cB}{{\cal B}}
\newcommand{\cC}{{\cal C}}
\newcommand{\cG}{{\cal G}}
\newcommand{\cO}{{\cal O}}
\newcommand{\cP}{{\cal P}}
\newcommand{\cN}{{\cal N}}
\newcommand{\cM}{{\cal M}}
\newcommand{\s}{$\sigma$}
\newcommand{\p}{\parallel}
\newcommand{\defeq}{\mathrel{\mathop:}=}
\newcommand{\dom}{\operatorname{Dom}}
\DeclareMathOperator{\Dyck}{Dyck}
\newcommand{\codom}{\operatorname{Codom}}
\newcommand{\range}{\operatorname{Rng}}
\newcommand{\blank}{\underline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }}
\DeclareMathOperator{\TL}{TL}
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\Tr}{Tr}
\DeclareMathOperator{\pk}{pk}
\DeclareMathOperator{\coins}{coins}
\DeclareMathOperator{\SYT}{SYT}
\newcommand{\multiset}[1]{\{\!\!\{#1 \}\!\!\}}
\newcommand{\euler}[2]{
\displaystyle \left\langle\begin{matrix}#1 \\#2 \end{matrix}\right\rangle}
\newcommand{\stirling}[2]{
\displaystyle \left\{\begin{matrix}#1 \\#2 \end{matrix}\right\}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Introduction to Discrete Mathematics
Dana C. Ernst and John W. Hagood
Department of Mathematics and Statistics
Northern Arizona University
Flagstaff, AZ, USA
dana.ernst@nau.edu
July 5, 2026
