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)

Python Basics Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases Python, Git, les structures de contrôle, les fonctions, la gestion des fichiers et le débogage à l'aide de PDB.

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.

Techniques d'analyse de données: Amplitude Shift Keying et méthodes graphiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la saisie par décalage d'amplitude et diverses techniques d'analyse de données à l'aide de Jupyter Notebooks.

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.

Méthodes numériques : Bisection et tableaux multidimensionnels Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de la méthode de bisection pour résoudre les équations non linéaires et son implémentation en utilisant Python avec NumPy et Matplotlib.

Robot Competition : Préparation pour la RoboCup Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le concours de robots de l'EPFL, où les étudiants construisent un robot pour nettoyer les salles et récupérer les bouteilles, acquérir une expérience pratique précieuse et se préparer à de futurs rôles d'ingénieur.

Thermo-Calc: Modèles d'exercice et de propriété Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le logiciel Thermo-Calc pour définir des fonctions et des modèles de propriétés en science des matériaux.

Limites rigoureuses : Phases isotropes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les limites supérieures et inférieures rigoureuses pour les composites de phase isotrope et leur arrangement de microstructure, en se concentrant sur les plaques stratifiées et les relations contrainte-déformation.

Formule du caractère de la weyl Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la preuve de la formule de caractère de Weyl pour les représentations tridimensionnelles des algèbres semi-simples de Lie.

Algorithmes en informatique: techniques de recherche et de tri Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu des algorithmes de recherche et de tri essentiels en informatique.

Page 3 sur 3