Date : 2015
Editeur / Publisher : Villeneuve d'Ascq : Calcul, logique, linguistique , 2015-
Format : 1 ressource dématérialisée
Langue / Language : français / French
Classification Dewey : 410.285
Accès en ligne / online access
Accès en ligne / online access
Résumé / Abstract : Le but de ce séminaire est de penser les relations diverses entre la logique, l'informatique et la linguistique. Pourquoi est-ce qu'on a besoin de la logique pour l'avancement de l'informatique et quel est le rôle de la linguistique ici ? Pourquoi un informaticien s'occupe t-il de la conformité desprogrammes ? Quelle est la nature de la communication entre humains et machines ? Comment penser l'interface entre sémantique et forme logique dans l'informatique ? (fre)
Résumé / Abstract : The aim of this research seminar is to reflect on the multiple relations between computer science, logic and linguistics from a historical and or philosophical perspective. Why do we need logic to advance computer science and what is the role played by language in this context? What is the nature of the communication betwen humans and machines? How can we think the interface between semantics and logical form in computer science? (eng)