A formal presentation of the elements of modern deductive logic; decision and proof procedures in sentential logic and functional logic. Prereq: Math 1075 or equiv, or an ACT Math subscore of 22 or higher that is less than 2 years old. GE quant reason math and logical anly course. GE foundation math and quant reasoning or data anyl course.
A formal presentation of the elements of modern deductive logic; decision and proof procedures in sentential logic and functional logic. Prereq: Math 1075 or equiv, or an ACT Math subscore of 22 or higher that is less than 2 years old. GE quant reason math and logical anly course. GE foundation math and quant reasoning or data anyl course.
