Sémantique algébrique (informatique)

Séances de cours associées (15)

Connectez-vous pour filtrer par séance de cours

À propos
Confidentialité
Mentions légales

Graph Chatbot

Connectez-vous pour filtrer par séance de cours

Page 1 sur 2

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.