Computer logic Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Algorithm Analysis and Problem Complexity Algorithms Computation by Abstract Devices Computers Architecture, Computer Computer Hardware Computer System Implementation Computer hardware Computer programming Computer science—Mathematics Discrete Mathematics in Computer Science Programming Techniques Special Purpose and Application-Based Systems Special purpose computers Theory of Computation