Modelling of Computing
Semester of Instruction
Irregular. Next time spring 2018.
Objectives and Content
The course covers models of computation that form the basis of modern computers. An overview is given of methods for generating and recognising formal languages (grammars, automats, Turing machines) and their relation to computation is explained.
After completion of INF210 one is supposed to know formal models of computing, including formal languages, finite automata and Turing machines. Models are compared with regards to their expressive power, underscoring the existence of problems computers never will be able to solve.
Required Previous Knowledge
At least 60 ECTS in computer science, preferably including some mathematics
Compulsory Assignments and Attendance
Obligatory activities are valid for two semesters.
Forms of Assessment
Written exam. It is opportunity for grades on exercises, which can be included in the final grade. If less than 20 students are taking the course, it can be an oral exam.
No aids allowed
The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.
I210: 10 ECTS