Séance de cours

Fibre monomode : caractéristiques et applications

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Séances de cours associées (64)

Introduction aux types et aux relations inductives

Explore l'importance des types dans la programmation et discute des systèmes de types malsains et des relations inductives.

L'étiquette des bords: Set

Explore les étiquettes de bord, les compétences telles que l'agrégation et la déduction, et la structure du contenu.

Recherche d'algorithmes: Recherche de dichotomie

Explore les algorithmes de recherche de dichotomie, en analysant la complexité et les détails de mise en œuvre pour une recherche efficace dans les listes triées.

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

Explore l'isomorphisme de Kerry Howard, traduisant des propositions logiques en types et en termes, en mettant l'accent sur la preuve par induction et la préparation à l'examen.

Éléments de programmation

Couvre les expressions primitives, les processus d'évaluation, les applications de fonctions, les types et les stratégies d'évaluation dans la programmation.

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

Type Aliases: Amélioration de la lisibilité et de la flexibilité

Examine l'utilisation d'alias de type pour améliorer la lisibilité et la souplesse des codes au moyen de définitions de type claires et systématiques.

Introduction aux projections

Introduit les bases des projections géométriques, y compris les perspectives isométriques et modernes, et leur contexte historique.

Expressions et opérateurs: Bases de C++

Couvre les expressions, les opérateurs, les littéraux, les opérations arithmétiques, la division entière et les fonctions mathématiques en C++.

Opérations de la matrice : Définitions et propriétés

Couvre les définitions et les propriétés des matrices, y compris les opérations matricielles et les déterminants.

Physique statistique IV: Séance de cours I

Introduit le système de classement, la politique des devoirs et le matériel de cours pour la Physique statistique IV.

Introduction aux tableaux: Java

Couvre l'introduction aux tableaux en Java, en mettant l'accent sur la représentation structurée des données et la manipulation efficace des données.

Thermo-Calc: Modèles d'exercice et de propriété

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

Nombres et booléens

Introduit des nombres et des booléens en Python, couvrant les types numériques, les opérations arithmétiques, les opérations logiques et les comparaisons.

Diffusion totale et analyse PDF

Explore la diffusion totale et l'analyse PDF dans la science des matériaux, couvrant la synthèse in situ, les techniques d'analyse de données et les applications dans les systèmes hôte-invité.

Python/NumPy Primer

Introduit les bases Python et NumPy pour l'informatique scientifique, couvrant les types de données, les fonctions, les tableaux, l'indexation et les opérations courantes.

Facteur stérique dans les réactions en phase gazeuse

Explore les facteurs stériques dans les réactions en phase gazeuse et les mécanismes de transfert d'électrons.

Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique

Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.

Attributs thématiques et classification MOOC: Systèmes d’Information Géographique 2

Couvre la cartographie statistique thématique, les types de cartes thématiques et les méthodes de discrétisation pour représenter et classer les caractéristiques des ensembles de données.

Concepts de programmation C: Débogage et gestion de la mémoire

Couvre les concepts de programmation C essentiels, y compris la gestion de la mémoire, les techniques de débogage et les applications pratiques dans les projets de programmation.