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 histoire

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

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.

Pointeurs en C: Comprendre leur utilité et leurs applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition et les applications des pointeurs dans la programmation C, en mettant l'accent sur leur rôle dans la gestion de la mémoire et la programmation générique.

Gestion dynamique de la mémoire : utiliser Realloc en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique l'allocation dynamique de la mémoire en C, en se concentrant sur la fonction realloc et ses implications pour la gestion efficace de la mémoire.

Introduction à la programmation : premières étapes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.

Pointeurs et références: Différences clés dans la programmation Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les différences entre les pointeurs et les références en programmation, en se concentrant sur leurs définitions, leurs utilisations et leurs limites en C et C ++.

Programmation réactive fonctionnelle Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la programmation réactive fonctionnelle comme une alternative plus propre et plus fonctionnelle au modèle d'observateur traditionnel, en utilisant des signaux pour simplifier les hiérarchies d'observateurs complexes.

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.

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.

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.

Base de programmation: introduction et algorithmes Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases de programmation, couvrant les systèmes Unix, Firefox, les algorithmes et les structures de données.

Page 2 sur 2