Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Langues romanes

Séances de cours associées (5)

Sans titre

Tutoriel du système de vérification inoxydable

Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.

Régularité des solutions faibles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les PDE elliptiques, les solutions faibles, la régularité et les solutions fortes, en mettant l'accent sur les solutions classiques et les techniques de preuve.

Programmation pour les ingénieurs Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit un cours de programmation pour les ingénieurs, en soulignant l'importance de maîtriser plusieurs langues pour les projets futurs.

Fonctions enclidiennes : définition et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition et les propriétés des fonctions enclidiennes, y compris l'unicité et les applications dans les structures mathématiques.