Undergraduate
Online Academic Catalog
Symbolic Logic
Quick Links
92.330
Course ID: 008323
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.
Credits: 3
Pre-Req: 92.131 Calculus I.