Auteur : Mathieu JAUME , Matthieu JOURNAULT , Marie-jeanne LESOT , Pascal MANOURY , Isabelle MOUNIER
Editeur : ELLIPSES
Collection : Références sciences
Année : 11/2020Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique.
[lire la quatrième du livre Logique pour l'informatique]