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é.