الوصف
الدوال العودية والقابلية للحساب، الخوارزميات، فرضية تشرش، آلات تورنغ، المنطق الحسابي، صعوبة NP-الكاملة.
المقررات السابقة
- المتطلبات السابقة: MATH 2100 أو COMP 3805 أو إذن المدرسة.
الشروط والإجراءات
- مسجل أيضاً كمادة MATH 4803 .
- المتطلبات السابقة: MATH 2100 أو COMP 3805 أو إذن المدرسة.
نص المرجع بلغته الأصلية
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 .
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/undergrad/courses/COMP/