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

A Method for Teaching Rigorous Mathematical Reasoning

Ralph-Johan Back, Joakim von Wright, A Method for Teaching Rigorous Mathematical Reasoning. In: International Conference on Technology in Mathematics Teaching (ICTMT4), 1999.

Abstract:

http://www.tucs.fi/Publications/proceedings/pBaWr99a.php

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBaWr99a,
  title = {A Method for Teaching Rigorous Mathematical Reasoning},
  booktitle = {International Conference on Technology in Mathematics Teaching (ICTMT4)},
  author = {Back, Ralph-Johan and Wright, Joakim von},
  year = {1999},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Edit publication