Séances de cours associées à Diagramme de Hasse

Relations d'équivalence et ordres partiels

Introduit des relations d'équivalence, des partitions, des ordres partiels et des concepts d'ordre total avec des exemples et des définitions.

Lattices pour l'interprétation abstraite

Couvre les treillis, l'interprétation abstraite, l'analyse des points de fixation, la logique de Hoare et les ordres partiels avec des éléments extrêmes.

Relations, séquences et sommations

Couvre des sujets sur les relations, les séquences et les sommations, y compris les réseaux, les relations de récurrence et la notation sigma.

Ordre partiel: Relations, Séquences, Somme

Introduit des commandes partielles, des treillis et des commandes lexicographiques sur les produits cartésiens.

Posets et relations d'équivalence

Présente des posets, des diagrammes de Hasse et des relations d'équivalence sur des ensembles.