Concept information
Terme préférentiel
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2012-01-10T18:41:57Z
Date de dernière modification: 2013-08-28T21:02:52Z
skos:notation: 330831
Définition
-
A formal science is an area of study that uses formal systems to generate knowledge such as in Mathematics and Computer Science. Formal sciences are important subjects because all of quantitative science depends on them.
(en)
Date de création: 6/12/23
Concept générique
- věda (cs)
Concepts spécifiques
- logika (cs)
- matematika (cs)
Traductions
-
Formalwissenschaft
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2012-02-22T18:09:15Z
Date de dernière modification: 2012-06-06T23:29:52Z
skos:notation: 330831
allemand
-
formal sciences
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2008-09-25T00:00:00Z
Date de dernière modification: 2012-03-29T16:02:18Z
skos:notation: 330831
anglais
-
العلوم الرسمية
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2022-08-15T10:02:42Z
skos:notation: 330831
arabe
-
形式科学
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2025-05-02T12:58:55
skos:notation: 330831
chinois
-
형식과학
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2009-12-02T00:00:00Z
skos:notation: 330831
coréen
-
Ciencia formal
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2024-07-03T16:11:42Z
skos:notation: 330831
espagnol
-
science formelle
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2012-03-29T16:00:31Z
Date de dernière modification: 2021-05-24T17:34:42Z
skos:notation: 330831
français
-
ფორმალური მეცნიერება
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2020-01-05T10:55:05.199+01:00
skos:notation: 330831
géorgien
-
Scienze formali
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2012-02-22T18:09:55Z
Date de dernière modification: 2019-04-04T17:33:41.49+02:00
skos:notation: 330831
italien
-
formelle vitenskaper
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2023-06-12T16:25:54
skos:notation: 330831
norvégien bokmål
-
ciências formais
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2012-03-29T16:01:21Z
Date de dernière modification: 2021-06-16T21:24:42Z
skos:notation: 330831
portugais
-
științe formale
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2021-11-11T13:50:14
skos:notation: 330831
roumain
-
формальные науки
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2019-03-06T15:55:51.831+01:00
skos:notation: 330831
russe
-
формалне науке
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2025-05-29T08:38:58
skos:notation: 330831
serbe
-
sayansi rasmi
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2023-01-26T17:42:42Z
skos:notation: 330831
swahili
-
formel bilimler
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2012-03-22T22:11:42Z
Date de dernière modification: 2013-08-27T17:42:53Z
skos:notation: 330831
turc
-
biçimsel bilimler
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2012-03-22T22:11:58Z
Date de dernière modification: 2013-08-27T17:42:54Z
skos:notation: 1332425518861
-
формальні науки
void:inDataset: http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc
Date de création: 2018-07-23T23:17:14Z
Date de dernière modification: 2018-08-01T13:40:37Z
skos:notation: 330831
ukrainien