this post was submitted on 26 Feb 2024
53 points (100.0% liked)

Chat

7499 readers
9 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
 

our plumbing is finally fixed, so that's nice

you are viewing a single comment's thread
view the rest of the comments
[โ€“] [email protected] 4 points 8 months ago (1 children)

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 ๐Ÿ˜…

[โ€“] [email protected] 5 points 8 months ago

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