theory

CS 220

Discrete Mathematics

CS 310

Principles of Programming Languages

CS 440

Database Design and Theory