Back علم الحاسوب النظري Arabic Ciencia computacional teórica AST Nəzəri informatika Azerbaijani Теоретична информатика Bulgarian তাত্ত্বিক কম্পিউটার বিজ্ঞান Bengali/Bangla Informàtica teòrica Catalan Teoretická informatika Czech Theoretische Informatik German Θεωρητική Πληροφορική Greek Theoretical computer science English
Teorik bilgisayar bilim(ler)i, bilgisayar biliminin alt dallarıdırlar ve daha çok soyut, mantıksal ve matematiksel yönleri üzerine odaklanırlar.
Algoritma analizi, programlama dillerinin şeklî semantiği ve otomat teorisi, bu alt dallardan birkaçıdır. Teknik olarak bu üç alt dalın dışında muhtelif alt dallar da bulunmaktadır. Bu alt dallarının her birinin başında popülerliğine göre o alanda lider kişiler bulunur ve pek çok dernekler ve profesyonel sosyal grupların yaptığı çalışmalar sonucunda çeşitli yayımlar ortaya çıkarılır.