Referensi ini menggambarkan katalog yang disebutkan. Hubungi lembaga untuk mengonfirmasi penawaran saat ini dan ketentuan yang berlaku untuk pendaftaran Anda.
Deskripsi
Teori Komputasi (juga ditawarkan sebagai MATH 4P61) Bahasa reguler dan mesin hingga-bernegara: mesin deterministik dan nondeterministik, teorema Kleene, lema pumping, Teorema Myhill-Nerode dan pertanyaan yang dapat diputuskan. Bahasa bebas-konteks: pembangkitan oleh tata bahasa bebas-konteks dan penerimaan oleh automata pushdown, lema pumping, sifat penutupan, keputusan. Mesin Turing: bahasa rekursif terenumerasi, mesin Turing universal, masalah berhenti dan pertanyaan tidak dapat diputuskan lainnya. Kuliah, 3 jam per minggu. Pembatasan: terbuka untuk jurusan COSC (tunggal atau gabungan), BCB, CAST, CNET, GAMP dan NEUR aliran Neurocomputing. Prasyarat: MATH 1P67 (minimum 60 persen) dan tiga setengah kredit COSC. Catatan: mahasiswa MATH dapat mengambil mata kuliah ini dengan izin Departemen Matematika. Mata kuliah ini dapat ditawarkan dalam berbagai mode penyampaian. Metode penyampaian akan tercantum pada jadwal akademik, pada periode yang berlaku.
Prasyarat
- Prasyarat: MATH 1P67 (minimum 60 persen) dan tiga setengah kredit COSC.
Syarat dan ketentuan
- Pembatasan: terbuka untuk jurusan COSC (tunggal atau gabungan), BCB, CAST, CNET, GAMP dan NEUR aliran Neurocomputing.
- Prasyarat: MATH 1P67 (minimum 60 persen) dan tiga setengah kredit COSC.
- Catatan: mahasiswa MATH dapat mengambil mata kuliah ini dengan izin Departemen Matematika. Mata kuliah ini dapat ditawarkan dalam berbagai mode penyampaian. Metode penyampaian akan tercantum pada jadwal akademik, pada periode yang berlaku.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://brocku.ca/webcal/2024/undergrad/cosc.html