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