This document outlines the structure and requirements for a midterm exam covering formal proof techniques. The exam consists of two problem sets, with Problem Set 1 focusing on direct proof, proof by contrapositive, and proof by contradiction for problems 1 through 8. Problem Set 2 involves proof by induction for problems 9 through 10. Students must submit their solutions in an organized Microsoft Excel file with separate sheets for each problem set, showing their work, labels, tables, solutions and conclusions before the specified due date.
This document outlines the structure and requirements for a midterm exam covering formal proof techniques. The exam consists of two problem sets, with Problem Set 1 focusing on direct proof, proof by contrapositive, and proof by contradiction for problems 1 through 8. Problem Set 2 involves proof by induction for problems 9 through 10. Students must submit their solutions in an organized Microsoft Excel file with separate sheets for each problem set, showing their work, labels, tables, solutions and conclusions before the specified due date.
This document outlines the structure and requirements for a midterm exam covering formal proof techniques. The exam consists of two problem sets, with Problem Set 1 focusing on direct proof, proof by contrapositive, and proof by contradiction for problems 1 through 8. Problem Set 2 involves proof by induction for problems 9 through 10. Students must submit their solutions in an organized Microsoft Excel file with separate sheets for each problem set, showing their work, labels, tables, solutions and conclusions before the specified due date.