BLG 345E - Mantık & Hesaplanabilirlik

Dersin Amaçları

1. Teaching inference in common logical models.
2. Teaching inference machines.
3. Teaching the limits of computability.
4. Teaching generalized computable system design.
5. Introducing novel computation proposals.

Dersin Tanımı

Hesaplanabilirliğin temelleri, yaygın mantık modellerinde çıkarımlar ve tanıtlar, uslamlama yapabilen makinalar, hesaplama makinalarının kısıtları, hesaplamanın sınıflandırılması ve ölçeklenmesi, genelleştirilmiş problemlerin hesabı, öğrenmenin hesaplanabilirliği, hesaplanabilirliğin geleceği