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
Sémantique algébrique (informatique)
Séances de cours associées (15)
Graph Chatbot
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 1 sur 2
Suivant
Type Règles : Progrès et préservation
Couvre Amyli, un petit langage fonctionnel, tapez des règles et de la solidité.
Fondements du logiciel
Couvre les bases de l'induction, de la syntaxe, de la syntaxe abstraite vs. concrète et de la sémantique opérationnelle pour les booléens.
Hoare Logic: Fondements et applications
Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.
Lambda Calculus: Numéros d'église
Explore les chiffres de l'église, les booléens, les paires, la récursion et l'équivalence comportementale dans Lambda Calculus.
La sémantique relationnelle des boucles
Explore la sémantique relationnelle des boucles dans les programmes et l'interprétation mathématique des structures de boucles.
Sémantique opérationnelle : Amyli Language
Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.
Une introduction à l'iris: logique de séparation simultanée d'ordre supérieur
Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.
Lambda Calculus: Syntaxe et Abstractions
Introduit des termes, des abstractions, des applications et des valeurs dans le calcul lambda.
Atelier Coq: Introduction au théorème interactif
Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.
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.