Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Séance de cours
Sans titre
Graph Chatbot
Séances de cours associées (30)
Précédent
Page 1 sur 3
Suivant
Preuves : Logique, Mathématiques et Algorithmes
Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.
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.
Atelier Coq: Introduction au théorème interactif
Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.
Hoare Logic: Fondements et applications
Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.
Analyse IV : Ensembles et propriétés mesurables
Couvre le concept de mesure externe et les propriétés des ensembles mesurables.
Groupes fondamentaux
Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.
Transport optimal : Équation thermique et espaces métriques
Explore le transport optimal dans les équations de chaleur et les espaces métriques.
Zig Zag Lemma
Couvre le lemme Zig Zag et la longue séquence exacte de l'homologie relative.
Sans titre
Sans titre
