Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Formules logiques et types: comprendre l'isomorphisme de Kerry Howard

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (37)

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érie Fourier : Extension et périodicité Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'extension et la périodicité de la série de Fourier et l'interprétation des coefficients.

Opérations de base sur les tableaux et fonctions: Matlab 03 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les opérations de base sur les tableaux et les fonctions de Matlab, y compris la création de tableaux, les opérations arithmétiques et les définitions de fonctions.

Simply Taped Lambda Calculus: Fondements et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.

Fonctions harmoniques : propriétés et mollification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propriétés des fonctions harmoniques et le concept de mollification.

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.

Analyse mathématique: Fonctions et composition Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse des fonctions, de la composition et de l'induction mathématique.

Dérivés partiels : définitions et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le concept de dérivés partiels et leurs applications dans l'analyse mathématique.

Dérivés directionnels : définition et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explique le concept de dérivés directionnels et leurs applications dans les fonctions de différenciation.

Différenciation: Continuité vs différencibilité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la relation entre la continuité et la différenciation des fonctions, en mettant en évidence des exemples où les fonctions présentent des propriétés différentes à des points spécifiques.

Méthodes numériques : critères d'arrêt, SciPy et Matplotlib Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des méthodes numériques, en se concentrant sur les critères d'arrêt, SciPy pour l'optimisation et la visualisation des données avec Matplotlib.

Méthode de Newton : Convergence et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la convergence de la méthode de Newton et ses applications en analyse numérique.

Équations différentielles : Conditions et solutions initiales Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des équations différentielles ordinaires, en se concentrant sur les conditions initiales et les méthodes pour trouver des solutions.

Preuve de la formule explicite Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la preuve de la formule explicite pour la non-disparition de la fonction zêta à la ligne 1.

Classes et objets Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts fondamentaux des classes et des objets en C++.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Thermodynamique : comprendre les variables d'état et les fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les systèmes thermodynamiques, en se concentrant sur les variables d'état, les fonctions d'état et leurs applications dans des scénarios du monde réel.

Page 2 sur 2