この参照は示されたカタログの記述です。最新の提供状況や入学条件については機関に確認してください。
説明
計算理論（MATH 4P61としても開講） 正則言語と有限状態機械：決定性および非決定性機械、クレーニーの定理、ポンピング補題、Myhill–Nerodeの定理および決定可能な問題。文脈自由言語：文脈自由文法による生成とプッシュダウンオートマトンによる受理、ポンピング補題、閉包性、決定可能性。チューリング機械：再帰列挙言語、普遍チューリング機械、停止問題およびその他の決定不能問題。講義、週3時間。制限：COSC（単独または併専）、BCB、CAST、CNET、GAMPおよびNEUR Neurocomputingストリーム専攻に開放。前提条件：MATH 1P67（最低60パーセント）およびCOSC 3.5単位（three and one-half COSC credits）。注：数学専攻の学生は数学科の許可を得て本コースを履修できます。本コースは複数の提供方式で開講される場合があります。提供方式は該当学期の履修時間割に記載されます。
前提条件
- 前提条件：MATH 1P67（最低60パーセント）およびCOSC 3.5単位（three and one-half COSC credits）。
条件および詳細
- 制限：COSC（単科または複合）、BCB、CAST、CNET、GAMP および NEUR Neurocomputing ストリーム専攻に開放。
- 前提条件：MATH 1P67（最低60パーセント）およびCOSC 3.5単位（three and one-half COSC credits）。
- 注：数学専攻の学生は数学科の許可を得て本コースを履修できます。本コースは複数の提供方式で開講される場合があります。提供方式は該当学期の履修時間割に記載されます。
原語による参照テキスト
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