Danh mục

Bài giảng Lý thuyết tính toán: Chương 5 - PGS.TS. Phan Huy Khánh

Số trang: 6      Loại file: pdf      Dung lượng: 174.80 KB      Lượt xem: 14      Lượt tải: 0    
tailieu_vip

Hỗ trợ phí lưu trữ khi tải xuống: 1,000 VND Tải xuống file đầy đủ (6 trang) 0
Xem trước 2 trang đầu tiên của tài liệu này:

Thông tin tài liệu:

Chương 5 của bài giảng Lý thuyết tính toán giới thiệu về hàm đệ quy. Chương này trình bày một số nội dung cơ bản như sau: Gödels incompleteness theorem; zero, successor, projector functions; functional composition; primitive recursion; proving functions are primitive recursive, Ackermanns function. Mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng Lý thuyết tính toán: Chương 5 - PGS.TS. Phan Huy Khánh

Tài liệu được xem nhiều: