Séances de cours associées à Sans titre

Couvre les bases du calcul proposé et son importance dans l'informatique.

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Composition des applications en mathématiques

Explore la composition des applications en mathématiques et l'importance de comprendre leurs propriétés.

Couvre les concepts de limites et de colimits dans la catégorie des espaces topologiques, en mettant l'accent sur la relation entre la colimit et les constructions limites et les adjonctions.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

Produit cartésien et induction

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Opérations sur les langues formelles

Explore les opérations formelles du langage, y compris la concaténation, l'union, l'intersection et l'étoile Kleene pour la répétition du langage.

Algèbre élémentaire: ensembles numériques

Explore les concepts d'algèbre élémentaire liés aux ensembles numériques et aux nombres premiers, y compris la factorisation et les propriétés uniques.

Objets simples et cosimpliciels : exemples et applications

Couvre les objets simpliciaux et cosimpliciaux en théorie des catégories avec des exemples pratiques.

Sans titre

Fonctions de cartographie et surjections

Explore les fonctions cartographiques, les surjections, les fonctions injectives et surjectives et les fonctions bijectives.

Homéomorphismes locaux et couvertures

Couvre les concepts d'homéomorphismes locaux et de couvertures en multiples, en mettant l'accent sur les conditions dans lesquelles une carte est considérée comme un homéomorphisme local ou une couverture.

Groupes fondamentaux

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Algèbre de mensonge: théorie des groupes

Explore la connexion de Lie Algebra à la théorie des groupes à travers des opérations associatives et des identités jacobines.

Relations en informatique

Explore les propriétés des relations en informatique, y compris les relations d'équivalence et la partition d'un ensemble.

Fonctions: Définitions et notations

Couvre les généralités des fonctions, y compris la définition d'une application entre les ensembles et l'unicité des éléments dans l'ensemble d'images.

Logique formelle: preuves et ensembles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.