92.330 Symbolic Logic

Symbolic Logic

Course Details
Min Credits 3
Max Credits 3
Course ID 8323
Status Active

This course is an introduction to symbolic logic. Symbolic logic provides a solid foundation in formal reasoning for students preparing for further study in mathematics, linguistics,cognitive science, computer science or philosophy. Topics include propositional logic, first-order logic and systems of deduction. Tarski's notion of model, and the completeness and incompleteness theorems of Godel. Prerequisite: 92.321.

Pre/Co-Requisites: Pre-Req: 92.131 Calculus I.