Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Raisonnement automatisé
Applied sciences
Information engineering
Intelligence artificielle
Knowledge representation an...
Graph Chatbot
Séances de cours associées (32)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 3 sur 4
Suivant
Sans titre
Sans titre
Entreprises : Politiques des ressources humaines
Plonge dans l'impact des nouvelles technologies sur les processus de recrutement et de sélection dans les entreprises, en insistant sur la nécessité de prévoir le rendement futur du travail.
La loi des grands nombres : preuves et applications
Explore la preuve et les applications de la loi des grands nombres, en mettant l'accent sur la convergence de la distribution empirique.
Preuve du lemme principal
Couvre la preuve du lemme principal et ses propriétés mathématiques.
Vérification formelle et synthèse des programmes
Explore les recherches de Viktor Kuncak sur la vérification formelle, la synthèse de programmes et les activités d'enseignement à l'EPFL.
Introduction à l'élimination des quantificateurs pour l'arithmétique de Presbourg
Introduit une méthodologie de vérification formelle et l'arithmétique de Presburger pour la vérification de programme et le raisonnement automatisé.
Consultant numérique : EPFL 2021
Explore le rôle d'un consultant numérique dans le développement d'applications innovantes.
Algèbre linéaire : fonctions injectives
Explore les fonctions d'injection en algèbre linéaire, démontrant comment prouver l'injectivité étape par étape.
Intégration par récurrence
Explore l'intégration par la méthode de récurrence avec des exemples de racines carrées et de polynômes.
