Basic Models of ComputationLaajuus (4 cr)
Code: DT10062
Credits
4 op
Teaching language
- Finnish
Responsible person
- Mikko Anttonen
Objective
You can theoretically model a variety of computational problems that are 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.
Timing
07.01.2025 - 14.03.2025
Number of ECTS credits allocated
4 op
Mode of delivery
Contact teaching
Teaching languages
- Finnish
Degree programmes
- Degree Programme in Business Information Technology
Teachers
- Mikko Anttonen
Teacher in charge
Mikko Anttonen
Groups
-
DTNS23Information Technology (BBA), Full-time Studies, Fall, 2023
Objective
You can theoretically model a variety of computational problems that are 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
Enrollment
01.10.2023 - 31.10.2023
Timing
08.01.2024 - 15.03.2024
Number of ECTS credits allocated
4 op
Virtual portion
4 op
Mode of delivery
Distance learning
Campus
Wärtsilä Campus Karjalankatu 3
Teaching languages
- Finnish
Seats
10 - 50
Degree programmes
- Degree Programme in Business Information Technology
Teachers
- Mikko Anttonen
Teacher in charge
Mikko Anttonen
Groups
-
DTNS22Information Technology (BBA), Full-time Studies, Fall, 2022
Objective
You can theoretically model a variety of computational problems that are 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