Gửi cho bạn bè Đánh giá - Góp ý Nguồn tham khảo Đánh dấu TL ưa thích Nhặt tạm vào giỏ Logic, Programming and Prolog (2ED) Tweet

Mã số: 5269

Loại: Tài liệu tham khảo, bài tập, đề thi..

Tác giả:

 Ulf Nilsson, Jan Maluszynsky

Nguồn gốc:

 Chưa xác định, 2008

Từ khoá: lập trình lôgic lập trình prolog

2008 1.9 MB  Số trang:294  Lượt xem:4,546  Ưa thích:4 0
Địa chỉ của tài liệu: Chia sẻ bởi: phuongnh | Kết bạn	Ghi bookmark:  Delicious  Digg  Google  Reddit

Chuyên ngành:

  / Kỹ thuật - Công nghệ / Công nghệ thông tin

Sơ lược:

Lôgic - Lập trình và Prolog.

I. Foundations
1. Preliminaries
2. Definite Logic Programs
3. SLD-Resolution
4. Negation in Logic Programming
5. Towards Prolog: Cut and Arithmetic

II. Programming in Logic
6. Logic and Databases
7. Programming with Recursive Data Structures
8. Amalgamating Object- and Meta-language
9. Logic and Expert Systems
10. Logic and Grammars
11. Searching in a State-space

III. Alternative Logic Programming Schemes
12. Logic Programming and Concurrency
13. Logic Programs with Equality
14. Constraint Logic Programming
15. Query-answering in Deductive Databases

A. Bibliographical Notes
B. Basic Set Theory
C. Answers to Selected Exercises
Bibliography
Index

Download (1.9 MB)

Tổng kích thước gói: 1.9 MB

Nguồn tham khảo:

Soạn EK 5269 <noi_nhan> gửi 8777 để nhận tài liệu qua email Xem » Có thể bạn cần đến.. ..
Có thể download không? Bị lỗi download, lỗi mở, xem? Đang thống kê..
Tài liệu do thành viên chia sẻ và chịu trách nhiệm trước Điều kiện sử dụng của eBooks.

Tài liệu cùng chủ đề:     Giáo trình   Luận văn   Tham khảo   Các loại khác..

The Art of Prolog

Prolog Fast Foot

Giáo trình Nhập môn trí tuệ nhân tạo

PLC - Programable Logic Controller

Inductive Logic Progamming - Techniques and Applications

Lập trình logic trong Prolog

Lập Trình Logic

Thực hành Ngôn ngữ lập trình

Hướng dẫn kỹ thuật lập trình Turbo Prolog

Chưa xác định

Chưa xác định

Prolog and Natural Language Analysis