Computer logic Computers Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Programming Languages, Compilers, Interpreters Programming languages (Electronic computers) Software Engineering Software engineering Algorithm Analysis and Problem Complexity Algorithms Computation by Abstract Devices Computer Communication Networks Computer communication systems Computer industry Computer programming History History of Computing History of Science Programming Techniques The Computer Industry The Computing Profession Theory of Computation