Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Raisonnement automatisé : vérification formelle avec LISA

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (52)

Transport optimal : théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les multiplicateurs de Lagrange, les théorèmes minimax et les sous-ensembles convexes dans la théorie du transport optimal.

Correspondance logicielle: Test et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

Preuves et logiques : Introduction Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.

Polymorphisme dans Coq: Structures de données et fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

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

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.

WireGuard : protocole cryptographique pour les VPN Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le protocole WireGuard, un remplacement VPN moderne pour IPsec et OpenVPN, en se concentrant sur les tunnels cryptés et les propriétés de sécurité.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Comprendre les relations d'équivalence et la construction d'entiers Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la construction d'entiers par des relations d'équivalence et leurs propriétés en mathématiques.

Propositions inductives : Techniques de raisonnement et d’évaluation Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Inégalité de corélation gaussienne & Thum d'Anderson Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'inégalité de corélation gaussienne, le théorème d'Anderson et la concavité log-en théorie des probabilités.

Introduction à l'analyse Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de l'analyse, y compris les preuves, les ensembles, les nombres rationnels et réels, et le concept d'infimum.

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

Différenciation et limites Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la différenciation, les limites et les jeux ouverts dans les fonctions multivariables, en mettant l'accent sur les minimums locaux et la continuité.

Espaces de distribution et d'interpolation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les espaces de distribution et d'interpolation, en montrant leur importance dans l'analyse mathématique et les calculs impliqués.

Problèmes de variation : quasi-convexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la théorie de la quasi-convexité dans les problèmes variationnels de la mécanique du continuum, en discutant de ses principes, de ses applications et de sa relation avec la convexité.

Simulacre d'examen : solutions à la question ouverte Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les solutions à une question ouverte d'un examen simulé, en se concentrant sur la convergence des séries et les propriétés des fonctions.

Théorème de Dini Connectez-vous à Mediaspace pour regarder cette vidéo

Discute du théorème de Dini pour la convergence uniforme des fonctions d'augmentation ou de diminution monotoniques.

Factorisation Hadamard Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le théorème de factorisation de Hadamard pour des fonctions entières d'ordre au plus 1.

Intégrer dans l_inf Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les balles ouvertes, les déclarations lemme et les techniques de preuve pour l'intégration dans l_inf.

Page 2 sur 3