LGIC 310 - Logic I

LGIC 320 - Logic II

MATH 210 - Mathematics in the Age of Information

MATH courses at or above 350 and below 600

PHIL 411 - Recursion Theory

PHIL 412 - Topics in Logic

PHIL 413 - Set Theory

PHIL 414 - Philosophy of Mathematics

PHIL 416 - Model Theory

PHIL 445 - Modal Logic

LING 548 - Proof Theoretic Foundations of Linguistic Structure

LING 549/CSE 477 - Mathematical Techniques for Language Processing

LING 553 - Formal Semantics I

LING 554 - Formal Semantics II

CSE 120/130 - Programming Languages and Techniques I

CSE 121/131 - Programming Languages and Techniques II

CSE 320 - Algorithms

CSE 331 - Introduction to Networks and Security

CSE 334 - Advanced Topics in Algorithms

CSE 340 - Principles of Programming Languages

CSE 360 - Logic and Computation

CSE 391 - Introduction to Artificial Intelligence

CSE 398 - Quantum Computer and Information Science

Back to Requirements for the Minor