@inproceedings{3984387530f4491faab0bc61b99d6f80,
title = "Towards the effective use of formal logic in the teaching of discrete math",
abstract = "Traditionally, the teaching of Mathematical Logic has treated the subject as an object of study without considering its practical utility for improving effective reasoning and writing of mathematical proofs. The Dijkstra/Scholten equational calculus answers these concerns. Its application has given rise to a style of proving called 'the calculational approach'. Courses on Discrete Mathematics and Algorithm's Design have been taught in Colombian higher education institutions with success for more than 3 years. Recently, we have finished the first phase of a software tool for proof processing using this calculus. The goal pursued for this utility is the support of the learning process in these courses as well as to eventually assist in the program design and derivation process. We present instances of the accomplishments of this teaching methodology in terms of elegant proof style; and evidence of the results on teaching quality.",
keywords = "Algebra, Boolean algebra, Computer science education, Logic, Symbol manipulation",
author = "Jaime Boh{\'o}rquez and Camilo Rocha",
year = "2005",
doi = "10.1109/ITHET.2005.1560330",
language = "English",
isbn = "0780391411",
series = "ITHET 2005: 6th International Conference on Information Technology Based Higher Education and Training, 2005",
pages = "S3C--1--S3C--8",
booktitle = "Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006",
note = "ITHET 2005: 6th International Conference on Information Technology Based Higher Education and Training, 2005 ; Conference date: 07-07-2005 Through 09-07-2005",
}