Açıklama
Özyinelemeli fonksiyonlar ve hesaplanabilirlik, algoritmalar, Church tezi, Turing makineleri, hesaplamalı mantık, NP-tamlık.
Önkoşullar
- Önkoşul(lar): MATH 2100 veya COMP 3805 veya Okulun izni.
Şartlar ve koşullar
- Ayrıca MATH 4803 olarak listelenmiştir.
- Önkoşul(lar): MATH 2100 veya COMP 3805 veya Okulun izni.
Kaynak metin orijinal dilinde
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or COMP 3805 or permission of the School.
- Also listed as MATH 4803 .
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/undergrad/courses/COMP/