Log in with Facebook to participate in the Q&A.
An examination of classical propositional logic, covering proof methods, expressive completeness, soundness, and completeness. Also introduction to quantificational logic.
In class quizzes, no assignments, no midterms, no exam. Straightforward class, easy to get. 2 of your worst grades will be dropped. Only downside is the quizzes aren't marked out of a lot so every mistake is painful but it's your responsibility to avoid those anyway, which is easy in this class. Prof is Steven Weinstein.
Added by Anonymous on 2010-10-31 00:57:05