Brock University · COSC 4P61

نظرية الحساب

العنوان الرسمي : Theory of Computation

الساعات المعتمدة : 0.5سنة المرجع : 2024-25

هذا المرجع يصف الكتالوج المشار إليه. راجع المؤسسة لتأكيد العرض الحالي والشروط المطبقة على فصلك الدراسي.

الوصف

نظرية الحوسبة (يُقدَّم أيضًا كـ MATH 4P61) اللغات المنتظمة وآلات الحالة المحدودة: الآلات الحتمية وغير الحتمية، مبرهنة كْلِيني، لممة الضخ، مبرهنة Myhill-Nerode والأسئلة القابلة للقرار. اللغات السياقية الحرة: التوليد بواسطة قواعد سياقية حرة والقبول بواسطة آلات دفع المكدس، لممة الضخ، خواص الإغلاق، القابلية للقرار. آلات تورينج: اللغات القابلة للإدراج حاسوبيًا، آلات تورينج الشاملة، مشكلة التوقف وأسئلة أخرى غير قابلة للقرار. محاضرات، 3 ساعات في الأسبوع. قيد: مفتوح لطلبة COSC (منفرد أو مشترك)، BCB، CAST، CNET، GAMP وتخصص الحوسبة العصبية NEUR. المتطلبات السابقة: MATH 1P67 (بحد أدنى 60 بالمئة) وثلاثة ونصف أرصدة COSC. ملاحظة: يمكن لطلبة قسم الرياضيات أخذ هذا المقرر بإذن من قسم الرياضيات. قد يُقدَّم هذا المقرر بعدة أساليب تقديم. سيتم إدراج أسلوب التقديم في الجدول الأكاديمي، في الفصل المعني.

المقررات السابقة

  • المتطلبات السابقة: MATH 1P67 (بحد أدنى 60 بالمئة) وثلاثة ونصف أرصدة COSC.

الشروط والإجراءات

  • قيد: متاحة لطلاب COSC (منفرد أو مشترك)، BCB، CAST، CNET، GAMP وتخصص NEUR مسار الحوسبة العصبية.
  • المتطلبات السابقة: 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

تواصل مع StudyCanada

أخبرنا بخطتك أو سؤالك، ونواصل الحديث عبر البريد الإلكتروني.

سنستخدم معلومات الاتصال هذه للرد على طلبك. الخصوصية

هذا النموذج موجّه إلى StudyCanada. للتواصل مع المؤسسة التعليمية، استخدم بيانات الاتصال في صفحتها.