> Also, when I say abstract math, I think I’m really just looking to learn > the topics in an introductory discrete math course. I want to learn about > set theory, which includes Cartesian products, families of sets, functions, > and relations. I ultimately would like a system that I could use to verify > proof problems from a graph theory or algorithms text. I’m pretty sure what > I’m looking to learn might actually be formal logic. Does this change your > opinion about what I should be using? >
In that case, your choice of using formal systems to learn about logic looks just right to me. In addition to what Mario suggested above, did you look at Lean and Coq learning resources? There are a lot of online books about logic and software foundations. Also, I wouldn't discount some logic puzzles, like natural number game if you didn't try it out yet. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/76931967-1b18-404d-afd7-7dc390f287d8n%40googlegroups.com.
