Jun 01, 2026

2026-2027 Undergraduate Catalog

HELP

2026-2027 Undergraduate Catalog

Computational Logic Minor

Print Degree Planner (opens a new window) |

(Minor Code: M116)

This minor is offered in partnership by the College of Engineering 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:

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

Back to Top | Print Degree Planner (opens a new window) |