Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Ressources pédagogiques > Sciences et techniques 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 -> Sciences et techniques
Classification Unit > Mathématiques > Mathématiques inductives déductives
Niveau supérieur
  • 62 ressources ont été trouvées. Voici les résultats 1 à 10
  |< << Page précédente 1 2 3 4 5 6 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

Révèle tes défauts (série Unithé ou café)

 [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20140207  | 
  • Auteur(s) : 
  • Haar Stefan  | 
  • Editeur(s) : 
  • INRIA (Institut national de recherche en informatique et automatique), Carvajal Elena  | 
  • Origine de la fiche : 
  • Canal-u.fr
  • Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu’ils n’ont plus de wifi n’est rien face à l’avalanche d’alertes systèmes que reçoit votre fournisseur d’accès à cet instant. Comment démêler d’où vient la panne, alors que les systèmes sont interconnectés et qu’une défaillance peut se manifester ailleurs qu’à la source du problème ? Tel le méde...


  • Référencé le  : 
  • 11-07-2016

    Les réseaux de Petri: modèles fondamentaux

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20060607  | 
  • Auteur(s) : 
  • Trentesaux Damien  | 
  • Editeur(s) : 
  • Université de Valenciennes et du Hainaut-Cambrésis  | 
  • Origine de la fiche : 
  • UVHC
  • Ce cours dispense les fondements de la modélisation en réseaux de Petri, dans le domaine des systèmes à événements discrets, par opposition aux systèmes continus. L?objectif de cette formalisation est de donner des outils d?analyse à la fois analytiques (vérification de propriétés, preuve d?invariance) et à la fois par simulation (comportement dynamique). Les réseaux de Petri constituent la base t...


  • Référencé le  : 
  • 13-11-2014

    The Frobenius Problem and Its Generalizations

     [Ressource pédagogique]


  • Consulter la notice
  • Editeur(s) : 
  • Région PACA, INRIA (Institut national de recherche en informatique et automatique), INRIA (Institut national de recherche en informatique et automatique), UNS, CNRS - Centre National de la Recherche Scientifique  | 
  • Origine de la fiche : 
  • Canal-u.fr
  • The classical but oddly little-known Frobenius problem from number theory is the following: given a set of positive integers with greatest common divisor equal to 1, find the largest integer not representable as a non-negative integer linear combination of the set elements. This largest integer is called the Frobenius number. For example, the Frobenius number of 6, 9, and 20 is 43. In this tal...


  • Référencé le  : 
  • 12-12-2013

    Speculating Seriously in Distributed Computing

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20130404  | 
  • Auteur(s) : 
  • GUERRAOUI Rachid  | 
  • Editeur(s) : 
  • Région PACA, INRIA (Institut national de recherche en informatique et automatique), INRIA (Institut national de recherche en informatique et automatique), UNS, CNRS - Centre National de la Recherche Scientifique  | 
  • Origine de la fiche : 
  • Canal-u.fr
  • If we are ever to understand what computers can collectively do, we need a new theory of complexity. Recent evolutions, including the cloud and the multicore, are turning computing ubiquitously distributed, rendering the classical complexity theory of centralized computing at best insufficient. A complexity theory for distributed computing has emerged in the last decades, measuring complexity...


  • Référencé le  : 
  • 22-08-2013

    Exercices d'algèbre - 1ère année de CPGE économique et commerciale, voie ECS1

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 201207  | 
  • Auteur(s) : 
  • Laidebeure Catherine  | 
  • Origine de la fiche : 
  • Unisciel
  • Ces exercices d'algèbre, accompagnés d'indications et de réponses, sont divisés en 4 parties : (1) Ensembles et applications (2) Nombres réels (3) Nombres complexes (4) Polynômes. Les étudiants sont invités à chercher suffisamment les exercices avant de consulter les indications et réponses. Ils sont ensuite invités à interagir avec le professeur a...


  • Référencé le  : 
  • 07-2012

    Base raisonnée d'exercices de mathématiques : Langage et raisonnement

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 201207  | 
  • Auteur(s) : 
  • Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Quéré Pierre-Vincent, Viallard Michel  | 
  • Editeur(s) : 
  • UNIVERSITE RENNES 1 U RENNES 1  | 
  • Origine de la fiche : 
  • Unisciel
  • BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d’exercices. Tout le contenu d’un cours sur le sujet est présent, mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances. Chaque exercice est en effet au cœur d’un environnement de travail comportant des éléments de cours, des méthodes et techniq...


  • Référencé le  : 
  • 07-2012

    Sens de l'implication

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 2000  | 
  • Auteur(s) : 
  • Cousquer Eliane, Sacré Carlos  | 
  • Origine de la fiche : 
  • UEL
  • sens de l'implication - phrase formelle


  • Référencé le  : 
  • 20-10-2009

    Réunion d'ensembles

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 2000  | 
  • Auteur(s) : 
  • Cousquer Eliane, Sacré Carlos  | 
  • Origine de la fiche : 
  • UEL
  • Cette partie défini les propriétés de la réunion d'ensembles et le lien avec le connecteur "ou".


  • Référencé le  : 
  • 20-10-2009

    Relations - Définition

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 2000  | 
  • Auteur(s) : 
  • Cousquer Eliane, Sacré Carlos  | 
  • Origine de la fiche : 
  • UEL
  • Définition des relations.


  • Référencé le  : 
  • 20-10-2009

    Relations

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 2000  | 
  • Auteur(s) : 
  • Cousquer Eliane, Sacré Carlos  | 
  • Origine de la fiche : 
  • UEL
  • Une relation est définie par son graphe. Etude des relations : relations fonctionnelles ou applications déjà vues précédemment, relation d'équivalence, relation d'ordre.


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