A mathematical proof is a deductive argument that uses axioms, theorems and accepted rules of inference to logically guarantee a conclusion. It must demonstrate that the statement is true in all possible cases, rather than just presenting many cases in which it holds. Proofs employ logic expressed in both mathematical symbols and natural language, and can be formal or informal.
University of Washington
Autumn 2021
CSE 311 introduces theoretical computer science, the theory background necessary for other CSE courses, and how to construct rigorous, formal arguments. Topics include logic, set theory, modular arithmetic, induction, regular expression, and relations.
No concepts data
+ 33 more concepts