Brock University · COSC 4P61

计算理论

官方名称 : Theory of Computation

学分 : 0.5参考年份 : 2024-25

该参考描述所示目录。请向院校确认当前的招生项目及适用于您入学年的条件。

描述

计算理论(亦作为 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 神经计算方向专业开放。
  • 先决条件: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

联系 StudyCanada

告诉我们您的留学计划或问题,我们将通过电子邮件继续交流。

我们将使用这些联系方式回复您的咨询。 隐私政策

此表单用于联系 StudyCanada。如需联系该学校,请使用学校资料中的联系方式。