Mô tả
Hàm đệ quy và tính toán được, thuật toán, định đề Church, máy Turing, logic tính toán, NP-đủ khó.
Tiền đề
- Điều kiện tiên quyết: MATH 2100 hoặc MATH 3855 hoặc được phép của Khoa.
Điều kiện và thủ tục
- Cũng được liệt kê là COMP 4803.
- Điều kiện tiên quyết: MATH 2100 hoặc MATH 3855 hoặc được phép của Khoa.
- Ba giờ giảng mỗi tuần.
Văn bản tham chiếu bằng ngôn ngữ gốc
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or MATH 3855 or permission of the School.
- Also listed as COMP 4803 .
- Lectures three hours a week.
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/undergrad/courses/MATH/