Title: Foundations of Information and Knowledge Systems
Subjects: Mathematical Logic and Formal Languages, Computational complexity, Discrete Mathematics in Computer Science, Computer software, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Mathematics of Computing, Artificial intelligence, Computer science