Structure (logique mathématique)

Séances de cours associées (28)

Connectez-vous pour filtrer par séance de cours

Page 3 sur 3

Couvre les bases des preuves, définissant des ensembles et des applications entre les ensembles.

Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.

Explore Monstrous Moonshine, en se concentrant sur la découverte de 1979 et ses connexions mathématiques.

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Explore les formes quadratiques, les formes bilinéaires symétriques et leurs propriétés.

Explore les groupes de Lie SU(2) et SO(3), en mettant l'accent sur leurs propriétés mathématiques et leur signification en physique.

Couvre les diagrammes commutatifs, l'homotopie et la construction d'espaces topologiques.

Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.