Description
Fonctions récursives et décidabilité, calculabilité, thèse de Church, machines de Turing, logique computationnelle, NP-complétude.
Préalables
- Condition(s) préalable(s) : MATH 2100 ou COMP 3805 ou permission de l’École.
Conditions et modalités
- Également inscrit comme MATH 4803 .
- Condition(s) préalable(s) : MATH 2100 ou COMP 3805 ou permission de l’École.
Texte de référence dans sa langue d’origine
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 .
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/undergrad/courses/COMP/