Teorik bilgisayar bilimi

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.

 Kapsam 
Her ne kadar teori alanlarının kapsamını belirlemek pek mümkün olmasa da, ACM'in Special Interest Group on Algorithms and Computation Theory (SIGACT) grubu kendi misyonunu teorik bilgisayar bilimlerinin tanıtımı olarak tanımlıyor ve şunları ilave ediyor:

  96px 106x106pik 96px Matematiksel mantık Otomata teorisi Sayı teorisi Çizge teorisi  96px 103x103pik 96px Tip teorisi Kategori teorisi Hesaplamalı geometri Kuantum hesaplama teorisi

 Kuruluşlar 
 European Association for Theoretical Computer Science
 Special Interest Group on Algorithms and Computation Theory

 Kaynakça 


Kategori:Bilgisayar bilimi
Kategori:Bilgisayar mühendisliği