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

Stratégies d'évaluation et résiliation

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique

Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.

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.

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.

Analyse de terminaison à l'aide de paires de dépendances

Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.

Paradigmes de programmation: Fonctionnel, OOP, Polymorphisme Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les paradigmes de programmation comme la procédure, la fonctionnalité et l'OPO, avec des exemples en Python.

Modèles de programmation : aperçu et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les modèles de programmation pour le traitement des mégadonnées, y compris les RDD de Spark et les optimisations.

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.

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.

Évaluation paresseuse: introduction et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'évaluation paresseuse, la mémorisation, la mise en œuvre d'interprètes, les défis de génération de code et les extensions potentielles.

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.

Page 2 sur 2