7 résultats : axiomes

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
7 résultats
page 1 sur 1
résultats 1 à 7
Canal-U
Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence
Description : Théorie des types dépendants et axiome d'univalence
Mots clés : Grenoble, CNRS, institut fourier, UGA, inter'actions, types dépendants, axiome d'univalence
Date : 26-05-2015
Format : video/mp4
Auteur : BRUNERIE Guillaume
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : doctorat
Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0
UNIT
P = NP, un problème à un million de dollars ?
Description : Le problème P = NP est le problème fondamental du calcul mathématique. À partir de quel moment un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?
Mots clés : complexité, problème NP-complet, indécidabilité algorithmique, hypothèse de Riemann, axiome, fuscia
Date : 28-11-2006
Format : Document HTML
Auteur : Delahaye Jean-Paul
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Calculer dans un monde hyperbolique ?
Description : Calculer dans un monde hyperbolique, cela peut sembler paradoxal quand on « maîtrise » le monde euclidien. Pourtant, dans un espace hyperbolique, les possibilités théoriques du calcul parallèle sont bien meilleures.
Mots clés : géométrie non euclidienne, géométrie hyperbolique, axiome des parallèles, satisfiabilité, complexité, problème NP-complet, fuscia
Date : 28-11-2006
Format : Document HTML
Auteur : Delahaye Jean-Paul
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNISCIEL (uel)
Généralités (Module: Espaces vectoriels)
Description : Ce chapitre introduit la notion d'espace vectoriel en le définissant et propose une liste d'exercices à appliquer à la fin du chapitre.
Mots clés : espace vectoriel, axiomes
Date : 01-09-1998
Format : Document HTML
Auteur : G.U.I.P. Mathématiques, Geneviève Bretenoux, Marie-Thérèse Hogbé, Jacques Queyrut, Dominique Labarsouque, Bernadette Munos, Catherine Pannier
Éditeur : Ulysse
Thème : Mathématiques
Type de la ressource pédagogique : exercice, questionnaire, cours / présentation
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html
UNIT
Règles de déduction sur les connecteurs
Description : Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
Mots clés : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
Date : 10-01-2020
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
Canal-U
Nécessité et pièges des définitions mathématiques
Description : D'où viennent et à quoi servent les définitions mathématiques ? En quoi sont-elles nécessaires ? En quoi peuvent-elles être pernicieuses ? Sur des exemples liés à l'histoire, à l'enseignement, et au mouvement contemporain des mathématiques, je m'efforcerai de montrer les définitions comme abouti ...
Mots clés : langage mathématique, théorie mathématique, axiome, enseignement des mathématiques, histoire des mathématiques
Date : 22-06-2000
Format : video/mp4
Auteur : KAHANE Jean-Pierre
Thème : Généralités - Sciences fondamentales, Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Probabilités et variables aléatoires (ensemble "Décision et prévision statistiques")
Description : Première partie du cours de "Décision et prévision statistiques". L'objectif ici est d'utiliser le concept de probabilité pour construire un certain nombre de modèles pouvant rendre compte de situations concrètes, où l'application de lois déterministes est impossible parce que les phénomènes sont ...
Mots clés : décision et prévision statistiques, statistique, probabilités, algèbre des évènements, axiomes de Kolmogorov, événements équiprobables, théorème des probabilités totales, probabilités conditionnelles, théorème des probabilités composées, événements indépendants, théorème de Bayes, variable aléatoire ...
Date : 01-01-2008
Format : Document HTML, Document PDF, Document Flash
Auteur : Verdel Thierry, Selme Marie-Odile, Masson Georges, Bigeard Laure, Dussoubs Bernard, Kosior Francis, Vinsard Gérard, Mirgaux Olivier, Marron François
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, exercice, animation, autoévaluation, outil
Niveau : enseignement supérieur, bac+3, bac+4
Public : enseignant, apprenant, auteur
Droits : Ces ressources sont la propriété conjointe l'Ecole Nationale Supérieure des Mines de Nancy et d' UNIT. Leur utilisation est libre dans les limites fixées par la licence CeCILL : http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html