Titre :

When logic meets engineering: introduction to logical issues in the history and philosophy of computer science

Auteur(s) :

De Mol, Liesbeth [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Primiero, Giuseppe [Auteur]
Middlesex University

Titre de la revue :

History and Philosophy of Logic

Pagination :

195-204

Éditeur :

Taylor & Francis

Date de publication :

2015

ISSN :

0144-5340

Mot(s)-clé(s) en anglais :

formal methods
mathematical logic
history and philosophy of computing

Discipline(s) HAL :

Informatique [cs]/Ordinateur et société [cs.CY]
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Mathématiques [math]/Logique [math.LO]

Résumé en anglais : [en]

This paper introduces how logic is connected to computer science and gives an overview of some of the main sources. It is intended as an introduction a to a journal special issue on the history and philosophy of logic in ...
Lire la suite >This paper introduces how logic is connected to computer science and gives an overview of some of the main sources. It is intended as an introduction a to a journal special issue on the history and philosophy of logic in computer science.Lire moins >

Langue :

Anglais

Vulgarisation :

Non

Collections :

• Savoirs, Textes, Langage (STL) - UMR 8163

Source :

Harvested from HAL