Modelling of Computing
Postgraduate course
- ECTS credits
- 10
- Teaching semesters
- Autumn
- Course code
- INF210
- Number of semesters
- 1
- Teaching language
- English
- Resources
- Schedule
Course description
Objectives and Content
Objectives:
Give the student insight in models that form the basis for computing.
Content
An overview is given of methods for generating and recognising formal languages (grammars, automata, Turing machines) and their relation to computation is explained.
Learning Outcomes
On completion of the course the student should have the following learning outcomes defined in terms of knowledge, skills and general competence:
Knowledge
The student
- can the definitions of formal models for languages, automata and Turing machines,
- knows the most important theorems and proofs relating these,
- knows the relationships of the models according to their expressive power, and
- knows problems computers never will be able to solve.
Skills
The student
- masters formalisms for defining models of computing,
- can prove properties of such models.
General competence
The student
- can solve a varied set of problems within the field,
- can communicate independent work and masters language and terminology of the academic field, and
- can communicate about academic issues, analyses and conclusions in the field, both with specialists and the general public.
ECTS Credits
Level of Study
Semester of Instruction
Required Previous Knowledge
Recommended Previous Knowledge
Credit Reduction due to Course Overlap
LING123: 5 SP
Access to the Course
Teaching and learning methods
Compulsory Assignments and Attendance
The compulsory assignments have to be passed.
The assignments are valid two semesters: the semester when they are approved and the succeeding semester.
Forms of Assessment
Portfolio assessment. The portfolio consists of hand-ins and oral exam. Hand-ins and oral exam must be passed as both elements assess the course's learning outcome. The weighting is announced on mittuib at the start of the semester. The portfolio can due to oral exam not be regraded.
In semester with no teaching, the exam will be early in the semester. The results from portfolio will be included.