Computer science—Mathematics Computers Theory of Computation Computer logic Computer programming Data Structures and Information Theory Data structures (Computer science) Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Mathematics of Computing Programming Languages, Compilers, Interpreters Programming Techniques Programming languages (Electronic computers) Symbolic and Algebraic Manipulation