7 résultats : axiomes

Recherche en cours

Par mots-clef = 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

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

Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0

Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence

Ajouter à mon panier

Accéder aux documents

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

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

P = NP, un problème à un million de dollars ?

Ajouter à mon panier

Accéder au document

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

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

Calculer dans un monde hyperbolique ?

Ajouter à mon panier

Accéder au document

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

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Généralités (Module: Espaces vectoriels)

Ajouter à mon panier

Accéder au document

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

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Règles de déduction sur les connecteurs

Ajouter à mon panier

Accéder au document

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

Droits : Droits réservés à l'éditeur et aux auteurs.

Nécessité et pièges des définitions mathématiques

Ajouter à mon panier

Accéder aux documents

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

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

Probabilités et variables aléatoires (ensemble "Décision et prévision statistiques")

Ajouter à mon panier

Accéder au document

Rebondir