Logique pour l'informatique
Isabelle Mounier-Kuhn
Mathieu Jaume
Matthieu Journault
Marie-jeanne Lesot
Pascal Manoury
ELLIPSES
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 logiqu
plusPour tout article en stock, récupérez votre colis le jour même sous 3h dans un de nos points de retraits !
Votre service client est disponible par mail service-client@almouggar.com, sur Messenger ou bien sur Whatsapp.
Tous nos paiements se font via la plateforme ECOM du CMI avec un contrôle 3D Secure.
Si vous n'êtes pas satisfait de votre produit, retournez le sous 15 jours et soyez remboursé.