CSC 240

Theory of Computation

Lab 04 - Proof Problems 2

In this assignment, you will write formal proofs to prove several theorems. You'll write your proofs in LaTeX format, using this template.

Notes:

\begin{equation}
\label{frac}
\frac{3}{4} = \frac{6}{8}
\end{equation}

Submission

To submit your assignment, render your LaTex file into a .pdf. Then, put the .tex and .pdf files into a .zip file and upload that zip file to mySVU.