Esta referência descreve o catálogo indicado. Consulte a instituição para confirmar a oferta atual e as condições aplicáveis ao seu ano de ingresso.
Descrição
Teoria da Computação (também oferecido como MATH 4P61) Linguagens regulares e máquinas de estado finito: máquinas determinísticas e não determinísticas, teorema de Kleene, lema do bombeamento, Teorema de Myhill-Nerode e questões decidíveis. Linguagens livres de contexto: geração por gramáticas livres de contexto e aceitação por autômatos de pilha, lema do bombeamento, propriedades de fechamento, decidibilidade. Máquinas de Turing: linguagens recursivamente enumeráveis, máquinas de Turing universais, problema da parada e outras questões indecidíveis. Aulas, 3 horas por semana. Restrição: aberto a majors COSC (simples ou combinada), BCB, CAST, CNET, GAMP e NEUR fluxo Neurocomputação. Pré-requisito(s): MATH 1P67 (mínimo 60 percent) e três créditos e meio COSC. Observação: estudantes de MATH podem fazer este curso com permissão do Departamento de Matemática. Este curso pode ser oferecido em múltiplos modos de entrega. O método de entrega será indicado no calendário acadêmico, no período aplicável.
Pré-requisitos
- Pré-requisito(s): MATH 1P67 (mínimo 60 percent) e três créditos e meio COSC.
Condições e modalidades
- Restrição: aberto a majors COSC (simples ou combinados), BCB, CAST, CNET, GAMP e NEUR stream Neurocomputing.
- Pré-requisito(s): MATH 1P67 (mínimo 60 percent) e três créditos e meio COSC.
- Observação: estudantes de MATH podem fazer este curso com permissão do Departamento de Matemática. Este curso pode ser oferecido em múltiplos modos de entrega. O método de entrega será indicado no calendário acadêmico, no período aplicável.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://brocku.ca/webcal/2024/undergrad/cosc.html