Tham chiếu này mô tả mục lục được chỉ ra. Hãy liên hệ cơ sở để xác nhận chương trình hiện tại và các điều kiện áp dụng cho kỳ nhập học của bạn.
Mô tả
Lý thuyết Tính toán (cũng được cung cấp dưới mã MATH 4P61) Ngôn ngữ chính quy và máy trạng thái hữu hạn: máy xác định và không xác định, định lý Kleene, bổ đề bơm, Định lý Myhill-Nerode và các câu hỏi có thể quyết định. Ngôn ngữ ngữ cảnh tự do: sinh bởi ngữ pháp ngữ cảnh tự do và chấp nhận bởi ngăn xếp tự động, bổ đề bơm, tính đóng, tính quyết định. Máy Turing: ngôn ngữ đếm được đệ quy, máy Turing phổ quát, bài toán dừng và các câu hỏi không thể quyết định khác. Bài giảng, 3 giờ mỗi tuần. Hạn chế: dành cho sinh viên chuyên ngành COSC (đơn hoặc kết hợp), BCB, CAST, CNET, GAMP và NEUR luồng Neurocomputing. Điều kiện tiên quyết: MATH 1P67 (tối thiểu 60 phần trăm) và ba rưỡi tín chỉ COSC. Ghi chú: sinh viên MATH có thể học khóa này với sự cho phép của Khoa Toán. Khóa học này có thể được cung cấp theo nhiều hình thức giảng dạy. Hình thức giảng dạy sẽ được liệt kê trên thời khóa biểu học thuật, trong học kỳ tương ứng.
Tiền đề
- Điều kiện tiên quyết: MATH 1P67 (tối thiểu 60 phần trăm) và ba rưỡi tín chỉ COSC.
Điều kiện và thủ tục
- Hạn chế: mở cho chuyên ngành COSC (đơn hoặc kết hợp), BCB, CAST, CNET, GAMP và NEUR luồng Neurocomputing.
- Điều kiện tiên quyết: MATH 1P67 (tối thiểu 60 phần trăm) và ba rưỡi tín chỉ COSC.
- Ghi chú: sinh viên MATH có thể học khóa này với sự cho phép của Khoa Toán. Khóa học này có thể được cung cấp theo nhiều hình thức giảng dạy. Hình thức giảng dạy sẽ được liệt kê trên thời khóa biểu học thuật, trong học kỳ tương ứng.
Văn bản tham chiếu bằng ngôn ngữ gốc
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.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://brocku.ca/webcal/2024/undergrad/cosc.html