BLG 345E - Logic & Computability

Course Objectives

1. Yaygın mantık modellerinde metodik uslamlamayı öğretmek.
2. Uslamlama yapabilen makinaları öğretmek.
3. Hesaplamanın sınırlarını öğretmek.
4. Genelleştirilmiş hesaplama dizgesi tasarımı öğretmek.
5. Yenilikçi hesaplama önerilerini tanıtmak.

Course Description

Foundations of computability, inference and proof in common logical models, explanation of inference machines, limits of computation machines, classification and measurement of computation, computation of generalized problems, computability of learning, future of computability