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

Séance de cours

Programmation réactive fonctionnelle : signaux et transformations

Séances de cours associées (52)

Simulation d'événement discrète

Couvre la simulation d'événements discrets à l'aide de circuits numériques, de composants de base, de composants complexes et de la mise en œuvre de la simulation.

Gestion impérative des événements : le modèle d'observateur

Présente le modèle d'observateur largement utilisé pour les vues afin de réagir aux changements de modèle, avec des exemples d'éditeur, d'abonné et de consolidateur.

Principes de programmation fonctionnelle

Couvre les principes et les avantages de la programmation fonctionnelle, en mettant l'accent sur les données et les fonctions immuables.

Programmation fonctionnelle: concepts et mise en œuvre

Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.

Tutoriel du système de vérification inoxydable

Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.

Sans titre

Programmation fonctionnelle : concepts et histoire

Explore les limites impératives de la programmation, les théories sans mutation, les principes de programmation fonctionnelle et l'histoire des langages fonctionnels.

Introduction à la programmation orientée objet en Java

Couvre les concepts de base de la programmation orientée objet en Java, mettant l'accent sur l'encapsulation, l'abstraction et l'importance d'organiser des programmes complexes.

Monads: Concepts et applications

Explore les monades, leurs lois, la mise en œuvre de Scala et les applications pratiques dans la programmation fonctionnelle.

Loops : instructions et fonctions de contrôle

Couvre la modélisation des instructions de contrôle avec des fonctions dans Scala, y compris les boucles while, les boucles de répétition et la traduction for-loops.

GTKmm4 : Architecture et visualisation de projets

Couvre l'architecture d'un projet utilisant GTKmm4 et le modèle de conception MVC pour des applications graphiques.

Hoare Logic: Postcondition la plus forte et précondition la plus faible

Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.

Convertir les programmes impératifs en formules

Explore la conversion de programmes impératifs en formules de vérification, couvrant les affectations, les instructions if-else et les points-virgules de commande.

Programmation orientée objet : gestion des erreurs et logistique des cours

Décrit la logistique du cours et les objectifs de la programmation orientée objet, en mettant l'accent sur la gestion des erreurs et l'intégration de sessions pratiques avec l'apprentissage théorique.

Ingénierie pratique 1: Traitement du signal

Explore des sujets avancés d'ingénierie logicielle et de traitement du signal en utilisant des listes paresseuses pour construire un synthétiseur sonore à partir de zéro.

Programmation avec parallélogrammes

Couvre la mise en œuvre d'une classe parallélogramme en Python.

Tâche avec minuteur

Explique comment un robot change de couleur et de comportement en fonction de différentes conditions à l'aide d'une minuterie.

Mutation sans danger à Scala

Explore la mutation sûre dans Scala, en mettant l'accent sur la gestion de l'état mutable et son importance dans les interactions, la modélisation et l'efficacité de mise en œuvre.

Concepts de programmation : Variables et expressions

Couvre les concepts de programmation fondamentaux tels que les algorithmes, les variables et les expressions en 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.