Computer logic Logics and Meanings of Programs Mathematical Logic and Foundations Mathematical logic Architecture, Computer Artificial intelligence Computer System Implementation Computer science—Mathematics Discrete Mathematics in Computer Science Logic Logic Design Logic design Logic in AI Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming languages (Electronic computers) Software Engineering Software engineering Special Purpose and Application-Based Systems Special purpose computers Symbolic and Algebraic Manipulation