Данная справка описывает указанный каталог. Обратитесь в учреждение, чтобы подтвердить актуальное предложение и условия, применимые к вашему началу обучения.
Описание
Теория вычислений (также предлагается как MATH 4P61 ) Регулярные языки и конечные автоматы: детерминированные и недетерминированные автоматы, теорема Клини, лемма накачки, теорема Майхилла–Нерода и разрешимые вопросы. Контекстно-свободные языки: порождение контекстно-свободными грамматиками и распознавание магазинными автоматами, лемма накачки, свойства замкнутости, разрешимость. Машины Тьюринга: рекурсивно перечислимые языки, универсальные машины Тьюринга, проблема останова и другие неразрешимые вопросы. Лекции, 3 часа в неделю. Ограничение: доступно для студентов специальностей COSC (одна или комбинированная), BCB, CAST, CNET, GAMP и NEUR (направление нейрокомпьютинг). Предварительное требование(я): MATH 1P67 (минимум 60 процентов) и три с половиной кредита COSC. Примечание: студенты MATH могут брать этот курс с разрешения математического департамента. Этот курс может предлагаться в нескольких режимах проведения. Режим проведения будет указан в учебном расписании на соответствующий семестр.
Предварительные требования
- Предварительное требование(я): MATH 1P67 (минимум 60 процентов) и три с половиной кредита COSC.
Условия и порядок
- Ограничение: открыт для специальностей COSC (одиночная или комбинированная), BCB, CAST, CNET, GAMP и NEUR (поток нейрокомпьютинга).
- Предварительное требование(я): MATH 1P67 (минимум 60 процентов) и три с половиной кредита COSC.
- Примечание: студенты MATH могут брать этот курс с разрешения математического департамента. Этот курс может предлагаться в нескольких режимах проведения. Режим проведения будет указан в учебном расписании на соответствующий семестр.
Текст источника на языке оригинала
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