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 !
Archived Curricula Guide 2013–2014
Curricula Guide is archieved. Please refer to current Curricula Guides
TKO_5059 Logic and Reasoning in Math and CS Education 3–5 ECTS
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.

Contents

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
Exercise(s)
  • In English
Seminar
  • In English
Project / practical work
  • In English
English:
Exercise(s) and Seminar and Project / practical work

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

Evaluation

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

Department of Future Technologies
Department of Future Technologies
2013–2014
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Implementation details are unavailable.
Department of Future Technologies
DP in Computer Science
DP in Electr. and Communication Technology
Finnish Study Modules