Beskrivelse
Rekursiv funksjonsteori og beregnbarhet, algoritmer, Churchs tese, Turing-maskiner, beregningslogikk, NP-fullstendighet.
Forkunnskaper
- Forkunnskapskrav: MATH 2100 eller COMP 3805 eller tillatelse fra School.
Vilkår og bestemmelser
- Også oppført som MATH 4803 .
- Forkunnskapskrav: MATH 2100 eller COMP 3805 eller tillatelse fra School.
Referansetekst i originalspråket
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 .
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/undergrad/courses/COMP/