Esta referencia describe el catálogo indicado. Consulte con la institución para confirmar la oferta actual y las condiciones aplicables a su ingreso.
Descripción
Teoría de la Computación (también ofrecido como MATH 4P61) Lenguajes regulares y máquinas de estados finitos: máquinas deterministas y no deterministas, teorema de Kleene, lema de bombeo, teorema de Myhill-Nerode y cuestiones decidibles. Lenguajes libres de contexto: generación por gramáticas libres de contexto y aceptación por autómatas con pila, lema de bombeo, propiedades de clausura, decidibilidad. Máquinas de Turing: lenguajes recursivamente enumerable, máquinas de Turing universales, problema de la detención y otras cuestiones indecidibles. Conferencias, 3 horas por semana. Restricción: abierto a estudiantes de COSC (individual o combinado), BCB, CAST, CNET, GAMP y NEUR flujo de Neurocomputación. Requisito(s): MATH 1P67 (mínimo 60 por ciento) y tres créditos y medio de COSC. Nota: los estudiantes de MATH pueden tomar este curso con permiso del Departamento de Matemáticas. Este curso puede ofrecerse en múltiples modos de impartición. El método de impartición se indicará en el horario académico, en el periodo correspondiente.
Prerrequisitos
- Requisito(s): MATH 1P67 (mínimo 60 por ciento) y tres créditos y medio de COSC.
Condiciones y modalidades
- Restricción: abierto a estudiantes de COSC (individual o combinada), BCB, CAST, CNET, GAMP y NEUR, especialización en corriente Neurocomputación.
- Requisito(s): MATH 1P67 (mínimo 60 por ciento) y tres créditos y medio de COSC.
- Nota: los estudiantes de MATH pueden tomar este curso con permiso del Departamento de Matemáticas. Este curso puede ofrecerse en múltiples modos de impartición. El método de impartición se indicará en el horario académico, en el periodo correspondiente.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://brocku.ca/webcal/2024/undergrad/cosc.html