MATH courses at or above 350 and below 600, other than those listed above

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 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

CSE 482 - Logic In Computer Science

Back to Requirements for the Major