Skip to Main Content

MATH.3300 Symbolic Logic (Formerly 92.330)

Id: 008323 Credits Min: 3 Credits Max: 3

Description

An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include propositional logic, boolean algebras and rings, first-order logic and systems of deduction. Time permitting, we will touch on Tarski's notion of model, and the completeness and incompleteness theorems of Godel.

Prerequisites

MATH.1310 Calculus I, and MATH.2190 Discrete Structures I.

View Current Offerings