BLG 557E - Hesaplama Kuramı

Dersin Amaçları

1. Hesaplama ve karmaşıklık ile ilgili konulara genel bir bakış sağlamak.
2. Hesaplama teorisindeki temel konuları anlatmak.
3. Karmaşıklık teorisindeki temel konuları anlatmak.
4. Öğrencilerin temel hesaplama modelleri ile hesaplanabilirlik analizi yapma yeteneği kazanmasını sağlamak.

Dersin Tanımı

Biçimsel dil ve otomat tipleri ve özyinelemeli sıralanabilen dillerin gözden geçirilmesi, hesaplama modelleri ve hesaplanabilirlik, karar verilebilirlik ve indirgenebilirlik, hesaplama teorisinde ileri konulara giriş, zaman ve bellek karmaşıklığı, hesaplaması zor problemler, karmaşıklık teorisinde ileri konulara giriş.