ข้อมูลอ้างอิงนี้อธิบายสารบบที่ระบุ โปรดติดต่อสถาบันเพื่อยืนยันข้อเสนอปัจจุบันและเงื่อนไขที่ใช้กับปีที่คุณจะเข้าเรียน
คำอธิบาย
ทฤษฎีการคำนวณ (เสนอเป็น MATH 4P61 ด้วย) ภาษาปกติและเครื่องสถานะจำกัด: เครื่องแบบกำหนดและไม่กำหนดสถานะ, ทฤษฎีของ Kleene, เลมม่าการปั๊ม (pumping lemma), ทฤษฎี Myhill–Nerode และคำถามที่สามารถตัดสินได้ ภาษาบริบทอิสระ: การสร้างโดยไวยากรณ์บริบทอิสระและการรับโดยออโตมาต้ากองซ้อน เลมม่าการปั๊ม สมบัติการปิด ความตัดสินใจ เครื่องทัวริง: ภาษาที่นับได้เชิงวนซ้ำ เครื่องทัวริงสากล ปัญหาหยุดและคำถามอื่นๆ ที่ไม่สามารถตัดสินได้ บรรยาย 3 ชั่วโมงต่อสัปดาห์ ข้อจำกัด: เปิดสำหรับสาขา COSC (เอกเดี่ยวหรือร่วม), BCB, CAST, CNET, GAMP และ NEUR สาขา Neurocomputing เงื่อนไขเบื้องต้น: MATH 1P67 (ขั้นต่ำ 60 เปอร์เซ็นต์) และหน่วยกิต COSC สามและครึ่ง หมายเหตุ: นักศึกษาฝ่ายคณิตศาสตร์อาจลงทะเบียนหลักสูตรนี้ได้โดยได้รับอนุญาตจากภาควิชาคณิตศาสตร์ หลักสูตรนี้อาจมีการสอนในหลายรูปแบบ วิธีการสอนจะระบุในตารางสอนวิชาการ ในภาคการศึกษาที่เกี่ยวข้อง
รายวิชาก่อนหน้า
- เงื่อนไขเบื้องต้น: MATH 1P67 (ขั้นต่ำ 60 เปอร์เซ็นต์) และหน่วยกิต COSC สามและครึ่ง.
เงื่อนไขและข้อกำหนด
- ข้อจำกัด: เปิดสำหรับสาขา COSC (เดี่ยวหรือรวม), BCB, CAST, CNET, GAMP และ NEUR สาย neurocomputing.
- เงื่อนไขเบื้องต้น: MATH 1P67 (ขั้นต่ำ 60 เปอร์เซ็นต์) และหน่วยกิต COSC สามและครึ่ง.
- หมายเหตุ: นักศึกษาฝ่ายคณิตศาสตร์อาจลงทะเบียนหลักสูตรนี้ได้โดยได้รับอนุญาตจากภาควิชาคณิตศาสตร์ หลักสูตรนี้อาจมีการสอนในหลายรูปแบบ วิธีการสอนจะระบุในตารางสอนวิชาการ ในภาคการศึกษาที่เกี่ยวข้อง
ข้อความอ้างอิงในภาษาต้นฉบับ
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