Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Chiffres d'église et conditionnels

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (35)

Encodez votre Avatar dans une liste

Couvre le processus d'encodage d'un avatar dans une liste en utilisant des blocs.

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

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.

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.

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.

Python Basics: Syntaxe, Variables, Fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Python telles que la syntaxe, les variables et les fonctions, en introduisant la plate-forme Renku pour la science collaborative 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 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.

Sémantique à grande échelle : définition d'expressions et de commandes arithmétiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.

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 : Listes et fonctions Vue d'ensemble Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des concepts de programmation Python, en se concentrant sur les listes, les fonctions et leurs applications dans la résolution de problèmes.

Structures de contrôle et manipulation des erreurs dans MATLAB Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les structures de contrôle, le traitement des erreurs et les structures de données dans la programmation MATLAB, en mettant l'accent sur la lisibilité des codes et des exemples pratiques.

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.

Plus de VHDL pour la synthèse: déclarations séquentielles et processus Connectez-vous à Mediaspace pour regarder cette vidéo

Explore VHDL pour la synthèse, en mettant l'accent sur les déclarations et les processus séquentiels.

Page 2 sur 2