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 MATH 3855 veya Okul izni.
Şartlar ve koşullar
- Ayrıca COMP 4803 olarak listelenmiştir.
- Önkoşul(lar): MATH 2100 veya MATH 3855 veya Okul izni.
- Haftada üç saat ders.
Kaynak metin orijinal dilinde
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or MATH 3855 or permission of the School.
- Also listed as COMP 4803 .
- Lectures three hours a week.
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/MATH/