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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Programmation fonctionnelle: concepts et mise en œuvre

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (53)

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 : objets immuables et mutables Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les différences entre les objets muables et immuables en Python, en se concentrant sur les listes, les ensembles et leurs comportements.

Structures de contrôle; Fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les structures de contrôle, les boucles et les fonctions en langage C, en soulignant l'importance des variables locales et en évitant les variables globales.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Gestion de fichiers et gestion des exceptions en Python Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la gestion de fichiers et la gestion des exceptions dans la programmation Python.

Flux de contrôle en Python : déclarations conditionnelles et boucles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le flux de contrôle en Python, en se concentrant sur les instructions conditionnelles et les boucles.

Techniques de traitement d'image: sculpture de couture et manipulation de pixels Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des techniques de traitement d'image, en se concentrant sur la sculpture de coutures et la manipulation de pixels dans la programmation Python.

NumPy Arrays et représentations graphiques : Introduction Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les tableaux NumPy et leurs représentations graphiques à l'aide de Matplotlib, en se concentrant sur les techniques de création, de manipulation et de visualisation des tableaux.

Abstraction de données : modules et spécifications dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.

Introduction à la programmation C Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des concepts fondamentaux de programmation C, couvrant les variables, les structures de contrôle, les fonctions et les pointeurs, avec des exemples pratiques et des exercices.

Conversion de fermeture : Représentation et transformation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la représentation et la transformation des valeurs, en se concentrant sur la conversion de fermeture et les défis de la représentation des fonctions dans les langages fonctionnels.

MATLAB: Cours de choc au MATLAB Connectez-vous à Mediaspace pour regarder cette vidéo

Offre un cours de crash en MATLAB, couvrant la représentation des données, l'indexation des tableaux, les opérations mathématiques, et les pièges communs.

Numériques pour Fluides, Structures et Electromagnétiques: Règles de projets Connectez-vous à Mediaspace pour regarder cette vidéo

Les étudiants en 'Numerics for Fluids, Structures and Electromagnétiques' doivent compléter les projets individuellement ou par paires, en suivant des règles spécifiques et des critères d'évaluation.

Pointeurs: Chaînes, Fonctions, Casting Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les pointeurs sur les chaînes, les fonctions et le casting en programmation C.

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.

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.

Série Taylor: Convergence et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la convergence des séries de Taylor et ses applications dans l'approximation des fonctions et la résolution de problèmes mathématiques.

Sécurité de la mémoire et architecture client/serveur : concepts clés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les principes de sécurité de la mémoire et l'architecture client / serveur dans la conception du système.

Demande de priorité purement fonctionnelle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les files d'attente prioritaires purement fonctionnelles, l'implémentation Scala, l'intégration Inoxydable, les propriétés d'exploitation et les files d'attente binomiales.

Techniques logiques et de preuve Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les entiers, les rationnels, la logique, les techniques de preuve, les fonctions et les relations à l'aide d'exemples et de tables de vérité.

Page 2 sur 3