Note : TNBE53KT
Contenu
- Titre
- Note : TNBE53KT
- Description
- <p>"il s'agit là [les systèmes symboliques] d'outils forgés au début du XXe siècle, par des mathématiciens et des logiciens, pour décrire formellement l'activité mathématique. A cette fin, toutes les notions élémentaires qu'Euclide avait formulées, à savoir les notions de théorème et d'axiome, ont été reprises et traduites en termes mathématiques." p. 57</p>
- Date de soumission
- 24 novembre 2011, 10:03:06 +00:00
- Est référencé par
- TNBE53KT
- Est une partie de
- L'intelligence artificielle
- is compiled by
- Lucky Semiosis
- Complexité
-
153
- Date de modification
- 8 septembre 2023, 06:53:35 +00:00
- Détails de la complexité
- Physique,1,,,,,10,10
- Physique,2,,,,,13,26
- Actant,2,,,,,1,2
- Concept,1,,,,,9,9
- Concept,2,,,,,16,32
- Rapport,1,1,Physique,Concept,properties,9,9
- Rapport,1,1,Physique,Physique,values,9,9
- Rapport,1,1,Physique,Actant,cito:isCompiledBy,1,1
- Rapport,2,2,Actant,Concept,properties,4,8
- Rapport,2,2,Actant,Physique,values,4,8
- Rapport,1,1,Physique,Concept,skos:semanticRelation,3,3
- Rapport,2,2,Concept,Concept,properties,9,18
- Rapport,2,2,Concept,Physique,values,9,18
- Totaux de la complexité
- Physique,2,1,2,23,36
- Actant,1,2,2,1,2
- Concept,2,1,2,25,41
- Rapport,8,1,2,48,74
- Existence,13,1,2,97,153
- Collections
- Zotero
Annotations
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : TNBE53KT avec le tag système
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : TNBE53KT avec le tag activité
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : TNBE53KT avec le tag Euclide
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |