Université de Strasbourg UFR de Mathématique et d'Informatique L2 ...
TD N 2 - Algèbre de Boole & Simplification. Algébrique des Fonctions Logiques. Exercice 1: 1) Quelle propriété des fonctions logiques de base nous a permis de ...
constructions de colimites finies, diagrammes, isomorphismes ...RESUME. La composition de spécifications modulaires peut être modélisée, dans le formalisme des catégories, par des colimites de diagrammes. EB : Vers une méthode combinée de spécification formelle des syst ...car elle concerne d'une part les spécifications de type algébrique et elle n'est pas une combinaison de plusieurs approches de spécifications formelles. TD numéro 2 Modules, Makefile, Tests - ENSIIEÉcrire le fichier Makefile correspondant. Exercice 2. On rappelle la spécification algébrique d'un dictionnaire : type ('k,'v) dict creer : int -> dict.
Autres Cours:
