En poursuivant votre navigation, vous acceptez l'utilisation de cookies qui permettront notamment de vous offrir contenus, services, et publicités liés à vos centres d'intérêt. Fermer
LogoEntete
6 rue Maître Albert
75005 Paris
+33 (1) 55 42 73 73
Entete

Accueil > Résultat de la recherche
Mon Compte
Me Connecter



F.A.Q.

Contact

Résultat de Recherche

Titre : Tous
- Auteur : "Matthieu Journault" - Éditeur : Tous - Référence : Toutes - Format : Tous

Changer les critères de recherche

1 Livre(s)
Télécharger le livre :  Logique pour l'informatique

Logique pour l'informatique

26,99

Mathieu Jaume , Matthieu Journault , Marie-Jeanne Lesot , Pascal Manoury
Editions Ellipses

Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés :...

Ajouter au panier