Les livres de l'auteur mathieu jaume

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


Éléments de mathématiques discrètes - Cours, exercices résolus, implémentations avec les langages Python et OCaml
Auteur : Mathieu JAUME
Editeur : ELLIPSES
Année : 12/2016

Tous les domaines de la science informatique font appel de manière essentielle aux mathématiques discrètes. Cet ouvrage en présente quelques éléments : ensembles, relations, fonctions, structures ordonnées, définitions inductives, langages, automates, et logique.
[lire la quatrième du livre Éléments de mathématiques discrètes - Cours, [...]]

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


Controler les cookies