Mô tả
Lớp học giới thiệu cho sinh viên các phương pháp hình thức khác nhau có liên quan tới khoa học nhận thức, có thể bao gồm (nhưng không giới hạn ở) logic hình thức, lý thuyết tính toán, lý thuyết xác suất, lý thuyết ra quyết định.
Tiền đề
- Điều kiện tiên quyết: có sự cho phép của khoa.
Điều kiện và thủ tục
- Ngăn cản công nhận thêm tín chỉ cho Ngăn cản công nhận thêm tín chỉ cho CGSC 5102.
- Điều kiện tiên quyết: có sự cho phép của khoa.
- Hội thảo.
Văn bản tham chiếu bằng ngôn ngữ gốc
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.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/grad/courses/CGSC/