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

Abstraction de données : modules et spécifications dans Coq

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (51)

Concepts de programmation : Variables et expressions

Couvre les concepts de programmation fondamentaux tels que les algorithmes, les variables et les expressions en C++.

Atelier Coq: Introduction au théorème interactif

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

Coq: Vue d'ensemble

Présente Coq et se concentre sur la démonstration du théorème et du _comm étape par étape.

C++ Bibliothèque standard: Conteneurs et Algorithmes

Couvre les bases des conteneurs de bibliothèque standard C++, des algorithmes et des itérateurs.

Vérification des programmes avec l'inox

Explore la vérification des programmes en utilisant l'inox, en mettant l'accent sur l'exactitude fonctionnelle, les assistants d'épreuve et l'automatisation des tâches de raisonnement.

Fonctions de Python: Bases et arguments

Couvre les bases des fonctions d'écriture en Python et travaille avec les arguments de fonction.

Classes et encapsulation : principes de la programmation modulaire

Couvre les principes des classes, de l'encapsulation et de la programmation modulaire en C++.

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.

Introduction à la théorie des compilateurs et au traitement du langage

Introduit la théorie du compilateur, le traitement du langage et les concepts essentiels derrière les compilateurs de construction.

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.

Polymorphisme dans Coq: Structures de données et fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

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.

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.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

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.

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.

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.

Types avancés en C : Enums, Typedefs et Structs Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des types avancés en C, y compris les types énumérés, les typesdefs et les structures, avec des exemples pratiques pour illustrer leur utilisation.

Programmation Python : dictionnaires et classes Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les concepts de programmation Python, en se concentrant sur les dictionnaires et les classes, y compris leurs définitions, leur utilisation et des exemples pratiques.

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.

Page 1 sur 3