Denne referansen beskriver den angitte katalogen. Kontakt institusjonen for å bekrefte gjeldende tilbud og betingelser som gjelder for din start.
Beskrivelse
Beregningsteori (også tilbudt som MATH 4P61) Regulerte språk og endelige automater: deterministiske og ikke-deterministiske maskiner, Kleenes teorem, pumping-lemmaet, Myhill–Nerode-teoremet og avgjørbare spørsmål. Kontekstfrie språk: generering ved kontekstfrie grammatikk og aksept ved pushdown-automater, pumping-lemma, lukningsegenskaper, avgjørbarhet. Turing-maskiner: rekursivt opplistbare språk, universelle Turing-maskiner, halt-problemet og andre ubestemmelige spørsmål. Forelesninger, 3 timer per uke. Restriksjon: åpen for COSC (enkelt- eller kombinert), BCB, CAST, CNET, GAMP og NEUR Neurocomputing-strømmen hovedfag. Forutsetning(er): MATH 1P67 (minst 60 prosent) og tre og en halv COSC-kreditt. Merknad: MATH-studenter kan ta dette emnet med tillatelse fra Matematikkavdelingen. Dette emnet kan tilbys i flere undervisningsformer. Undervisningsform vil være oppført på akademisk timeplan i gjeldende termin.
Forkunnskaper
- Forutsetning(er): MATH 1P67 (minst 60 prosent) og tre og en halv COSC-kreditt.
Vilkår og bestemmelser
- Restriksjon: åpen for COSC (enkel eller kombinert), BCB, CAST, CNET, GAMP og NEUR Neurocomputing-strømmen hovedfag.
- Forutsetning(er): MATH 1P67 (minst 60 prosent) og tre og en halv COSC-kreditt.
- Merknad: MATH-studenter kan ta dette emnet med tillatelse fra Matematikkavdelingen. Dette emnet kan tilbys i flere undervisningsformer. Undervisningsform vil være oppført på akademisk timeplan i gjeldende termin.
Referansetekst i originalspråket
Theory of Computation (also offered as MATH 4P61 ) Regular languages and finite state machines: deterministic and non-deterministic machines, Kleene's theorem, the pumping lemma, Myhill-Nerode Theorem and decidable questions. Context-free languages: generation by context-free grammars and acceptance by pushdown automata, pumping lemma, closure properties, decidability. Turing machines: recursively enumerable languages, universal Turing machines, halting problem and other undecidable questions. Lectures, 3 hours per week. Restriction: open to COSC (single or combined), BCB, CAST, CNET, GAMP and NEUR Neurocomputing stream majors. Prerequisite(s): MATH 1P67 (minimum 60 percent) and three and one-half COSC credits. Note: MATH students may take this course with permission of the Mathematics Department. This course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
- Prerequisite(s): MATH 1P67 (minimum 60 percent) and three and one-half COSC credits.
- Restriction: open to COSC (single or combined), BCB, CAST, CNET, GAMP and NEUR Neurocomputing stream majors.
- Note: MATH students may take this course with permission of the Mathematics Department. This course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
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://brocku.ca/webcal/2024/undergrad/cosc.html