Logical and Computational Thinking

Description

This course provides an introduction to propositional logic, including truth tables, truth trees, and natural deduction, with an emphasis on the application of logic to the evaluation of arguments expressed in natural language. This course also covers full first-order predicate logic, with an emphasis on logical evaluation of arguments expressed in natural language. First-order logic topics include translation, truth trees, deduction trees, sorted logic, identity, and modal operators.

Pre-requisites

Pre-for

Co-requisites

⇦ Back to Courses