Chat

7499 readers

7 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:

AskBeehaw

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

how's your week going, Beehaw (beehaw.org)

submitted 8 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 1 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 😅

[–] 33550336@beehaw.org 2 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