4 résultats : formalisation

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
4 résultats
page 1 sur 1
résultats 1 à 4
Canal-U
La connaissance et son organisation via ses supports d'inscription : impact du numérique et du formel
Description : De la théorie de la rémininiscence aux récents travaux relatifs au Web Sémantique, les questionnements philosophique, organisationnel et technologique concernant la production, l'accessibilité et l'exploitation des connaissances s'expriment avec une acuité particulière depuis la récente mutation ...
Mots clés : numérique, homo sapiens retiolus, réseau sémantique, orientation dans l'information, web sémantique, document, Technologies de l'Information et de la Communication, connaissances, recherche d'information, écriture, savoir, formalisation des connaissances
Date : 20-01-2005
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
 En savoir plus
 Description complète
La connaissance et son organisation via ses supports d'inscription : impact du numérique et du formel
 Ajouter à mon panier
Accéder aux documents
Canal-U
Mathématiques et réalité
Description : Conférence du 14 janvier 2000 par Pierre Cartier. Nous voulons insister sur le cycle de rétroaction des mathématiques et de la réalité, prise dans son sens social et technologique. Les caractéristiques principales des mathématiques nous semblent les suivantes : a) Dégager et organiser un savoir-faire ...
Mots clés : combinatoire, représentation du réel, philosophie des mathématiques, nombre, langage mathématique, intersubjectivité, histoire des sciences, forme géométrique, formalisation, théorie mathématique
Date : 14-01-2000
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Mathématiques et réalité
 Ajouter à mon panier
Accéder aux documents
UNISCIEL (unisciel)
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Description : 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 ...
Mots clés : démonstration, raisonnement par récurrence, raisonnement par l'absurde, quantificateurs, implication, contraposée, équivalence, structure d'une démonstration, formaliser un énoncé mathématique, existence, unicité, contre-exemple
Date : 07-2012
Droits : Libre d'accès pour un usage non commercial.
 En savoir plus
 Description complète
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
 Ajouter à mon panier
Accéder au document 
Droits d'accès : non autorisé
Canal-U
Le management d'hier et de demain (la corporate governance)
Description : Le monde change. Les changements sont rapides, quelquefois inattendus. L'entreprise doit s'adapter, être réactive, apprenante, souple, décentralisée. Prises de décisions rapides, échanges d'idées, de savoir- faire, fertilisation croisée, dans le respect des cultures, des différences, complémentarité, ...
Mots clés : responsabilité, créativité, coaching, management, coordination, formalisation, pme, économie, entreprise, information, hiérarchie
Date : 19-05-2000
Droits : Droits réservés à l'éditeur et aux auteurs. Creative Commons (BY NC)
 En savoir plus
 Description complète
Le management d'hier et de demain (la corporate governance)
 Ajouter à mon panier
Accéder aux documents