Note : 8G9S8XNI
Contenu
- Titre
- Note : 8G9S8XNI
- Description
- <p>"La partie de la logique qui utilise ces notions [variable, quantité] se nomme la logique du premier ordre, par opposition aux logiques d'ordre supérieur, comme celle du second ordre, dans lesquelles il est possible de quantifier également les relations et les fonctions." p. 56</p>
- Date de soumission
- 11 février 2011, 16:22:25 +00:00
- Est référencé par
- 8G9S8XNI
- Est une partie de
- Logique(s), langages formels et complexité pour l'informatique
- is compiled by
- Lucky Semiosis
- Complexité
-
184
- Date de modification
- 8 septembre 2023, 06:50:52 +00:00
- Détails de la complexité
- Physique,1,,,,,11,11
- Physique,2,,,,,16,32
- Actant,2,,,,,1,2
- Concept,1,,,,,10,10
- Concept,2,,,,,20,40
- Rapport,1,1,Physique,Concept,properties,10,10
- Rapport,1,1,Physique,Physique,values,10,10
- 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,4,4
- Rapport,2,2,Concept,Concept,properties,12,24
- Rapport,2,2,Concept,Physique,values,12,24
- Totaux de la complexité
- Physique,2,1,2,27,43
- Actant,1,2,2,1,2
- Concept,2,1,2,30,50
- Rapport,8,1,2,57,89
- Existence,13,1,2,115,184
- Collections
- Zotero
Annotations
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : 8G9S8XNI avec le tag logique
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : 8G9S8XNI avec le tag citation
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : 8G9S8XNI avec le tag ordre
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : 8G9S8XNI avec le tag premier
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |