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

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

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (40)

Preuves : Logique, Mathématiques et Algorithmes

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

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.

Analyse IV : Ensembles et propriétés mesurables Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le concept de mesure externe et les propriétés des ensembles mesurables.

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.

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.

La logique des prédicats : quantificateurs et équivalences Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique des prédicats, couvrant les quantificateurs, les équivalences et les traductions du langage naturel.

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.

Gestion des erreurs dans LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Met l'accent sur la gestion des erreurs dans LabVIEW, l'analyse des fichiers sources et l'exécution de programmes avec Xcode.

Distributions et dérivés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les distributions, les dérivés, la convergence et les critères de continuité dans les espaces de fonctions.

Représentations intermédiaires : CPS/L3 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.

Abstraction de données : modules et spécifications dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.

Lois de transformation des vitesses et accélérations Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les lois de la transformation des vitesses et des accélérations, y compris la rotation des points et les principes de mouvement dynamique.

La transformation de Fourier des distributions tempérées : réflexion et traduction Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la transformation de Fourier des distributions tempérées, en mettant l'accent sur les opérations de réflexion et de traduction.

Programmation pour les ingénieurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts de programmation, la gestion de la mémoire, le débogage et les fonctionnalités avancées de MATLAB.

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.

Convexité géodésique : théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la convexité géodésique dans les espaces métriques et ses applications, en discutant des propriétés et de la stabilité des inégalités.

Théorème du nombre premier Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la preuve du théorème des nombres premiers et ses implications dans la théorie des nombres.

Allocation de mémoire dynamique : malloc et calloc en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique l'allocation dynamique de la mémoire en C, en se concentrant sur les fonctions malloc et calloc et leurs différences, y compris les techniques de prévention des erreurs.

Assistant à la preuve de la LISA : formalisation et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'organisation de la base de code de l'assistante d'épreuve LISA, le paquet noyau, la formalisation FOL et le paquet d'épreuves.

Distorsion du cube de Hamming Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la distorsion du cube de Hamming et les effets du retournement de bits individuels.

Page 2 sur 2