Brock University · COSC 4P61

Hesaplama Kuramı

Resmi başlık : Theory of Computation

Kredi : 0.5Referans yılı : 2024-25

Bu referans belirtilen kataloğu tanımlar. Güncel teklifi ve başlangıç için geçerli koşulları doğrulamak üzere kuruma başvurun.

Açıklama

Hesaplama Kuramı (ayrıca MATH 4P61 olarak da sunulur) Düzenli diller ve sonlu durum makineleri: deterministik ve deterministik olmayan makineler, Kleene teoremi, pompalama lema, Myhill-Nerode Teoremi ve karara bağlanabilir sorular. Bağlam-free (bağlamsız) diller: bağlam-free gramerlerle üretim ve itme-aşağı otomatalar tarafından kabul, pompalama lema, kapanış özellikleri, karara bağlanabilirlik. Turing makineleri: özyinelemeli diller, evrensel Turing makineleri, durma problemi ve diğer karara bağlanamaz sorular. Dersler, haftada 3 saat. Kısıtlama: COSC (tek veya birleşik), BCB, CAST, CNET, GAMP ve NEUR Nörobilgisayar akışı ana dal öğrencilerine açıktır. Önkoşul(lar): MATH 1P67 (en az %60) ve üç buçuk COSC kredisi. Not: Matematik öğrencileri bu dersi Matematik Bölümünün izniyle alabilir. Bu ders birden fazla sunum modunda verilebilir. Sunum yöntemi, ilgili dönemin akademik zaman tablosunda listelenecektir.

Önkoşullar

  • Önkoşul(lar): MATH 1P67 (en az %60) ve üç buçuk COSC kredisi.

Şartlar ve koşullar

  • Kısıtlama: COSC (tek veya birleşik), BCB, CAST, CNET, GAMP ve NEUR Neurocomputing akış ana dallarına açıktır.
  • Önkoşul(lar): MATH 1P67 (en az %60) ve üç buçuk COSC kredisi.
  • Not: Matematik öğrencileri bu dersi Matematik Bölümünün izniyle alabilir. Bu ders birden fazla sunum modunda verilebilir. Sunum yöntemi, ilgili dönemin akademik zaman tablosunda listelenecektir.
Kaynak metin orijinal dilinde

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.

Kaynaklar ve referanslar

Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.

Kaynak referans : https://brocku.ca/webcal/2024/undergrad/cosc.html

StudyCanada’ya yazın

Planınızı veya sorunuzu paylaşın. Görüşmeye e-postayla devam edelim.

Bu iletişim bilgilerini sorunuza yanıt vermek için kullanacağız. Gizlilik

Bu form StudyCanada’ya gönderilir. Okulla iletişime geçmek için okul profilindeki bilgileri kullanın.