so I've been teaching Rust and programming in general to a couple of people and my mentee, who just started programming, expressed an interest in learning about algorithms, but they have no math background. and I started helping them with discrete math! I love teaching
Conversation
he got confused regarding all the symbols, so I explained it in terms of the truth value of signals, and he grokked it.
he also asked about universal and existential quantifiers! it's so lovely to see!
1
2
to be clear, he didn't want to understand the applied side of algorithms, but wanted to understand the math behind it and how people actually arrive at them. I thought that teaching discrete math and putting him on that road will be beneficial either way
1
1
but I wouldn't start introducing the math background to a beginner unless they expressed an explicit interest in it, because if someone wants to just program, they don't have to have it. one of my very strong beliefs is that you have to just do a lot of programming to get better.
1
1
anyway I love teaching and I really want to teach one day for money at an university level, thank you for coming to my TED talk
1
2
what's interesting is that in most estonian textbooks the existential and universal quiantifiers are explained in such a dry way that it's no wonder he didn't understand it. they just throw the definitions into the text and don't explain it.
2
2
it's amazing how much easier it is to think of it as a statement for "there exists" and "(for) every..." with examples
1
2
Replying to
Oooh, if you have got to generic functions, then you have an example of universal quantifiers in Rust! Although you can't disentangle them from 'type functions' so it might be a bit confusing… (ie. there's no way to write `<T, ...> -> U` on its own).
Replying to
yeah but I think I also need to go over functions, domains, and codomains with him first because right now he's confused over notation where different quantifiers have been applied to a variable proposition right after one another
2
1
but if I go deeper I feel like I'd want to start math tutoring of sorts or like mathematical foundations for understanding CS or whatever, for a fee.
maybe people will be interested in it
1
1
Show replies