Ce livre couvre la Théorie des Institutions (Goguen, Burstall), un ensemble d’outils de l’algèbre universelle pour décrire des systèmes logiques, définir des propriétés générales à leur sujet, ou exprimer des relations qui les lient, et appliquer tout ça aux spécifications algébriques. Suffisamment clair pour les non-spécialistes mais néanmoins très complet, il est illustré par de nombreux exemples détaillés, et propose des exercices permettant de se familiariser avec les notions étudiées. Le livre commence en outre par des chapitres d’introduction présentant l’intérêt de la discipline ainsi que son formalisme (premier chapitre), puis donne un exemple, sans utiliser les institutions, de système logique, ainsi que des propriétés intéressantes de celui-ci (deuxième chapitre)
Lire maintenant ?