Sous-groupes Critères : Propositions et exemples

Séances de cours associées (30)

Page 2 sur 3

Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.

Introduit des concepts de théorie de groupe, y compris les définitions et les propriétés des groupes, des anneaux et des champs.

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.

Couvre la description de toutes les solutions du problème initial et des concepts connexes tels que la compacité et la fermeture.

Explore la modification du point de base dans une fibre, en mettant l'accent sur la connectivité et la conjugaison des sous-groupes.

Explore les propriétés fondamentales des groupes et des nombres, en mettant l'accent sur les classes d'équivalence et les concepts de sous-groupe.

Explore des groupes d'arbres et de graphiques d'automorphisme, y compris des actions sur les arbres et des homomorphismes de groupe.

Couvre l'expression analytique des rotations dans différents systèmes de coordonnées.

Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.