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, 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 (SIGACT) grubu kendi misyonunu teorik bilgisayar bilimlerinin tanıtımı olarak tanımlıyor ve şunları ilave ediyor:

“	Teorik bilgisayar bilimleri algoritmalar, veri yapıları, , dağıtık hesaplama, çok geniş ölçekli tümleşim, makine öğrenimi, hesaplamalı biyoloji, hesaplamalı geometri, bilgi teorisi, kriptografi, kuantum bilgisayarı, , , , ve otomat teorisi gibi alt dalları bulunan geniş bir çalışma alanıdır. Bu alanda yapılan çalışmalar, genellikle matematiksel teknik üzerine yapılan vurgu ile ayırt edilir.	„

${\displaystyle P\rightarrow Q\,}$
Matematiksel mantık	Otomata teorisi	Sayı teorisi	Çizge teorisi
${\displaystyle \Gamma \vdash x:Int}$
	Kategori teorisi	Hesaplamalı geometri	Kuantum hesaplama teorisi

Kuruluşlar

• European Association for Theoretical Computer Science

Kaynakça

1. ^ . 12 Mart 2010 tarihinde kaynağından arşivlendi. Erişim tarihi: 29 Mart 2009.