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

Catégorie

Théorie des langages de programmation

Séances de cours associées (31)

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

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.

Compilateur de vérification: Approche Spec#

Explore le système de programmation Spec#, en se concentrant sur un compilateur de vérification pour C# 2.0.

Polymorphisme et preuves

Couvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.

Bases de programmation Python

Couvre les bases de la programmation Python, en se concentrant sur les structures de contrôle de flux, le mode interactif, le mode script et les variables.

Fondements de Scala: Modélisation et Systèmes de Type

Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.

Fonctions : Réutilisabilité et réduction des erreurs

Couvre les fonctions de la programmation C, mettant l'accent sur la réutilisabilité et la réduction des erreurs grâce à une structure de fonction appropriée.

Atelier Coq: Introduction au théorème interactif

Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.

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.

Concepts de programmation C: Débogage et gestion de la mémoire

Couvre les concepts de programmation C essentiels, y compris la gestion de la mémoire, les techniques de débogage et les applications pratiques dans les projets de programmation.

Le polymorphisme dans la programmation orientée objet : mécanisme d’inclusion

Couvre le polymorphisme dans la programmation orientée objet, en se concentrant sur le polymorphisme d'inclusion et sa mise en œuvre à travers des hiérarchies de classes et des méthodes virtuelles.

Programmes de vérification avec l'inox: Partie 2

Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.

Introduction aux concepts de programmation UNIX et C

Couvre les fondamentaux UNIX et introduit les concepts de programmation C, y compris les variables, les types de données et les opérations de base.

Introduction à la programmation: bases du langage C

Couvre les bases de la programmation en C, y compris les variables, les constantes, les tableaux et les fonctions.

Python : dictionnaires et tuples

Explore les dictionnaires, les tuples, les objets mutables et les arguments de longueur variable en Python.

Structures de données abstraites en C++

Couvre la programmation procédurale et orientée objet, les structures de données abstraites, les modèles et la bibliothèque standard C++.

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.

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

Couvre les bases de la programmation C, y compris la syntaxe, les types de données, les pointeurs, les tableaux et les commandes de compilation.

Fonctions en C: Concepts clés et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les concepts essentiels des fonctions dans la programmation C, y compris les définitions, les prototypes et les techniques de passage d'arguments.

Types de données C avancés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.