Résultat de la recherche
2 recherche sur le mot-clé ' Informatique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
texte imprimé
Horst Stöcker, Auteur ; Vincent Bosser, Traducteur ; Sandra Marcello, Traducteur | Malakoff : Dunod | Sciences Sup | DL 2020Ce livre est une bible qui regroupe toutes les formules et les définitions, dans tous les domaines des mathématiques : de l'arithmétique à la statistique, de l'algèbre à l'analyse. Une partie importante de l'ouvrage est par ailleurs consacrée à [...]Nouveautétexte imprimé
Jean-Pierre Desclès, Auteur ; Gaëll Guibert, Auteur ; Benoît Sauzay, Auteur | Toulouse : Cépaduès-Editions | DL 2016Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateu[...]Nouveauté
Voir aussi dans les articles du site
Voir aussi dans les rubriques du site
Présentation
L’École a été créée en 2019 sous le nom de l’École Supérieure en Sciences et Technologies de l’Informatique et du Numérique (ESTIN). Rattachée au Ministère de l’Enseignement Supér...