...I am currently in Math 341 Introduction to Analysis, another proofs class involving statements concerning the set of real numbers. Finally I am also currently enrolled in CS 236 Discrete Structures which is a: Introduction to grammars and parsing; predicate and propositional logic; proof techniq... (read more)