Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?

Autor:	Makowsky, Johann
Rok vydání:	2015
Předmět:	Computer Science - Computers and Society Computer Science - Logic in Computer Science K.3.2
Druh dokumentu:	Working Paper
Popis:	In this paper I discuss what, according to my long experience, every computer scientist should know from logic. We concentrate on issues of modeling, interpretability and levels of abstraction. We discuss what the minimal toolbox of logic tools should look like for a computer scientist who is involved in designing and analyzing reliable systems. We shall conclude that many classical topics dear to logicians are less important than usually presented, and that less-known ideas from logic may be more useful for the working computer scientist. Comment: 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
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1507.03672 Zobrazit plný text záznamu View this record from Arxiv