| |
Dec 21, 2024
|
|
|
|
|
CST 329 - Reasoning with Logic
In this course students learn to develop skill in using logic to describe and assess arguments. Students will learn to write formulas in propositional and first-order logic, and more importantly, to write and check proofs. Students will also learn to write formulas in three-valued and modal logic, know how to choose an appropriate logic, and understand the limitations of logic in capturing human reasoning.
Prerequisite(s)/Corequisite(s): [(Prereq: (GE Areas A1 and A2 and A3 and B4) and (MATH 170 ) with a C- or better)]
General Education: UDB Integrated Scientific Inquiry and Quant Reason
Typically Offered: Fall, Spring
Units: 3
|
|
