Cet ouvrage présente un ensemble complet d'outils permettant de travailler en linguistique formelle, syntaxe, sémantique et pragmatique. Il ne nécessite pas de connaissances pointues en mathématiques ou en linguistique. Il donne tous les éléments pour concevoir des analyseurs syntactico-sémantiques. Après un rappel des notions de base en théorie des ensembles, sont abordées les grammaires formelles, les logiques des propositions et des prédicats puis le lambda calcul. Ce livre montre au fur et à mesure comment articuler le tout pour faire des analyses linguistiques. La présentation des notions théoriques est systématiquement accompagnée d'exercices corrigés et d'exemples d'application à l'étude du français. Enfin, l'exposé est complété par des études de cas en japonais, facilement compréhensibles pour un public non spécialisé.
Avant-propos. Chapitre 1. Introduction. Chapitre 2. Notions de base. Chapitre 3. Syntaxe et grammaires formelles. Chapitre 4. Sémantique et logiques formelles. Chapitre 5. Lambda-calcul non typé. Chapitre 6. Contexte et bases de connaissances. Chapitre 7. Une puissante grammaire en logique des prédicats. Chapitre 8. Conclusion : pour aller plus loin. Annexe. Aide à l'interprétation des formules de prédicats. Correction des exercices. Bibliographie. Index.