Today was my third Discrete Math class. I like my teacher because he ties the material to computer science topics. One issue I had with calculus in college is that it seemed very abstract, and I couldn’t see why it was useful. Gratefully, my teacher makes these connections, which makes the material more interesting.
Today we discussed predicates and quantifiers. This type of logic (predicate logic) was quite familiar to me as a lawyer, whereas the propositional logic we studied in the prior chapters bothered me on some level because it seemed incomplete.
We translated statements with global and universal quantifiers into English, and vice-versa. Then, we talked about how this applied to loops and conditionals in programming. The way of thinking that we are learning in class is making me more efficient in terms of how I think about software design. Winning!!!