About DBpedia Fr

About: http://fr.dbpedia.org/resource/Informatique_théorique

An Entity of Type : Thing, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques.

thumbnail
Property Value
dbo:abstract
  • L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. De nombreuses disciplines peuvent être regroupées sous cette dénomination diffuse dont : * la théorie de la calculabilité, * l'algorithmique et la théorie de la complexité, * la théorie de l'information, * l'étude de la sémantique des langages de programmation, * la logique mathématique, * la théorie des automates et des langages formels. (fr)
  • L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. De nombreuses disciplines peuvent être regroupées sous cette dénomination diffuse dont : * la théorie de la calculabilité, * l'algorithmique et la théorie de la complexité, * la théorie de l'information, * l'étude de la sémantique des langages de programmation, * la logique mathématique, * la théorie des automates et des langages formels. (fr)
dbo:isPartOf
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 261885 (xsd:integer)
dbo:wikiPageLength
  • 17219 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190834026 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
prop-fr:wikiversity
  • Département:Informatique théorique (fr)
  • Département:Informatique théorique (fr)
prop-fr:wikiversityTitre
  • Département:Informatique théorique (fr)
  • Département:Informatique théorique (fr)
dct:subject
rdfs:comment
  • L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. (fr)
  • L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. (fr)
rdfs:label
  • Informatique théorique (fr)
  • Ciência da computação teórica (pt)
  • Informatica teorica (it)
  • Informatyka (teoretyczna) (pl)
  • Khoa học máy tính lý thuyết (vi)
  • Teoretisk datavetenskap (sv)
  • Theoretical computer science (en)
  • Теоретическая информатика (ru)
  • Теоретична інформатика (uk)
  • 理論計算機科学 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:discipline of
is dbo:domain of
is dbo:isPartOf of
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:champs of
is prop-fr:discipline of
is prop-fr:disciplines of
is prop-fr:domaine of
is prop-fr:domaines of
is prop-fr:renomméPour of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License