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
Concept
Agda (programming language)
Graph Chatbot
Séances de cours associées (19)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 2 sur 2
Suivant
Introduction à Coq: Expressions arithmétiques et évaluateurs
Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.
Polymorphisme dans Coq: Structures de données et fonctions
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.
Hoare Logic: Fondements et applications
Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.
Raisonnement automatisé : vérification formelle avec LISA
Examine la vérification formelle à l'aide de l'assistant d'épreuve LISA et du vérificateur d'équivalence OCBSL.
Sans titre
Sans titre
Preuves et calculs : un voyage à travers la théorie mathématique
Explore les preuves mathématiques historiques, les problèmes de décision, les systèmes de déductibilité, les preuves probabilistes et quantiques, et les systèmes de preuve interactifs.
Sans titre
Algèbre de mensonge: représentations
Explore les représentations de l'algèbre de Lie, en mettant l'accent sur SU(2) et les matrices traceless, expliquées par Alfredo Glioti.
