Theoretical computer science is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not itself a single topic, its practitioners form a distinct subgroup within computer science researchers.

PropertyValue
dbpprop:abstract
  • Theoretical computer science is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not itself a single topic, its practitioners form a distinct subgroup within computer science researchers.
  • La ciencia computacional teórica es una colección de temas de Ciencias de la computación que se centra en los aspectos más abstractos, lógicos y matemáticos de la computación, tales como Teoría de la computación, Análisis de algoritmos, Teoría de categorías y Semántica formal de lenguajes de programación. Pese a no ser un tema aislado, los que se dedican a este tema forman un subgrupo distinto dentro de los investigadores en ciencias de la computación.
  • Tietojenkäsittelyteoria kehittää ja soveltaa matemaattisia menetelmiä tietojenkäsittelytehtävien systemaattiseen mallintamiseen, analysointiin ja ratkaisuun. Tietojenkäsittelyteoreettisilla menetelmillä on keskeinen asema esimerkiksi ohjelmointikielten ja niiden kääntäjien kehittämisessä, ohjelmistojärjestelmien suunnittelutekniikoissa, rinnakkaisten tietokonearkkitehtuurien suunnittelussa, kryptografiassa, tietoliikenneverkkojen reititysalgoritmeissa ja protokollissa sekä VLSI-suunnittelussa. Klassisia tietojenkäsittelyteorian osa-alueita ovat mm. formaalit kielet ja kieliopit, algoritmiteoria ja laskettavuus, automaattiteoria, sanojen kombinatoriikka, formaalit menetelmät, rinnakkaislaskennan mallittaminen ja verifiointi sekä laskennallinen logiikka.
  • 理論計算機科学（りろんけいさんきかがく、theoretical computer science）は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、計算機はチューリング機械（もしくはそれと同等の概念）としてモデル化されている。 理論計算機科学の代表的な分野として以下のものがある。 計算理論：ある関数に対する計算の可能性や複雑性を追求する学問。 ラムダ計算：計算機のモデルの一つであるラムダ計算を研究する学問。 アルゴリズム論：ある関数に対する具体的な算法の考案、あるいは既存の算法の解析を行う学問。 プログラム意味論: プログラムあるいはプログラミング言語の形式意味論
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • Theoretical computer science is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not itself a single topic, its practitioners form a distinct subgroup within computer science researchers.
  • La ciencia computacional teórica es una colección de temas de Ciencias de la computación que se centra en los aspectos más abstractos, lógicos y matemáticos de la computación, tales como Teoría de la computación, Análisis de algoritmos, Teoría de categorías y Semántica formal de lenguajes de programación. Pese a no ser un tema aislado, los que se dedican a este tema forman un subgrupo distinto dentro de los investigadores en ciencias de la computación.
  • Tietojenkäsittelyteoria kehittää ja soveltaa matemaattisia menetelmiä tietojenkäsittelytehtävien systemaattiseen mallintamiseen, analysointiin ja ratkaisuun.
rdfs:label
  • Theoretical computer science
  • Ciencia computacional teórica
  • Tietojenkäsittelyteoria
  • 理論計算機科学
owl:sameAs
skos:subject
foaf:page
is dbpedia-owl:Person/knownFor of
is dbpedia-owl:knownFor of
is dbpprop:discipline of
is dbpprop:field of
is dbpprop:knownFor of
is dbpprop:mainInterests of