Artificial Intelligence Artificial intelligence Computer logic Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Software Engineering Software engineering Algorithm Analysis and Problem Complexity Algorithms Computer programming Computer science—Mathematics Discrete Mathematics in Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Programming languages (Electronic computers)