Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Ressources pédagogiques > Accès par mots-clefs en fr
  • Nouveautés
  • Recherche avancée
  • Sciences et techniques
  • Sciences de la terre
  • Chimie
  • Sciences de la vie
  • Physique
  • Toutes les thématiques
Ressources pédagogiques -> Mot(s)-clé
axiome
  • 4 ressources ont été trouvées. Voici les résultats 1 à 4
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

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

 [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20080101  | 
  • Auteur(s) : 
  • Verdel Thierry, Selme Marie-Odile, Masson Georges, Bigeard Laure, Dussoubs Bernard, Kosior Francis, Vinsard Gérard, Mirgaux Olivier, Marron François  | 
  • Editeur(s) : 
  • Ecole des Mines de Nancy - Institut national polytechnique de Lorraine, UNIT, Groupe des Ecoles des Mines  | 
  • Origine de la fiche : 
  • Université Numérique Ingénierie et Technologie
  • 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 très compliqués, ou les facteurs trop nombreux....


  • Référencé le  : 
  • 16-12-2020

    Règles de déduction sur les connecteurs

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20200110  | 
  • Auteur(s) : 
  • JAUME Mathieu, Mounier Isabelle  | 
  • Editeur(s) : 
  • Sorbonne Université, UNIT  | 
  • Origine de la fiche : 
  • Université Numérique Ingénierie et Technologie
  • 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...


  • Référencé le  : 
  • 02-09-2020

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

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20150526  | 
  • Auteur(s) : 
  • BRUNERIE Guillaume  | 
  • Editeur(s) : 
  • Bastien Fanny  | 
  • Origine de la fiche : 
  • Canal-u.fr
  • Théorie des types dépendants et axiome d'univalence


  • Référencé le  : 
  • 20-09-2016

    Cardinal d'un ensemble - Les cardinaux infinis

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 2000  | 
  • Auteur(s) : 
  • Cousquer Eliane, Sacré Carlos  | 
  • Origine de la fiche : 
  • UEL
  • On étudie l'axiome du choix qui autorise le mathématicien à faire une infinité de choix simultanés. On compare le cardinal d'une ensemble et celui de l'ensemble de parties de cet ensemble.


  • Référencé le  : 
  • 20-10-2009
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI