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
France pays France (changer de pays)
         Recherche avancée   Mon compte


Accueil > Résultat de la recherche

1 Livre(s)

Titre : Tous
- Auteur : "Pascal Manoury" - Éditeur : Tous - Référence : Toutes - Format : Tous

Changer les critères de recherche

Télécharger le livre :  Logique pour l'informatique

Logique pour l'informatique

Mathieu Jaume , Matthieu Journault , Marie-Jeanne Lesot , Pascal Manoury
Editions Ellipses
ISBN : 9782340042612 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 : théorème de...
26,99