| |
Mar 13, 2026
|
|
|
|
|
Catalog 2025-2026 [ARCHIVED CATALOG]
|
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 Area 1A and 1B and 1C and 2) and (MATH 170 ) with a C- or better)]
General Education: UD2 Math Concepts&Quant Reasoning
Typically Offered: Fall, Spring
Units: 3
|
|
