Logic Modelling
Computers and Society
2015-07-19 v1 Logic in Computer Science
Abstract
This is a reflection on the author's experience in teaching logic at the graduate level in a computer science department. The main lesson is that model building and the process of modelling must be placed at the centre stage of logic teaching. Furthermore, effective use must be supported with adequate tools. Finally, logic is the methodology underlying many applications, it is hence paramount to pass on its principles, methods and concepts to computer science audiences.
Cite
@article{arxiv.1507.03686,
title = {Logic Modelling},
author = {Roger Villemaire},
journal= {arXiv preprint arXiv:1507.03686},
year = {2015}
}
Comments
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber