Fédération Wallonie-Bruxelles|
-
-
- Notice 5 sur 289
-
-
Notice complète
Penser types plutôt qu'ensembles
- Auteur :
- Pajot, Philippe
- Sujet :
- Logique mathématique
- Mathématiques : Recherche
- Type de document :
- Livres
- Exemplaires
- Résumé
- Critiques littéraire / Commentaires
- Citations
- Suggestions de lecture
- Vidéos
- Audios
- Mots clés
- Disponible en librairie
| Localiser une bibliothèque |
| Bibliothèque | Commune | Cote | Qté | Réservable | Lien vers le catalogue source |
|---|---|---|---|---|---|
| LIEGE - Centre de ressources B3 (anciennement Chiroux) | LIEGE | - | 1 | oui | 2100230663121 |
| LIEGE - Bibliothèque de Fétinne-Vennes | LIEGE | - | 1 | oui | 1013300045828 |
| LIEGE - Bibliothèque de Grivegnée | LIEGE | - | 1 | oui | 1016300024476 |
| LIEGE - Bibliothèque de Jupille | LIEGE | - | 1 | oui | 1018300057431 |
| LIEGE - Bibliothèque de Xhovémont-Naniot | LIEGE | - | 1 | oui | 1020300031528 |
| LIEGE - Bibliothèque de Saint-Gilles | LIEGE | - | 1 | oui | 1025300060687 |
| LIEGE - Bibliothèque d'Outremeuse (BIB FERMEE) | LIEGE | - | 1 | oui | 1028300024710 |
| LIEGE - Bibliothèque du Thier-à-Liège | LIEGE | - | 1 | oui | 102930003151X |
| WANDRE - Bibliothèque de Wandre | LIEGE | - | 1 | oui | 1030300024311 |
| WAREMME - Bibliothèque libre de Waremme | x | 05 | 1 | oui | 4300RV016413 |
| DISON - Bibliothèque de Dison | DISON | PE | 1 | oui | 482010020532 |
| SPA - Bibliothèque Georges Spailier -Spa | SPA | - | 1 | oui | 87010885300 |
| LIERNEUX - Bibliothèque de Lierneux | LIERNEUX | 5 SCI | 1 | oui | RAL3002344 |
| LIEGE - Bibliothèque itinérante de la Province de Liège | GRACE-HOLLOGNE | - | 1 | oui | 2100802383350 |
Dans les années 1970, les écoliers découvraient les ?maths modernes? : intersection, union... toutes les opérations mathématiques devaient désormais s'écrire d'après la théorie des ensembles, fruit d'une conceptualisation amorcée au XIXe siècle. Mais, incomplète et trop abstraite, cette théorie a vite révélé des failles. Or, un autre langage est prêt à prendre le relais. Plutôt que de penser les objets mathématiques à partir d'ensembles les contenant tous a priori, ce langage propose de les étiqueter sous forme de ?types? permettant ainsi de les classer a posteriori. Un fantastique gage de souplesse, à l'instar des langages informatiques, qui donne déjà des résultats théoriques. C'est sûr, les maths par types ont l'avenir devant elles ! Les écoliers du XXIe siècle ne s'en plaindront pas...
Il n'y a pas de commentaire pour cette notice.
Il n'y a pas de citation pour cette notice.
Il n'y a pas de suggestion de lecture pour cette notice.
Il n'y a pas de vidéo pour cette notice sur Babelio.
Il n'y a pas de vidéo pour cette notice sur Libfly.
Il n'y a pas d'audio pour cette notice.
Il n'y a pas de mots clés pour cette notice.
Information non disponible.
-
-
- Notice 5 sur 289
-
-
