Uusi opinto-opas (sisältäen myös opetusohjelmat) lukuvuodelle 2018-2019 sijaitsee osoitteessa https://opas.peppi.utu.fi . Tältä sivustolta löytyvät enää vanhat opinto-oppaat ja opetusohjelmat.

The new study guide (incl. teaching schedules) for academic year 2018-2019 can be found at https://studyguide.utu.fi. This site contains only previous years' guides.

x !
Arkistoitu opetussuunnitelma 2013–2014
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
TKO_5059 Logic and Reasoning in Math and CS Education 3–5 op
Organised by
Computer Science
Person in charge
This is a joint course between University of Turku (Tapio Salakoski) and Åbo Akademi (Ralph-Johan Back).
Preceding studies
High school mathematics and basic programming skills, no university level prerequisites.

Learning outcomes

The students should understand how basic reasoning skills in Mathematics and Computer Science can be taught on various levels of the school system using a semiformal approach based on logic, and how computerized tools can be used to assist in that.


The course focuses on how to teach basic reasoning skills in Mathematics and Computer Science. We study the general problem from an educational view, as well as looking at computer support for teaching mathematical reasoning. We study a specific approach to pre-senting mathematics to students (structured derivations) that emphasizes explicit motivations and logic based argumentation in mathematical proofs and derivations. We show how the same kind of argumentation technique is applied to systematic construction of computer programs. The course is suitable for both M.Sc. and Ph.D. students in Computer Science and Mathematics (in particular teachers training) as well as Educational Science.

Teaching methods

Lectures, seminar, group work, self study.

Modes of study

Option 1
Available for:
  • Degree Programme Students
  • Other Students
  • Doctoral Students
  • Exchange Students
  • In English
  • In English
Project / practical work
  • In English
Exercise(s) and Seminar and Project / practical work

Exercises and seminar presentation (3 op) and project work (2 op).


Numeric 0-5.

Recommended year of study

The course is given irregularly at least every other year

Study materials


 Study material will be provided on the course. Additional material can be found on the net.

Belongs to following study modules

Tulevaisuuden teknologioiden laitos
Tulevaisuuden teknologioiden laitos
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Implementation details are unavailable.
Tulevaisuuden teknologioiden laitos