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: Fondements et applications

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (50)

Estimation des courbes DDF Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des relations intensité-durée-fréquence en hydrologie et étend la théorie aux événements de toute durée.

Théorème de la valeur moyenne (Mittelwertsatz)Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le théorème de la valeur moyenne dans le calcul différentiel, en se concentrant sur les points critiques et les extrema globaux dans les intervalles.

Groupes Heisenberg: Introduction Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les groupes Heisenberg, couvrant la théorie de la représentation et des propriétés uniques.

Consommation d'eau à Genève Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les données sur la consommation d'eau à Genève, y compris les graphiques sur la consommation et les pertes, les ensembles de données disponibles et les phases de traitement des données.

Gestion de la mémoire: Abstraction d'espace d'adresse Connectez-vous à Mediaspace pour regarder cette vidéo

Explique l'abstraction de l'espace d'adressage, en se concentrant sur la gestion de la mémoire, les structures de pile et de tas, et leurs rôles dans l'allocation dynamique de la mémoire.

Déterminants et forme d'Échelon de ligne Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les déterminants, la forme des échelons de rangée, les propriétés et l'interprétation géométrique des déterminants.

ANOVA: Partitionnement Total SS Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la méthode ANOVA, en se concentrant sur la partition de la somme totale des carrés en composantes de traitement et d'erreur, les calculs carrés moyens, les statistiques de Fisher et la distribution F.

Fondements de la Blockchain Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les applications financières des blockchains, couvrant la définition, l'histoire, Ethereum, la finance décentralisée, les contrats intelligents, les jetons, les méthodes d'évaluation, les défis de la double dépense, les signatures numériques, et les fonctions de hachage cryptographique.

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.

Jeux statiques: Introduction aux concepts de théorie des jeux Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases des jeux statiques et présente les concepts clés de la théorie des jeux, y compris le dilemme du prisonnier et l'équilibre de Nash.

Page 3 sur 3