Computational Logic Minor

(Minor Code: M116)

This minor is offered in partnership by the School of Engineering, Computer Science and Mathematics and the Department of English, Philosophy and Modern Languages.

Computational Logic Minor Requirements:

Eighteen hours in a combination of philosophy, math, and computer science courses. At least nine hours must be advanced and three hours in residence.

Required courses:

PHIL 1301 - Introduction to Philosophy 3
PHIL 2303 - Logic 3
PHIL 3304 - Logic II 3

The remaining nine hours may be taken from the following courses:

MATH 2321 - Discrete Structures I 3 (cross-listed with CS 2321 )
MATH 2322 - Discrete Structures II 3 (cross-listed with CS 2322 )
MATH 3325 - Introduction to Proofs 3
CS 3305 - Data Structures and Algorithms 3