Sous-typage et calcul de type

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

Page 3 sur 4

Infimum

Explique le concept d'infimum en nombres réels et ses propriétés.

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.

Polymorphisme et preuves

Couvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.

Fonctions Lambda : Syntaxe et exemples

Couvre la syntaxe et des exemples de fonctions lambda, y compris les paramètres, les types, les corps et les environnements.

Fonctions de commande supérieure: Lambda

Explore les fonctions d'ordre supérieur et les expressions lambda en Python, montrant leurs applications pratiques et syntaxe concise.

Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique

Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.

Fonctions d'ordre supérieur

Couvre les fonctions d'ordre supérieur, les types de fonctions et les fonctions anonymes dans la programmation.

Programmation Python: Compréhensions de liste et fonctions d'ordre supérieur

Explore les concepts avancés de programmation Python, en se concentrant sur les compréhensions de liste et les fonctions d'ordre supérieur.

Propriétés des nombres réels

Explique les propriétés des sous-ensembles de nombres réels, y compris Supremum, Infimum, intervalles, ensembles ouverts et ensembles fermés.

Propriétés de Supremum et Infimum

Couvre les propriétés de supremum et infimum dans les ensembles, y compris l'unicité et la symétrie.