此參考說明所註明的目錄。請向該機構確認當前課程供給與適用於你入學的條件。
課程說明
計算理論（亦以 MATH 4P61 提供） 正規語言與有限狀態機：確定式與非確定式機器、Kleene 定理、抽水引理、Myhill–Nerode 定理與可決問題。上下文無關語言：由上下文無關文法產生與由推疊自動機接受、抽水引理、封閉性質、可決性。圖靈機：可遞枚舉語言、通用圖靈機、停機問題與其他不可判定問題。講課，每週 3 小時。限制：限 COSC（單主修或聯合主修）、BCB、CAST、CNET、GAMP 及 NEUR 神經計算方向主修生。先修課程：MATH 1P67（最低 60%）與三又二分之一 COSC 學分。注意：數學系學生可經數學系許可選修本課程。本課程可能以多種授課方式開設。授課方式將於該學期的課程時間表中註明。
先修條件
- 先修課程：MATH 1P67（最低 60%）與三又二分之一 COSC 學分。
條件與方式
- 限制：對 COSC（單科或聯合）、BCB、CAST、CNET、GAMP 及 NEUR Neurocomputing 流向主修開放。
- 先修課程：MATH 1P67（最低 60%）與三又二分之一 COSC 學分。
- 注意：數學系學生可經數學系許可選修本課程。本課程可能以多種授課方式開設。授課方式將於該學期的課程時間表中註明。
原文參考文本
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.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://brocku.ca/webcal/2024/undergrad/cosc.html