Mar 28, 2024  
Catalog 2022-2023 
    
Catalog 2022-2023 [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  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