Artificial Intelligence Artificial intelligence Computer logic Logics and Meanings of Programs Software engineering Application software Computer Appl. in Administrative Data Processing Computer programming Computer science—Mathematics Database Management Database management Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Mathematical logic Programming Techniques Software Engineering Software Engineering/Programming and Operating Systems