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

Concept

Typed lambda calculus

Séances de cours associées (32)

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.

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.

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.

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.

Politique monétaire et décisions des ménages Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation des ménages, l'impact de la politique monétaire et la flexibilité des prix dans le nouveau modèle keynésien.

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.

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.

Part des revenus du travail Connectez-vous à Mediaspace pour regarder cette vidéo

Analyse un modèle macroéconomique axé sur la part du revenu du travail et les effets des chocs de productivité sur le PIB, la consommation, l’investissement et les cours des actions.

Analyse du modèle macroéconomique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'impact des chocs de productivité et des politiques gouvernementales sur les variables économiques clés.

Concevoir des calculs : forte normalisation et gestion des erreurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la normalisation forte, la gestion des erreurs et les règles de dactylographie pour la conception Calculi.

Modèle d'investissement Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le modèle d'investissement, y compris l'état stable, les contraintes budgétaires et les valeurs propres stables.