| dbo:abstract
|
- علم الحاسوب النظري هو فرع من علم الحاسوب والرياضيات والذي يهتم أكثر بالمواضيع المجردة أو المفاهيم الرياضية للحاسوبية ومن ضمنه أيضا نظرية الحاسوبية. (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)
- 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: Obor teoretické informatiky se široce interpretuje jako obor zahrnující algoritmy, datové struktury, teorii složitosti, distribuované výpočty, paralelní výpočty, VLSI, strojové učení, , , teorii informace, kryptografii, , a algebru, sémantiku programovacích jazyků a , teorii automatů a studium náhodnosti. Práce v tomto oboru se často vyznačuje důrazem na matematický přístup a přesnost. Č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)
- Η Θεωρητική πληροφορική είναι ένα τμήμα ή υποσύνολο της γενικής επιστήμης των υπολογιστών και των μαθηματικών που επικεντρώνεται σε πιο αφηρημένες έννοιες ή μαθηματικές πτυχές της πληροφορικής και περιλαμβάνει την . Δεν είναι εύκολο να οριοθετηθούν οι θεωρητικοί τομείς επακριβώς και η (SIGACT) της περιγράφει ότι αποστολή της είναι η προώθηση της θεωρητικής επιστήμης των υπολογιστών και σημειώνει ότι: Το πεδίο της θεωρητικής επιστήμης των υπολογιστών ερμηνεύεται γενικά, ώστε να περιλαμβάνει αλγορίθμους, δομές δεδομένων, θεωρία πολυπλοκότητας, , , VLSI, μηχανική μάθηση, , , θεωρία της πληροφορίας, κρυπτογραφία, κβαντικό υπολογισμό, και άλγεβρας, και , θεωρία αυτομάτων, καθώς και τη μελέτη της . Οι εργασίες στον τομέα αυτό διακρίνονται συχνά από την έμφαση στην μαθηματική τεχνική και στην . Στον παραπάνω κατάλογο, το περιοδικό της ACM Transactions on Computation Theory προσθέτει τη , την και τις θεωρητικές πτυχές της επιστήμης των υπολογιστών σε τομείς όπως οι βάσεις δεδομένων, η ανάκτηση πληροφοριών, τα οικονομικά μοντέλα και τα δίκτυα. Παρά το ευρύ πεδίο εφαρμογής , οι "θεωρητικοί" στην επιστήμη των υπολογιστών αυτοπροσδιορίζονται ως διαφορετικοί από τους "ειδικούς εφαρμογών". Κάποιοι αυτοχαρακτηρίζονται ότι εφαρμόζουν «(την πιο θεμελιώδη) επιστήμη (ες) που κρύβεται πίσω από το πεδίο της υπολογιστικής». Άλλοι «θεωρητικοί – ειδικοί εφαρμογών » προτείνουν ότι είναι αδύνατο να διαχωριστεί η θεωρία από την πρακτική εφαρμογή . Αυτό σημαίνει ότι οι αναφερόμενοι ως «θεωρητικοί» χρησιμοποιούν τακτικά την πειραματική επιστήμη (ες) σε λιγότερο θεωρητικούς τομείς όπως η έρευνα λογισμικού συστήματος . Αυτό σημαίνει επίσης ότι υπάρχει περισσότερη συνεργασία παρά ανταγωνισμός αλληλοαναίρεσης μεταξύ θεωρίας και εφαρμογής. (el)
- 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. Die theoretische Informatik wurde – von den Befürwortern dieser Wissenschaftskategorie – in die Strukturwissenschaften eingeordnet und bietet Grundlagen für die Definition, Verifikation und Ausführung der Programme von Programmiersprachen, den Bau der Compiler von Programmiersprachen – den Compilerbau – und die mathematische Formalisierung und Untersuchung von meist diskreten Problemstellungen und deren Modellen. Mit Hilfe mathematischer Abstraktion der Eigenschaften von gewonnenen Modellen ergaben sich nützliche Definitionen, Sätze, Beweise, Algorithmen, Anwendungen und Lösungen von bzw. zu Problemen. Die theoretische Informatik bildet mit ihren zeitlosen, mathematischen Wahrheiten und Methoden ein formales Skelett, das die Informatik in der Praxis mit konkreten Implementierungen durchdringt. Die theoretische Informatik identifizierte viele unlösbare Problemstellungen mittels der Berechenbarkeitstheorie und erlaubt, häufig mit konstruktiver Beweisführung der Komplexitätstheorie, die Abgrenzung der praktisch effizient lösbaren Probleme von denen, für die das Gegenteil gilt. Zu den konstruktiven Methoden der theoretischen Informatik zählt auch das Entwerfen von formalen Systemen, Automaten, Graphen und Syntaxdiagrammen sowie das Festlegen von Grammatiken und Semantiken, um eine Problemstellung mit mathematischen Ausdrücken formal zu fassen und von der informellen Ebene abzuheben. Die Konstrukte beschreiben so die innere Logik eines Problems mit mathematisch-logischen Aussagen, was im Weiteren eine formale Untersuchung erlaubt und potenziell neue – durch Beweise gestützte – Aussagen und Algorithmen der formalen Modelle als Resultate erschließbar macht. Neben dem mathematischen Erkenntnisgewinn lassen sich manche der gefundenen Lösungen praktisch implementieren, um Menschen durch Maschinensemantik automatisierte Vorteile der Mathematik- und Computer-Nutzung zu verschaffen. (de)
- 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)
- 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)
- 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: TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, algorithmic game theory, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor. (en)
- 이론 컴퓨터 과학 또는 이론 전산학(영어: theoretical computer science)은 일반 컴퓨터 과학 및 수학의 한 분야로, 컴퓨터나 계산 과정의 추상적이고 근본적인 원리를 연구하는 학문이다. 역사적으로 보았을 때 컴퓨터 과학의 기원은 수리 논리학의 발전과 함께 대두한 계산 가능성 연구로, 이에 관한 결정 문제와 튜링 기계 등을 논하던 계산 이론으로부터 이후 실질적인 응용으로 발전하여 나온 것이다. 이론 전산학과 일반적인 응용 전산학을 구분하는 명확한 기준은 없으나, 이론 전산학은 대체로 수학적인 면에 치중하는 경향이 있다. 이론 전산학은 계산 가능성 이론, 오토마타 이론 등 수리논리학적 분야를 기초로 삼으며, 더욱 세부적인 연구 분야로는 그래프 이론, 조합론, 정수론, 암호학, 유형 이론, 계산 복잡도 이론, 최적화 이론 등에 관한 연구가 있다. (ko)
- 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. Er werd al over computers en hun mogelijkheden nagedacht voordat zij in de praktijk werden gebruikt. Computers werden daarbij als abstracte machines weergegeven. Alan Turing bedacht de turingmachine in 1936. De informatietheorie kon in de praktijk eerder worden toegepast dan dat er computers waren, omdat er eerder met elektronische middelen informatie kon worden verzonden. Bekende theoretisch informatici zijn Alan Turing, Edsger Dijkstra en Donald Knuth. (nl)
- 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)
- 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: "O campo da ciência da computação teórica é interpretado de forma ampla, de modo a incluir algoritmos, estruturas de dados, teoria da complexidade computacional, computação distribuída, computação paralela, , aprendizado de máquina, biologia computacional, geometria computacional, teoria da informação, criptografia, computação quântica, teoria dos números e álgebra, semântica de programas e sua verificação, teoria dos autômatos, e o estudo da aleatoriedade. O trabalho neste campo é muitas vezes distinguido por sua ênfase na técnica matemática e rigor." A esta lista, o jornal Transactions on Computation Theory da ACM acrescenta teoria de códigos, teoria da aprendizagem computacional e aspectos de áreas de ciência da computação teórica, tais como bancos de dados, recuperação de informação, os modelos econômicos e redes. Apesar desse escopo amplo, o "pessoal de teoria" em ciência da computação se auto-identificam como diferente do "pessoal das aplicações." Alguns se caracterizam como fazer a "‘ciência(s)’ (mais fundamental) subjacente à área da computação”. Já as “pessoas da teoria-aplicada” sugerem que é impossível para a teoria e aplicação sem separadas. Isto significa que as chamadas "pessoas da teoria" usam regularmente ciência(s) experimental feita em áreas menos teóricas, tais como a investigação sistema de software. Significa, também, que há mais de cooperação do que de competição mutuamente excludente entre teoria e aplicação. (pt)
- 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)
- Теоретическая информатика — это научная область, предметом изучения которой являются информация и , в которой осуществляется изобретение и создание новых средств работы с информацией. Это подразделение общей информатики и математики, которое сосредотачивается на более абстрактных или математических аспектах вычислительной техники и включает в себя теорию алгоритмов. Как любая фундаментальная наука, теоретическая информатика (в тесном взаимодействии с философией и кибернетикой) занимается созданием системы понятий, выявлением общих закономерностей, позволяющих описывать информацию и информационные процессы, протекающие в различных сферах (в природе, обществе, человеческом организме, технических системах). Не просто точно описать рамки данной теории. ACM SIGACT (англ. Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory), подгруппа ACM, описывает науку, как поддержку теоретической информатики и отмечает: Область теоретической информатики толкуется широко и включает в себя алгоритмы, структуры данных, теорию сложности вычислений, распределённые вычисления, параллельные вычисления, СБИС (сверхбольшая интегральная схема), машинное обучение, вычислительную биологию, вычислительную геометрию, теории информации, криптографию, квантовый компьютинг, теорию чисел, алгебру и теорию вычисления (символьные вычисления), семантику и верификацию языков программирования, теорию автоматов, а также теории случайных процессов. Работа в этой области часто отличается акцентом на математической технике и строгости. К этому списку научный журнал «ACM Transactions on Computation Theory» (TOCT) также добавляет теорию кодирования, теорию вычислительного обучения и аспекты теоретической информатики в таких областях, как базы данных, информационный поиск, экономические модели и сети. Несмотря на такую широкую сферу деятельности, теоретики информатики отличают себя от практиков. Некоторые характеризуют себя как тех, кто делает «более фундаментальный научный труд, что лежит в основе области вычислительной техники». Другие же «теоретики-практики» настаивают, что невозможно отделить теории от практики. Это означает, что теоретики регулярно используют экспериментальную науку, которая выполняется в менее теоретических областях, таких как исследование систем программного обеспечения. (ru)
- Теоретична інформатика — це наукова галузь, предметом вивчення якої є інформація та інформаційні процеси, в якій здійснюється винахід і створення нових засобів роботи з інформацією. Це підрозділ загальної інформатики та математики, який зосереджується на більш абстрактних або математичних аспектах обчислювальної техніки і яка включає в себе теорію алгоритмів. Як будь-яка фундаментальна наука, теоретична інформатика (в тісній взаємодії з філософією і кібернетикою) займається створенням системи понять, виявленням загальних закономірностей, що дозволяють описувати інформацію та інформаційні процеси, що протікають в різних сферах (у природі, суспільстві, людському організмі, технічних системах). (uk)
|
| 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)
|
