Beskrivelse
Symbolsk logikk, proposisjonell og predikatkalkyle, mengdelære og modelteori, fullstendighet.
Forkunnskaper
- Forkunnskaper: MATH 2100 eller tillatelse fra School.
Vilkår og bestemmelser
- Forkunnskaper: MATH 2100 eller tillatelse fra School.
- Forelesninger tre timer i uken.
Referansetekst i originalspråket
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- 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/