Détail de l'éditeur
Documents disponibles chez cet éditeur (96)
Affiner la recherche Interroger des sources externes
texte imprimé
Paris : Ellipses 2020Ce 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émanti[...]
texte imprimé
Nouveauté
texte imprimé
texte imprimé
texte imprimé
texte imprimé
Cet ouvrage présente l'algèbre linéaire et bilinéaire sous un aspect fondamental et pratique. Il est le fruit de plusieurs années d'enseignement d'algèbre générale, linéaire et bilinéaire. Il est essentiellement destiné aux étudiants en licence [...]
texte imprimé
texte imprimé
Jean-Michel Léry, Auteur ; Dominique Paret, Directeur de publication | Paris : Ellipses | Références sciences | DL 2019
texte imprimé
texte imprimé
Cet ouvrage a pour objectif de présenter les bases de l'algorithmique. La programmation des algorithmes est mise en 'uvre via le langage Python. Les 6 chapitres de ce livre comptent de nombreux exemples d'application.
texte imprimé
Mickaël Kerboeuf, Auteur ; Amandine Velt, Interprète | Paris : Ellipses | Références sciences | DL 2020
texte imprimé
texte imprimé
texte imprimé
texte imprimé
