Search Results

This course will provide an introduction to mathematical proofs and the art of reading, writing, and debugging proof attempts including mathematical notations, proof and counterexample generation methods and strategies. It will develop the rigor and precision needed to establish and refute mathematical conjectures and reason about the correctness of programs.

Prerequisite(s): CSCI 2030 as corequisite.