| Arabic |
| has gloss | ara: التحسيب في المعلوماتية، التحسيب computation يعني كيفية تطور حالة الحاسوب مع الزمن، علما أن حاسوب هنا يجب أن تفهم بالمعنى الواسع للكلمة وليس على أنها الحواسيب الرقمية فقط. لكن أحد أمثلة التحسيب الفيزيائي هو تطور حالة الحاسوب الرقمي مع الزمن، مع ان هناك أمثلة أخرى مثل الحواسب الكمومية، حواسيب الدنا DNA computer أو الحواسيب الجزيئية. في فروع المعلوماتية التي تدرس عمليات التحسيب، تعرف نماذج رياضية من الحواسيب تدعى آلات تورينغ، في هذه الحالة يصبح التحسيب شيئا رياضيا بحتا. الفرع الرياضي الذي يدرس النماذج الرياضية للتحسيب ندعوه نظرية التحسيب. |
| lexicalization | ara: معلوماتية نظرية |
| Bosnian |
| has gloss | bos: Teorija računanja je dio računarske nauke koja se bavi načinima na koji se efektivno mogu riješiti problemi koristeći računar. Polje je podijeljeno u dva glavna dijela: teorija računjivosti i teorija kompleksnosti, ali oba dijela se bave formalnim modelima računanja. |
| lexicalization | bos: Teorija računanja |
| Czech |
| lexicalization | ces: Vyčíslitelnost |
| German |
| has gloss | deu: 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. Zu den Forschungsgebieten gehören Automatentheorie und die Theorie der formalen Sprachen sowie die Berechenbarkeits- und Komplexitätstheorie, aber auch Bereiche der Kryptologie, Logik und formaler Semantik sowie die Informations-, Algorithmen-, Datenbank- und Spieltheorie. |
| lexicalization | deu: Theoretische Informatik |
| Modern Greek (1453-) |
| has gloss | ell: Η θεωρία υπολογισμού είναι ο κλάδος της επιστήμης υπολογιστών που πραγματεύεται το εάν και το πόσο αποδοτικά είναι δυνατόν να λυθεί κάποιο πρόβλημα με χρήση κάποιου αλγορίθμου σε ένα υπολογιστικό μοντέλο, μια αφηρημένη μαθηματική έννοια ορισμένη με αυστηρούς κανόνες. Ο τομέας διαιρείται σε δύο κύριους κλάδους: τη θεωρία υπολογισιμότητας και τη θεωρία πολυπλοκότητας, αλλά και οι δύο εφαρμόζονται σε μοντέλα υπολογισμού. Η θεωρία πολυπλοκότητας παρουσιάζει ομοιότητες με την ανάλυση αλγορίθμων, έναν άλλο θεμελιώδη κλάδο της επιστήμης υπολογιστών, ο οποίος όμως ενδιαφέρεται για την εύρεση των ιδιοτήτων ενός συγκεκριμένου αλγορίθμου που επιλύει κάποιο υπολογιστικό πρόβλημα, και όχι για τις εγγενείς υπολογιστικές ιδιότητες του ίδιου του προβλήματος. |
| lexicalization | ell: θεωρία υπολογισμού |
| Esperanto |
| has gloss | epo: La teorio de kalkulado estas la branĉo de komputiko kiu traktas ĉu kaj kiel kompetente problemoj povas esti solvitaj per komputilo. La kampo estas dividita en du ĉefaj branĉoj: komputebleca teorio kaj komplikteorio, sed ambaŭ branĉoj alpaŝas formalajn modelojn de kalkulado. |
| lexicalization | epo: Teorio de kalkulado |
| lexicalization | epo: Teorio de komputado |
| Persian |
| has gloss | fas: نظریهٔ محاسبات یا تئوری محاسبات (Theory of computation) زمینه‌ای است وسیع که امکان و کارآیی حل مسائل گوناگون بوسیله مدل‌های محاسباتی، با استفاده از الگوریتم‌ها را مورد مطالعه قرار می‌دهد. |
| lexicalization | fas: نظریه محاسبات |
| Finnish |
| has gloss | fin: Laskettavuus tai laskettavuusteoria on teoreettisen tietojenkäsittelytieteen haara, joka tutkii ongelmien ratkeavuutta ja ratkaisemisen tehokkuutta algoritmisesti. Käytännössä laskettavuusteoriassa pyritään selvittämään, voidaanko jokin ongelma ratkaista tietokoneiden avulla vai ei, ja jos voidaan, kuinka tehokkaasti. Tehokkuus voi tarkoittaa joko laskennan vaatimaa aikaa tai muistikapasiteettia. |
| lexicalization | fin: laskettavuus |
| French |
| has gloss | fra: Linformatique théorique est létude des fondements logiques et mathématiques de linformatique. 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 linformatique. Linformatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de linformatique 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é, lalgorithmique et la théorie de la complexité, la théorie de linformation, l'étude de la sémantique des langages de programmation et la théorie des automates et des langages formels. |
| lexicalization | fra: Informatique theorique |
| lexicalization | fra: informatique théorique |
| Serbo-Croatian |
| has gloss | hbs: Teorija računanja je grana računarstva koja razmatra mogu li se i s kojom učinkovitošću riješiti problemi koristeći računalo. Polje je podijeljeno u dvije glavne grane: teoriju izračunljivosti i teoriju složenosti, s tim da obje grane barataju formalnim modelima računanja. |
| lexicalization | hbs: Teorija računanja |
| Hebrew |
| lexicalization | heb: חישוביות |
| Croatian |
| has gloss | hrv: Teorija računanja je grana računarstva koja razmatra mogu li se i s kojom učinkovitošću riješiti problemi koristeći računalo. Polje je podijeljeno u dvije glavne grane: teoriju izračunljivosti i teoriju složenosti, s tim da obje grane barataju formalnim modelima računanja. |
| lexicalization | hrv: Teorija računanja |
| Interlingua (International Auxiliary Language Association) |
| lexicalization | ina: Theoria de computation |
| Indonesian |
| has gloss | ind: Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi, menggunakan algoritma. Bidang ini dibagi menjadi dua cabang: teori komputabilitas dan teori kompleksitas, namun kedua cabang berurusan dengan model formal komputasi. |
| lexicalization | ind: Teori komputasi |
| Italian |
| has gloss | ita: L Informatica teorica è un insieme di argomenti dellinformatica che si concentrano sugli aspetti più astratti e matematici della computazione, come la teoria della computazione. l'analisi degli algoritmi e la semantica della programmazione. Nonostante non abbia come oggetto un singolo argomento, i suoi ricercatori formano un gruppo distinto tra i ricercatori informatici. |
| lexicalization | ita: informatica teorica |
| Japanese |
| has gloss | jpn: 計算理論（けいさんりろん、theory of computation）は、計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 |
| lexicalization | jpn: 計算理論 |
| Korean |
| has gloss | kor: 계산 이론(計算理論, Theory of computation)은 컴퓨터 과학의 한 갈래로, 어떤 문제를 컴퓨터로 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를 탐구한다. 이 분야는 크게 계산 가능성 이론과 계산 복잡도 이론으로 나뉘어 있는데, 두 분야 모두 추상 기계를 다룬다. |
| lexicalization | kor: 계산 이론 |
| lexicalization | kor: 계산이론 |
| Letzeburgesch |
| has gloss | ltz: D'Theoretesch Informatik beschäftegt sech mat der Abstraktioun an der Konstruktioun vu Modeller an Zesummenhang mat Problemer, déi an iergendenger Weis mat Computeren ze dinn hunn. |
| lexicalization | ltz: Theoretesch Informatik |
| Malay (macrolanguage) |
| has gloss | msa: Teori pengiraan ialah bidang dalam sains komputer yang mengkaji mana satu masalah-masalah yang boleh diselesaikan melalui pengiraan komputer dan menggunakan model-model pengiraan yang berlainan. |
| lexicalization | msa: Teori pengiraan |
| Dutch |
| has gloss | nld: De theoretische informatica is een vorm van informatica die zich bezighoudt met formele talen (dwz. automaten-, berekenbaarheids- en complexiteitstheorie), logica (onder andere propositielogica en predicatenlogica) en formele semantiek en biedt hiermee een theoretische fundering voor het maken van compilers van programmeertalen en de wiskundige formalisering van probleemstellingen. Ze is daarmee het formele fundament onder de informatica. |
| lexicalization | nld: Theoretische informatica |
| Polish |
| has gloss | pol: Teoria obliczeń to dział informatyki teoretycznej. Dzieli się on na dwie główne części: teorię obliczalności oraz złożoność obliczeniową. Pierwszy z nich zajmuje się odpowiedzią na pytanie, które problemy dają się rozwiązać przy pomocy komputera, a drugi tym jak szybko da się to zrobić. |
| lexicalization | pol: Teoria obliczeń |
| Portuguese |
| has gloss | por: A teoria da computação teve início nos primeiros anos do século XX, antes da invenção dos modernos computadores eletrônicos. Naquela época, os matemáticos estavam tentando descobrir quais problemas matemáticos poderiam ser resolvidos por um método simples, e quais não poderiam. O primeiro passo estava em definir o significado de um "método simples" para resolver o problema. Em outras palavras, eles precisavam de um modelo formal da computação. |
| lexicalization | por: Teoria da Computação |
| Russian |
| has gloss | rus: Тео́рия алгори́тмов — наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п. |
| lexicalization | rus: Теория алгоритмов |
| lexicalization | rus: Теория вычислений |
| Slovak |
| has gloss | slk: Teória algoritmov je oblasť matematiky, ktorá sa zaoberá matematickými modelmi algoritmov. |
| lexicalization | slk: Teória algoritmov |
| Castilian |
| has gloss | spa: La teoría de la computación es una rama de la matemática y la computación que centra su interés en las limitaciones y capacidades fundamentales de las computadoras. Específicamente esta teoría busca modelos matemáticos que formalizan el concepto de hacer un cómputo (cuenta o cálculo) y la clasificación de problemas de acuerdo a su grado de dificultad. |
| lexicalization | spa: Teoria de la computacion |
| lexicalization | spa: teoría de la computación |
| Sundanese |
| has gloss | sun: Komputasiat, 2007 September 07 Penyearah Tiga Fasa Terkendali |
| lexicalization | sun: Komputasi |
| Thai |
| has gloss | tha: การคำนวณ หรือ การคณนา สามารถนิยามได้ว่าเป็นการหาคำตอบของปัญหาจากข้อมูลป้อนเข้าโดยการใช้อัลกอริทึม ศาสตร์ที่ศึกษาเกี่ยวกับเรื่องนี้คือ ทฤษฎีการคำนวณ ซึ่งเป็นสาขาย่อยของวิทยาการคอมพิวเตอร์และคณิตศาสตร์ เป็นเวลากว่าพันปีที่การคำนวณนั้นกระทำด้วยปากกาและกระดาษ หรือชอล์กและกระดานชนวน หรือด้วยการใช้สมอง โดยบางครั้งมีการใช้ตารางประกอบด้วย |
| lexicalization | tha: การคณนา |
| lexicalization | tha: การคำนวณ |
| Turkish |
| lexicalization | tur: Hesaplama kuramı |
| Ukrainian |
| has gloss | ukr: Теорія алгоритмів як окремий розділ математики, що вивчає загальні властивості алгоритмів, виникла в 30-х роках 20 століття. Алгоритми, проте, простежуються в математиці протягом всього часу її існування. Необхідність точного математичного уточнення інтуїтивного поняття алгоритму стала неминучою після усвідомлення неможливості існування алгоритмів розв’язку багатьох масових проблем, в першу чергу повязаних з арифметикою та математичною логікою (проблеми істинності арифметичних формул та формул першопорядкового числення предикатів, 10-та проблема Гільберта про розвязність діофантових рівнянь та ін.). Для доведення неіснування алгоритму треба мати його точне математичне визначення, тому після сформування поняття алгоритму як нової та окремої сутності першочерговою стала проблема знаходження адекватних формальних моделей алгоритму та дослідження їх властивостей. При цьому формальні моделі були запропоновані як для первісного поняття алгоритму, так і для похідного поняття алгоритмічно обчислюваної функції. Історія розвитку Вперше поняття алгоритму з’явилося в працях Е. Бореля (1912) та Г. Вейля (1921). |
| lexicalization | ukr: Теорія алгоритмів |
| Urdu |
| has gloss | urd: نظریہ شمارندگی شاخ ہے ریاضیات اور شمارندی سائنس کی جو یہ معاملہ دیکھتی ہے کہ مسائل کو شمارندگی کی تمثیل میں، الخوارزم کے استعمال سے، کتنی اہلیت سے حل کیا جا سکے ہے۔ اس میدان کو دو شاخوں میں تقسیم کیا جاتا ہے: نظریہ شمارندیت اور نظریہ پچیدگی، مگر دونوں شاخیں شمارندگی کے رسمی تمثیل سے معاملہ کرتی ہیں۔ |
| lexicalization | urd: نظریۂ شمارندگی |
| Vietnamese |
| lexicalization | vie: Lý thuyết tính toán |
| Chinese |
| has gloss | zho: 计算理论和计算机有密切关系，解决哪些是能计算的、哪些是不能计算的（即可计算性理论）、有多快、要用多少存储 （即計算複雜性理論），以及采用什么计算模型的理论。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。 |
| lexicalization | zho: 計算理論 |
| lexicalization | zho: 计算理论 |
