Les livres de l'auteur isabelle mounier

Logique pour l'informatique
Editeur : ELLIPSES
Année : 11/2020

Ce 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]

32,00 €
Disponible expédié
sous 8 à 14 jours


Controler les cookies