MWF 1:30pm - 2:20pm
TEXT: The course will use an online textbook: "Logic and Proofs." Contact instructor for more details. A preview version is available through https://oli.cmu.edu/jcourse/webui/welcome.do
Elementary symbolic logic. The development, application, and theoretical properties of an artificial symbolic language designed to provide a clear representation of the logical structure of deductive arguments. Offered: AWSpS.
Individuals and Societies (I&S)
Natural World (NW)
Quantitative and Symbolic Reasoning (QSR)
Other Requirements Met:
April 30, 2016 - 2:00am