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

Chat

7498 readers
46 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
alyaza@beehaw.org
remington@beehaw.org
53
how's your week going, Beehaw (beehaw.org)
submitted 9 months ago by alyaza@beehaw.org to c/chat@beehaw.org
67 comments fedilink hide all child comments
 

our plumbing is finally fixed, so that's nice

you are viewing a single comment's thread
view the rest of the comments
[โ€“] SmoochyPit@beehaw.org 4 points 9 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 ๐Ÿ˜…

[โ€“] 33550336@beehaw.org 5 points 9 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