Beskrivelse
Rekursiv funksjonsteori og beregnbarhet, algoritmer, Churchs tese, Turing-maskiner, beregningslogikk, NP-fullstendighet.
Forkunnskaper
- Forkunnskaper: MATH 2100 eller MATH 3855 eller tillatelse fra School.
Vilkår og bestemmelser
- Også oppført som COMP 4803.
- Forkunnskaper: MATH 2100 eller MATH 3855 eller tillatelse fra School.
- Forelesninger tre timer i uken.
Referansetekst i originalspråket
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.
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/MATH/