«De la logique à l'informatique: un voyage linguistique», Londres, Royaume-Uni
13 Février 2013 - 13 Février 2013
Royaume-Uni
Une session de cours intitulée «De la logique à l'informatique: un voyage linguistique» (From Logic to computer science: a linguistic journey) aura lieu le 13 février 2013 à Londres, au Royaume-Uni.
Les langues artificielles ont donné naissance à l'un des efforts intellectuels les plus importants du XXe siècle. Elles ont mûri par la logique mathématique, dans les années 1930, à la poursuite des métamathématiques, les mathématiques des mathématiques. Les premiers langages modernes de programmation sont apparus dans les années 1950; ils ont permis la programmation des systèmes de logiciels complexes actuels, qui réalisent de nombreuses tâches sur lesquelles nous nous appuyons à l'heure actuelle.
La session se penchera sur l'interaction de la logique et de l'informatique, expliquant les conditions nécessaires pour comprendre un langage artificiel.Pour de plus amples informations, consulter:
http://royalsociety.org/events/2013/logic-computer-science/(s’ouvre dans une nouvelle fenêtre)
Les langues artificielles ont donné naissance à l'un des efforts intellectuels les plus importants du XXe siècle. Elles ont mûri par la logique mathématique, dans les années 1930, à la poursuite des métamathématiques, les mathématiques des mathématiques. Les premiers langages modernes de programmation sont apparus dans les années 1950; ils ont permis la programmation des systèmes de logiciels complexes actuels, qui réalisent de nombreuses tâches sur lesquelles nous nous appuyons à l'heure actuelle.
La session se penchera sur l'interaction de la logique et de l'informatique, expliquant les conditions nécessaires pour comprendre un langage artificiel.Pour de plus amples informations, consulter:
http://royalsociety.org/events/2013/logic-computer-science/(s’ouvre dans une nouvelle fenêtre)