MATH.3300 Symbolic Logic (Formerly 92.330)

Id: 008323 Credits: 3-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

Course prerequisites/corequisites are determined by the faculty and approved by the curriculum committees. Students are required to fulfill these requirements prior to enrollment. For courses offered through online or GPS delivery, students are responsible for confirming with the instructor or department that all enrollment requirements have been satisfied before registering.