Cette référence décrit le catalogue indiqué. Consultez l’établissement pour confirmer l’offre actuelle et les conditions applicables à votre rentrée.
Description
Théorie de la calculabilité (aussi offert sous le code MATH 4P61) Langages réguliers et machines à états finis : machines déterministes et non déterministes, théorème de Kleene, lemme du pompage, théorème de Myhill-Nerode et questions décidables. Langages sans contexte : génération par grammaires sans contexte et acceptation par automates à pile, lemme du pompage, propriétés de clôture, décidabilité. Machines de Turing : langages récursivement énumérables, machines de Turing universelles, problème de l’arrêt et autres questions indécidables. Cours magistraux, 3 heures par semaine. Restriction : ouvert aux majeures COSC (simple ou combinée), BCB, CAST, CNET, GAMP et NEUR volet Neurocomputing. Prérequis : MATH 1P67 (minimum 60 pour cent) et trois crédits et demi en COSC. Remarque : les étudiants en MATH peuvent suivre ce cours avec la permission du département de mathématiques. Ce cours peut être offert selon plusieurs modes d’enseignement. Le mode d’enseignement sera indiqué à l’horaire universitaire, pour le trimestre applicable.
Préalables
- Prérequis : MATH 1P67 (minimum 60 pour cent) et trois crédits et demi en COSC.
Conditions et modalités
- Restriction : ouvert aux majeures COSC (simple ou combinée), BCB, CAST, CNET, GAMP et NEUR filière Neurocomputing.
- Prérequis : MATH 1P67 (minimum 60 pour cent) et trois crédits et demi en COSC.
- Remarque : les étudiants en MATH peuvent suivre ce cours avec la permission du département de mathématiques. Ce cours peut être offert selon plusieurs modes d’enseignement. Le mode d’enseignement sera indiqué à l’horaire universitaire, pour le trimestre applicable.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://brocku.ca/webcal/2024/undergrad/cosc.html