| rdfs:comment
| - علم الحاسوب النظري هو فرع من علم الحاسوب والرياضيات والذي يهتم أكثر بالمواضيع المجردة أو المفاهيم الرياضية للحاسوبية ومن ضمنه أيضا نظرية الحاسوبية. (ar)
- La Informàtica teòrica és una divisió o subconjunt de la Informàtica i les Matemàtiques que se centra en els aspectes més abstractes o formals de la informàtica. Aquesta divisió inclou l'Anàlisi d'algorismes i la dels llenguatges de programació. Hi ha més conjunts d'estudi a part d'aquests dos, els quals tenen diferents grups professionals i associacions d'estudi i revistes i congressos diferents. (ca)
- Las ciencias de la computación teórica o ciencias de la informática teórica (TCS) es una división o un subconjunto de las ciencias de la computación y las matemáticas que se enfoca en aspectos más abstractos o matemáticos de la computación. Estas divisiones y subconjuntos incluyen análisis de algoritmos y . Técnicamente, además de estos dos, hay cientos de divisiones y subconjuntos. Cada una de las múltiples partes tienen sus propios líderes personales individuales (de popularidad) y hay muchas asociaciones y grupos sociales profesionales y publicaciones de distinción. (es)
- 이론 컴퓨터 과학 또는 이론 전산학(영어: theoretical computer science)은 일반 컴퓨터 과학 및 수학의 한 분야로, 컴퓨터나 계산 과정의 추상적이고 근본적인 원리를 연구하는 학문이다. 역사적으로 보았을 때 컴퓨터 과학의 기원은 수리 논리학의 발전과 함께 대두한 계산 가능성 연구로, 이에 관한 결정 문제와 튜링 기계 등을 논하던 계산 이론으로부터 이후 실질적인 응용으로 발전하여 나온 것이다. 이론 전산학과 일반적인 응용 전산학을 구분하는 명확한 기준은 없으나, 이론 전산학은 대체로 수학적인 면에 치중하는 경향이 있다. 이론 전산학은 계산 가능성 이론, 오토마타 이론 등 수리논리학적 분야를 기초로 삼으며, 더욱 세부적인 연구 분야로는 그래프 이론, 조합론, 정수론, 암호학, 유형 이론, 계산 복잡도 이론, 최적화 이론 등에 관한 연구가 있다. (ko)
- L'informatica teorica è una branca dell'informatica e della matematica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale. La prima studia cosa in generale possa essere calcolato tramite algoritmi, la seconda cosa e come sia calcolato da uno specifico algoritmo, la terza le risorse ad esso necessarie. Nonostante non abbia come oggetto un singolo argomento, i suoi ricercatori spesso formano un sottogruppo compatto all'interno degli informatici. (it)
- 理論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）または理論コンピュータ科学は、計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 この分野のテーマの例を以下に挙げる（特に意図や理由のある選出ではない）。
* 計算理論：ある関数に対する計算の可能性や複雑性を追求する学問。
* ラムダ計算：計算機のモデルの一つであるラムダ計算を研究する学問。
* アルゴリズム論：ある関数に対する具体的な算法の考案、あるいは既存の算法の解析を行う学問。
* プログラム意味論: プログラムあるいはプログラミング言語の形式意味論 (ja)
- Informatyka teoretyczna (ang. computer science) – dyscyplina w dziedzinie nauk ścisłych i przyrodniczych oraz kierunek studiów uniwersyteckich, wykorzystujący aparat matematyczny do badań nad naturą i teorią obliczeń, automatów i informacji oraz tworzenia algorytmów wyrażanych w językach programowania i strukturach danych. W części praktycznej zajmuje się optymalizowaniem wykorzystania architektury komputerów, do obliczeń numerycznych i analiz statystycznych oraz przetwarzania danych w implementowanych bazach danych, systemach informacyjnych, graficznych, webowych, chmurowych, kryptograficznych, sieciowych, sztucznej inteligencji itp. (pl)
- Teoretisk datavetenskap eller teoretisk datalogi är en delmängd av allmän datavetenskap och matematik som fokuserar på mer matematiska ämnen för datoranvändning och inkluderar beräkningsteorin. Det är svårt att beskriva de teoretiska områdena exakt. ACM:s särskilda intressegrupp för algoritmer och beräkningsteori (SIGACT) ger följande beskrivning: (sv)
- 理論計算機科學（英語：theoretical computer science，縮寫为TCS）是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在電腦科學的研究者里自成一派。 (zh)
- Teoretická informatika je oblast matematické informatiky a matematiky, která se zaměřuje na abstraktnější a matematické aspekty zpracování informací, které mají využití v počítačích a zpracování informací. Přesně vymezit oblast teoretické informatiky není snadné; časopis popisuje svůj obor takto: Časopis doplňuje teorii kódování, a aspekty teoretické informatiky v takových oblastech jako jsou databáze, získávání informací, ekonomické modely a počítačové sítě. (cs)
- Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen. Ihre Inhalte sind Automatentheorie, Theorie der formalen Sprachen, Berechenbarkeits- und Komplexitätstheorie, aber auch Logik und formale Semantik sowie die Informations-, Algorithmen- und Datenbanktheorie. (de)
- Η Θεωρητική πληροφορική είναι ένα τμήμα ή υποσύνολο της γενικής επιστήμης των υπολογιστών και των μαθηματικών που επικεντρώνεται σε πιο αφηρημένες έννοιες ή μαθηματικές πτυχές της πληροφορικής και περιλαμβάνει την . Δεν είναι εύκολο να οριοθετηθούν οι θεωρητικοί τομείς επακριβώς και η (SIGACT) της περιγράφει ότι αποστολή της είναι η προώθηση της θεωρητικής επιστήμης των υπολογιστών και σημειώνει ότι: (el)
- Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: (en)
- 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)
- De theoretische informatica is het vakgebied binnen de informatica dat de logische en wiskundige grondslagen van de informatica bestudeert. De nadruk ligt op wiskundige formaliseringen en bewijzen. Onderwerpen die binnen de theoretische informatica worden bestudeerd, zijn onder andere:
* formele talen en automatentheorie,
* berekenbaarheids- en complexiteitstheorie,
* algoritmen en datastructuren,
* semantiek en van computerprogramma's,
* gelijktijdigheidstheorie (concurrency theory) en
* informatietheorie en cryptografie. (nl)
- Ciência da computação teórica (TCS) ou informática teórica é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.Não é fácil delimitar as áreas de teoria com precisão e o Grupo de Interesse Especial da ACM em Algoritmos e Teoria da Computação (SIGACT) descreve seu papel como a promoção da ciência da computação teórica e fornece a seguinte nota: (pt)
- Теоретическая информатика — это научная область, предметом изучения которой являются информация и , в которой осуществляется изобретение и создание новых средств работы с информацией. Это подразделение общей информатики и математики, которое сосредотачивается на более абстрактных или математических аспектах вычислительной техники и включает в себя теорию алгоритмов. (ru)
- Теоретична інформатика — це наукова галузь, предметом вивчення якої є інформація та інформаційні процеси, в якій здійснюється винахід і створення нових засобів роботи з інформацією. Це підрозділ загальної інформатики та математики, який зосереджується на більш абстрактних або математичних аспектах обчислювальної техніки і яка включає в себе теорію алгоритмів. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)