• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Structured Derivations: A Logic Based Approach to Teaching Mathematics

Ralph-Johan Back, Mannila, Linda, Mia Peltomaki, Patrick and Sibelius, Structured Derivations: A Logic Based Approach to Teaching Mathematics. In: FORMED 2008: Formal Methods in Computer Science Education, Budapest, 2008.

Abstract:

Being able to reason rigorously and comfortably in mathematics plays and essential role in
computer science, particularly when working with formal methods. Unfortunately, the reasoning
abilities of rst year university students' are commonly rather poor due to lack of training in exact
formalism and logic during prior education. In this paper we present structured derivations, a
logic based approach to teaching mathematics, which promotes preciseness of expression and
oers a systematic presentation of mathematical reasoning. The approach has been extensively
evaluated at dierent levels of education with encouraging results,indicating that structured
derivations provide many benets both for students and teachers.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpBaMaLiPean08a,
  title = {Structured Derivations: A Logic Based Approach to Teaching Mathematics},
  booktitle = {FORMED 2008: Formal Methods in Computer Science Education, Budapest},
  author = {Back, Ralph-Johan and Mannila and Linda and Peltomaki, Mia and and Sibelius, Patrick},
  year = {2008},
}

Belongs to TUCS Research Unit(s): Learning and Reasoning Lab

Edit publication