Skip to main content

Basic Models of Computation (3 cr)

Code: LTD7009-LTB21M1

General information


Enrollment

01.10.2020 - 31.10.2020

Timing

01.01.2021 - 14.03.2021

Number of ECTS credits allocated

3 op

Mode of delivery

Contact teaching

Campus

Wärtsilä Campus Karjalankatu 3

Teaching languages

  • Finnish

Seats

20 - 60

Degree programmes

  • Degree Programme in Business Information Technology

Teachers

  • Mikko Anttonen

Teacher in charge

Mikko Anttonen

Groups

  • LTDNS19
    Information Technology (BBA), Full-time Studies, Fall, 2019

Objective

Theoretical modeling of computational problems and their solutions, restricted to fundamental methods of describing and validating data in practical software work (that is, lexical analysis and parsing): Finite automata and regular languages, pushdown automata and context free languages.

Content

Grasp of the basics of theoretical computer science.
Obtaining abilities in using techniques to generate and recognize regular languages and context-free languages.
Understanding of the basics of computability and decidability, the Church-Turing thesis and their fundamental justifications and implications.

Evaluation scale

H-5

Qualifications

Introduction to Computing, Data Structures and Algorithms I, Discrete Structures

Further information

Course evaluation: course exam or its re-take 80%, exercises done 20%. General exams do not take exercises into account