Thanks! I’m just beginning to learn about types of proofs, I think this course just provides an overview of some common ones (I learned proofs by exhaustion, proofs by counterexample and direct proofs today). Hard work, thinking through the processes 😅
Thanks! I’m just beginning to learn about types of proofs, I think this course just provides an overview of some common ones (I learned proofs by exhaustion, proofs by counterexample and direct proofs today). Hard work, thinking through the processes 😅
You probably know it, but just in case, for me one of the best books (very nicely explaining) is Rossi: https://books.google.pl/books/about/Theorems_Corollaries_Lemmas_and_Methods.html?id=kSwVGbBtel8C&redir_esc=y