Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Lambda-calcul

Séances de cours associées (32)

Simply Taped Lambda Calculus: Fondements et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.

Fonctions d'ordre supérieur: Théorie de l'unification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type.

STL Essentials Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts essentiels de la bibliothèque de modèles standard (STL) en C ++ pour une manipulation efficace des données.

Fonctions Lambda : Syntaxe et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

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

Séance papier et stylo: Lambda Calculus Proofs Connectez-vous à Mediaspace pour regarder cette vidéo

Plonge dans Lambda Calculus preuves, mettant l'accent sur l'induction structurelle et la manipulation variable.

Programmation Python: Compréhensions de liste et fonctions d'ordre supérieur Connectez-vous à Mediaspace pour regarder cette vidéo

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

Complément Python : Numpy, Scipy, Matplotlib Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre des sujets Python avancés tels que les opérations numpy, l'algèbre linéaire scipy et matplotlib pour la création de figures.

Modules Python et Pandas Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des modules Python, cadrage, lambdas et pandas pour la manipulation et l'analyse des données.

Politique monétaire et analyse de la dette publique Connectez-vous à Mediaspace pour regarder cette vidéo

Analyser les réponses de la politique monétaire et budgétaire à l’accumulation de la dette publique et l’impact du Covid-19 sur les économies mondiales.

Sous-typage et calcul de type Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le sous-typage, le calcul de type et le calcul de limites de type dans un système avec sous-typage, guidant à travers des exercices et des preuves étape par étape.

Modèle de consommation de dotation stochastique Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le modèle de consommation de dotation stochastique, la transformation log-linéaire, la solution de réponse impulsionnelle et les codes Matlab.

Calcul fonctionnel : fonctions simples Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'extension du calcul fonctionnel à des fonctions simples et le concept de *-homomorphisme.