Theoretical Computer Science

Volledige vakbeschrijving

Theoretical Computer Science introduces the students to the theoretical foundation of computing. The course investigates the working of algorithms and programs in the form of language recognition problems. A broad spectrum of subjects will be discussed, including, mathematical foundations, alphabets and languages, finite automata, regular and context-free languages, and complexity. Although most of these concepts are very theoretical they still influence modern hardware and software system design today. After completing this course students will be able to judge whether a problem is solvable or not. In the case a problem is solvable the student will be able to determine the computational complexity of a problem. The student will also be able to judge the computational complexity of a problem, and classify this problem within a hierarchy.