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

Concept

Méthode de descente infinie

Séances de cours associées (5)

Ensembles et fonctions convexes

Introduit des ensembles et des fonctions convexes, en discutant des minimiseurs, des conditions d'optimalité et des caractérisations, ainsi que des exemples et des inégalités clés.

Les langues d'Isabelle : Isar, ML et Scala

Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.

Déterminant matriciel : factorisation et équations linéaires Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le déterminant d'une matrice, la factorisation et les équations linéaires avec des solutions infinies.

Équations linéaires : introduction et solutions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'introduction et les solutions des équations linéaires, y compris les méthodes pour résoudre les systèmes et déterminer le nombre de solutions.

Systèmes d'équations linéaires et matrices Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition des équations linéaires, des systèmes, des solutions et des représentations en 2D et 3D.