Calcul, logique, linguistique

• 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 ?

10670/2.7p8kdn

OpenEdition