Originally posted by Paul Heckman:
Isn't Differential Equations the most challenging level of mathematics listed in the quiz? (Took that course with Dr. Hamburger as the instructor at OSU.)
Originally posted by Michael Ernest:
Maybe the quiz assumes later courses imply more difficult concepts?
Originally posted by Ellen Zhao:
I'm not sure what the "theory and logic" concretely is in the quiz. Generally, discrete math is more difficult than non-discrete. Above linear algebra there's abstract algebra which, normally has contents like set theory, graph theory, number theory...Many fancy encoding algorithms are usually interleaving/non-linear, requires knowledge in abstract algebra to understand and implement. Algebra structure deals with computability and complexicity, which I feel is one of the most difficult parts in computer science. The formalisation of real-world, non-directly-mathematic problems is the task of formal logic. When problems are formalised with formal logic or dynamic logic (formal logic plus time), then the decidedness, completeness, uniqueness and efficiency of the solution can be mathematically proved or examed with things like deduction system. For relatively small-scale software system, good gut feel and experience are enough to keep the entropy low. But for large-scale software system, people had better resort to theoreticans and get some solid mathematical proof/exam on the architecture and algorithms...In fact things like time-prooved design patterns and enterprise architectures are nothing but good encapsulations for algebra structures.
I'm not sure which order of the logic the quiz is intended to exam. Things like truth value table is the most basic in the formal logic thus not that difficult. But when things go further, all the algebra structures like Hoare Calculus, Herbrand Universe, etc, etc are therein, one really needs hard work to get things straight.