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.
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.
Explore linduction forte comme une méthode de preuve puissante avec des avantages sur linduction mathématique, démontrée par un théorème sur lexpression des entiers comme des sommes de puissances de deux.
Explore la sélection dynamique des portefeuilles, les fonctions d'utilité logarithmique, l'aversion au risque et les problèmes de contrôle optimaux sur les marchés financiers.
Offre un aperçu de la logique propositionnelle et des prédicats, des ensembles, des fonctions, des relations, des algorithmes, des villes suisses, des tables de tri, des infections Covid, des mains de poker et des nombres premiers.
