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

Propositions inductives : comprendre l’évaluation dans Coq

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (50)

Flux de contrôle en Python : déclarations conditionnelles et boucles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le flux de contrôle en Python, en se concentrant sur les instructions conditionnelles et les boucles.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Programmation pour Ingénieur: Introduction Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases de la programmation, le débogage et l'implémentation logicielle structurée à l'aide d'outils puissants.

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

Présente les bases de la programmation Python en utilisant Anaconda et JupyterLab, avec des exercices pratiques sur la syntaxe et les bibliothèques.

Fonctions Différenciables et Multiplicateurs de Lagrange Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fonctions différenciables, les points extrêmes et la méthode du multiplicateur de Lagrange pour l'optimisation.

Quiz LV Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre des exemples liés à la programmation de course pour les ingénieurs, en se concentrant sur les valeurs des variables, le débogage et les registres à décalage.

Les bases de la programmation LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les éléments essentiels de LabVIEW, résout les problèmes courants, gère le cache et les techniques de visualisation des données.

Espaces de distribution et d'interpolation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les espaces de distribution et d'interpolation, en montrant leur importance dans l'analyse mathématique et les calculs impliqués.

Représentations neuro-symboliques: Connaissances communes et Raisonnement Connectez-vous à Mediaspace pour regarder cette vidéo

Déplacez-vous dans des représentations neuro-symboliques pour la connaissance du sens commun et le raisonnement dans les applications de traitement du langage naturel.

Monstrueux Moonshine Connectez-vous à Mediaspace pour regarder cette vidéo

Explore Monstrous Moonshine, en se concentrant sur la découverte de 1979 et ses connexions mathématiques.

Page 3 sur 3