Home

Education

Postgraduate course

Modelling of Computing

  • ECTS credits10
  • Teaching semesterSpring, Autumn
  • Course codeINF210
  • Number of semesters1
  • Language

    English

  • Resources

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.

Learning Outcomes

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

Recommended Previous Knowledge

MNF130, DAT103, INF122

Compulsory Assignments and Attendance

Exercises.

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

Grading Scale

The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.

Subject Overlap

I210: 10 ECTS

Contact

Contact Information

studieveileder@ii.uib.no