Rechercher une ressource pédagogique : axiome

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

5 résultats
section 1 sur 1
résultats 1 à 5
UNIT
UNIT
28.11.2006
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.
  • géométrie non euclidienne
  • géométrie hyperbolique
  • axiome des parallèles
  • satisfiabilité
  • complexité
  • problème NP-complet
  • fuscia
UNIT
UNIT
28.11.2006
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 ?
  • complexité
  • problème NP-complet
  • indécidabilité algorithmique
  • hypothèse de Riemann
  • axiome
  • fuscia
UNIT
UNIT
01.01.2008
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 ...
  • 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 ...
UNIT
UNIT
10.01.2020
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
  • langage logique
  • représentation des preuves
  • axiome
  • règle d'affaiblissement
  • connecteur
  • logique classique
  • raisonnement par l'absurde
UNISCIEL (uel)
UNISCIEL (uel)
01.09.1998
Description : Ce chapitre introduit la notion d'espace vectoriel en le définissant et propose une liste d'exercices à appliquer à la fin du chapitre.
  • espace vectoriel
  • axiomes