CST

This is my page about 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

Sample Propositional Logic proof

Description:

I learned about two major methods to approach logic. This first initial method deals with some logic rules and some logical proofs. These can be translated into English sentences, which will follow the logic proof.

Sample First Order Logic proof

Description:

I learned about two major ways to approach logic. This second method deals with adding quantifiers upon previously learned logical proofs. Now these can be translated into English sentences and using ideas like All, Some, or None.

You are viewer number: