Formal Proof; Understanding, Writing and Evaluating Proofs

In this module, we present formal proofs, a research strategy with applica-tions to several research fields in computing, engineering and exact sciences in general. Formal proofs use known facts and the deduction rules of logic to reach con-clusions. As proofs are based on logics and mathematics, the conclusion of a proof is completely certain. ................
................