6 résultats : intuitionnisme

Recherche en cours

Par mots-clef = intuitionnisme

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

6 résultats

page 1 sur 1

résultats 1 à 6

Connaissances et pensée mathématiques : les bases cérébrales de l'intuition numérique

Description : Quelles représentations mentales et quelles structures cérébrales permettent au cerveau humain de créer des mathématiques ? Les nouvelles méthodes des sciences cognitives et de l'imagerie cérébrale permettent d'aborder cette question empiriquement, même si nous ne pouvons guère qu'effleurer le sujet ...

Mots clés : imagerie cérébrale, philosophie des mathématiques, calcul inconscient, cerveau humain, intuition des nombres, neurosciences cognitives, région pariétale, représentation mentale

Date : 15-06-2000

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

Connaissances et pensée mathématiques : les bases cérébrales de l'intuition numérique

Ajouter à mon panier

Accéder aux documents

Réussir son apprentissage en FOAD : poids de l’intuition / Jean Frayssinhes

Description : Réussir son apprentissage en FOAD : poids de l’intuition / Jean Frayssinhes, conférence organisée par le service Formation Continue (secteur Education-Formation) de l'Université Toulouse Jean Jaurès-campus Mirail, 21 Mai 2015. Dans un contexte professionnel en perpétuelle mutation, les salariés ...

Mots clés : e-learning, formation des adultes, intuition et apprentissage, aptitude à l'apprentissage, apprentissage cognitif, intelligences multiples, mathétique

Date : 26-05-2015

Réussir son apprentissage en FOAD : poids de l’intuition / Jean Frayssinhes

Ajouter à mon panier

Accéder aux documents

Les fondements des mathématiques

Description : "La "" crise des fondements "" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "" Programme de Hilbert "" (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude ...

Mots clés : analyse, théorème de Gödel, récessivité, Popperisme, paradoxe, langage informatique, intuitionnisme, Hilbert, formalisme mathématique, expansivité, diagonale de Cantor, arithmétique de Peano, théorie des ensembles

Date : 17-06-2000

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

Les fondements des mathématiques

Supprimer de mon panier

Accéder aux documents

Il faut être "cultivé" (Ce que nous apprend l'anthropologie, 14/28)

Description : Si l’anthropologue ne trouve personne ou aucun écrit pour confirmer ses interprétations, il existe un grand risque d’erreur. « On voit que ce métier en vérité demande beaucoup d’audace », conclut Sophie Caratini. Il y a indéniablement une part de construction dans les interprétations. Ces dernières ...

Mots clés : ethnologie, anthropologie, culture, intuition

Date : 2014

Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France

Il faut être "cultivé" (Ce que nous apprend l'anthropologie, 14/28)

Ajouter à mon panier

Accéder au document

L'intuition (Ce que nous apprend l'anthropologie, 12/28)

Description : L’interprétation intervient lorsque le chercheur se soumet à un certain moment à son intuition. Sophie Caratini affirme même que c’est l’intérêt du chercheur, s’il veut dépasser le stade de la description des comportements observés, de mettre en perspective et de proposer une interprétation globale, ...

Mots clés : interprétation, intuition, anthropologue, Gnawa

Date : 2014

Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France

L'intuition (Ce que nous apprend l'anthropologie, 12/28)

Ajouter à mon panier

Accéder au document

Introduction à la logique

Description : Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul.

Mots clés : logique, langage formel, algèbre Boole, calcul proposition, algorithme de décision, preuve, calcul prédicat, logique intuitionniste, lambda calcul, fuscia

Date : 01-09-2009

Droits : Ressource en accès libre.

Introduction à la logique

Ajouter à mon panier

Accéder au document

Rebondir