this post was submitted on 26 Feb 2024
53 points (100.0% liked)
Chat
7508 readers
28 users here now
Relaxed section for discussion and debate that doesn't fit anywhere else. Whether it's advice, how your week is going, a link that's at the back of your mind, or something like that, it can likely go here.
Subcommunities on Beehaw:
This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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