Séances de cours associées à Relations et séquences

Symétrie dans les fonctions: définitions et exemples

Explore la définition des fonctions pantéch et la symétrie des fonctions, y compris les fonctions paires et impaires.

Couvre les classes d'équivalence, les relations, les ensembles de quotients et les propriétés des fonctions.

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.

Fonctions : Limites, continuité, différenciation

Explore l'origine des fonctions, la continuité, la différenciation et la représentation physique des liaisons chimiques.

Continuité des fonctions : définitions et notations

Explore la continuité des fonctions en R2 et R3, en mettant l'accent sur les points d'accumulation et les limites.

Ordre partiel: Relations, Séquences, Somme

Explore les ordres partiels, les relations de divisibilité, les réseaux, l'ordre lexicographique, la comparabilité et les ordres totaux.