| Arabic |
| lexicalization | ara: معلوماتية نظرية |
| Bavarian |
| lexicalization | bar: Theoretische Informatik |
| Bosnian |
| lexicalization | bos: Teorijsko računarstvo |
| Bulgarian |
| has gloss | bul: Теоретичната информатика се занимава с формални езици, теория на автоматите, логика, разработка и анализ на алгоритми, дизайн и формална семантика на езиците за програмиране, дава основите за компилатори и математическото формализиране на проблеми. Тя е формалният „гръбнак“ на информатиката. |
| lexicalization | bul: Теоретична информатика |
| Catalan |
| lexicalization | cat: Informàtica teòrica |
| Czech |
| lexicalization | ces: Teoretická informatika |
| Welsh |
| lexicalization | cym: Cyfrifiadureg ddamcaniaethol |
| German |
| lexicalization | deu: Theoretische Informatik |
| Esperanto |
| lexicalization | epo: Teoria komputiko |
| Basque |
| lexicalization | eus: Informatika teorikoa |
| Persian |
| has gloss | fas: علوم نظری رایانه مطالعات مربوط به تعاریف زبان‌ها، قابلیت‌ها و محدودیت‌های مربوط به محاسبات الگوریتمی، و نیز آنالیز و تحلیل پیچيدگی مسائل و راه حل‌ها را در بر می‌گیرد. این علوم مجموعه‌ای است از موضوعات علوم رایانه که تمرکز آن‌ها بر جنبه‌های محض، منطقی و ریاضی محاسبات رایانش است، مانند نظریه محاسبات، آنالیز الگوریتم‌ها و معناشناسی زبان‌های برنامه‌نویسی. اگرچه خودش یک عنوان مجزا نیست، پژوهشگران این بخش از علوم رایانه زیرگروهی متمایز در بین محققان علوم رایانه هستند. |
| lexicalization | fas: علوم نظری رایانه |
| Finnish |
| has gloss | fin: 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. |
| lexicalization | fin: Tietojenkäsittelyteoria |
| French |
| lexicalization | fra: Informatique théorique |
| Croatian |
| has gloss | hrv: Teoretsko računarstvo je skup tema računarstva koje se uglavnom fokusiraju na apstraktne, logičke i matematičke aspekte računanja, kao što je teorija računanja, analiza algoritama te semantika programskih jezika. Iako nije jedinstvena tema, njeni praktičari oblikuju istaknutu grupu unutar istraživača u računarstvu. |
| lexicalization | hrv: Teoretsko računarstvo |
| Interlingua (International Auxiliary Language Association) |
| lexicalization | ina: Informatica theoretic |
| Icelandic |
| lexicalization | isl: Kennileg tölvunarfræði |
| Italian |
| lexicalization | ita: Teorie dell'informatica |
| Japanese |
| has gloss | jpn: 理論計算機科学（りろんけいさんきかがく、theoretical computer science）は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、計算機はチューリング機械（もしくはそれと同等の概念）としてモデル化されている。 |
| lexicalization | jpn: 理論計算機科学 |
| Korean |
| lexicalization | kor: 이론 전산학 |
| Malayalam |
| lexicalization | mal: തിയററ്റിക്കല് കമ്പ്യൂട്ടര് സയന്സ് |
| Dutch |
| lexicalization | nld: Theoretische informatica |
| Norwegian Nynorsk |
| lexicalization | nno: Teoretisk informatikk |
| Russian |
| lexicalization | rus: Теоретическая информатика |
| Slovak |
| lexicalization | slk: Teoretická počítačová veda |
| Slovenian |
| lexicalization | slv: Teoretično računalništvo |
| Castilian |
| has gloss | spa: 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. |
| lexicalization | spa: Ciencia computacional teorica |
| lexicalization | spa: Ciencia computacional teórica |
| lexicalization | spa: Informática teórica |
| Serbian |
| lexicalization | srp: Теоријско рачунарство |
| Sundanese |
| lexicalization | sun: Computation |
| Thai |
| lexicalization | tha: ทฤษฎีวิทยาการคอมพิวเตอร์ |
| Turkish |
| has gloss | tur: Kuramsal bilgisayar bilimi, bilgisayar biliminin daha çok soyut, mantıksal ve matematiksel kesimlerini kapsar. |
| lexicalization | tur: Kuramsal bilgisayar bilimi |
| Urdu |
| lexicalization | urd: نظریاتی شمارندیات |
| Vietnamese |
| lexicalization | vie: Khoa học máy tính lý thuyết |
| Chinese |
| lexicalization | zho: 计算机科学基础理论 |
