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 đề
- Tiền đề: MATH 2100 hoặc COMP 3805 hoặc sự cho phép của Khoa.
Điều kiện và thủ tục
- Cũng được liệt kê là MATH 4803 .
- Tiền đề: MATH 2100 hoặc COMP 3805 hoặc sự cho phép của Khoa.
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 COMP 3805 or permission of the School.
- Also listed as MATH 4803 .
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/COMP/