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
 

our plumbing is finally fixed, so that's nice

you are viewing a single comment's thread
view the rest of the comments
[–] 33550336@beehaw.org 5 points 9 months ago (1 children)

I like logic too, the proofs at the beginning can be done almost exclusively by truth tables and de Morgan laws (at least at Introductory level course). Anyway, best luck and fun from it!

[–] 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