Yazılımbilim'in alt bölümü olan hesapsal yük teorisi (computational complexity) altında algoritmaların üzerindeki yükü, ne kadar hızlı işleyeceklerini ölçmeye ve bu bağlamda onları kategorileştirmeye uğraşmaktadır.
Ekteki yazılar, hesapsal yük teorisine devam etmek üzere yapılan bir giriştir. İlk önce Turing makinalarını tanımla başlamıştık, fakat bunun sayılar kuramına girmeden yapılmayacağını farkettik, ve ekteki yazılar çıktı. NP-tam'lığa geleceğiz! Seyretmeye devam edin.
Hesapsal Yük Teorisi
Sonsuza Giden İkili Sayıların Kümesi
Sonsuzluklar Arasındaki Farklar
Durmayan Turing Makinalar? Var mıdır?
Teorik yazılımbilim, günümüzdeki bilgisayarların soyut temelini oluştuyor. Bu alanda isimleri tanıdık gelen Turing, Church gibi kimseler olduğu gibi, diğer alanlardan bilim adamları mevcuttur, mesela Kurt Gödel. Tarihçesi belki de ünlü matematikçi Hilbert'in 1900 yılında bir beyan ettiği "açık problemler"'den 10'cusuna kadar giden yazılımbilim, bir problemin çözülebilirliğini ispat etmek için algoritmanın ne olduğundan başlayarak, bazı algoritmaların çözülemeyeceğini bulmak ile devam etti, ve nihai olarak günümuz donanımının altyapısını hazırlayarak önemli bir alan olarak kendini ispat etti.
