Carleton University · CGSC 5103

Metode Formal

Nama resmi : Formal Methods

Kredit : 0.5 kreditTahun acuan : 2026-27

Deskripsi

Kelas ini memperkenalkan mahasiswa pada berbagai metode formal yang relevan dengan ilmu kognitif, kemungkinan meliputi (tetapi tidak terbatas pada) logika formal, teori komputasi, teori probabilitas, teori keputusan.

Prasyarat

  • Prasyarat: izin dari departemen.

Syarat dan ketentuan

  • Menghalangi kredit tambahan untuk Menghalangi kredit tambahan untuk CGSC 5102.
  • Prasyarat: izin dari departemen.
  • Seminar.
Teks rujukan dalam bahasa aslinya

The class introduces students to various formal methods relevant to cognitive science, possibly including (but not limited to) formal logic, the theory of computation, probability theory, decision theory.

  • Prerequisite(s): permission of the department.
  • Precludes additional credit for Precludes additional credit for CGSC 5102.
  • Seminar.

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://calendar.carleton.ca/grad/courses/CGSC/

Hubungi StudyCanada

Ceritakan rencana atau pertanyaan Anda. Kita lanjutkan melalui email.

Kami menggunakan informasi kontak ini untuk menjawab pertanyaan Anda. Privasi

Formulir ini ditujukan kepada StudyCanada. Untuk menghubungi institusi ini, gunakan kontak pada profilnya.