Hesaplanabilirlik teorisi
Teorik bilişim biliminde ve matematikte hesaplanabilirlik teorisi (İng. İngilizce: computability theory), belirli bir hesap modeline ait soruların uygun bir komut silsilesi ile ne kadar verimli bir şekilde çözülebileceğiyle ilgilenen daldır. Alan, üç yan ana dala ayrılmaktatır. Otomat teorisi ve dil, hesaplanabilirlik kuramı ve hesapsal karmaşıklık kuramı ki bunlar şu soru ile birbirine bağlanır:'Bilgisayarların temel kabiliyetleri ve sınırlamaları nelerdir?' [1]
Bilgisayar bilimi insanları, hesaplamayı titiz bir şekilde çalışabilmek için hesaplama modeli diye bir kavram ortaya çıkarmışlardır. Bu model bilgisayarların matematiksel olarak soyutlandırılmasıyla ilgilidir. Birçok farklı model mevcuttur, fakat en çok irdelenmiş olan model Turing makinesi'dir. Bilgisayar bilimi insanları bu soyut nesneyi incelemektedirler, çünkü basit bir şekilde formüle edilmesi mümkündür. Ayrıca araştırılması kolaydır. Birçok sonucu kanıtlamakta da kullanılmaktadır. Bunların nedeni, bu nesnenin, birçok söz sahibinin deyişiyle 'en uygun' hesaplama modeli olmasıdır.(bakınız: Church-Turing tezi)
Kaynakça
- ^ Michael Sipser (2013). Introduction to the Theory of Computation 3rd. Cengage Learning. ISBN 978-1-133-18779-0.
central areas of the theory of computation: automata, computability, and complexity. (Page 1)
Bilgisayar biliminin alt dalları | ||
|---|---|---|
| Matematiksel temeller |  | |
| Hesaplama teorisi | ||
| Algoritmalar ve veri yapıları | ||
| Programlama dilleri ve derleyiciler | ||
| Eşzamanlı, paralel ve dağıtık sistemler | ||
| Yazılım mühendisliği | ||
| Sistem mimarisi | ||
| Telekomünikasyon ve ağ oluşturma | ||
| Veritabanları | ||
| Yapay zekâ | ||
| Bilgisayar grafikleri | ||
| İnsan-bilgisayar etkileşimi | ||
| Bilimsel hesaplama | ||
Bilgisayar bilimi, ACM Hesaplama ve Sınıflandırma Sistemi'ne göre farklı konu ve alanlara ayrılabilir. | ||