Sử dụng tốt nhất với FireFox(+), Chrome(+), Safari(+), Opera(+), IE7(-), hỗ trợ iPhone, Android, Nokia..     Home | Sơ đồ site | Giới thiệu

eBooks Online
Chưa đăng nhập, bạn có thể đăng ký nếu chưa có account | Đăng nhập

 
 
Home » Thư mục » Kỹ thuật - Công nghệ » Công nghệ thông tin
Đang xử lý..
Logic, Programming and Prolog (2ED) | Ulf Nilsson, Jan Maluszynsky | eBooks
Sau khi gửi lời mời, nếu được chấp thuận các bạn sẽ trở thành bạn bè, có thể chat, tặng, chia sẻ các tài liệu yêu thích..
Đang xử lý..
Username:
Xem tài liệu:
Quay lại | Ý kiến
Gửi cho bạn bè

Đánh giá - Góp ý

Nguồn tham khảo

Nhặt tạm vào giỏ

Logic, Programming and Prolog (2ED)
Logic, Programming and Prolog (2ED)

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,652  Ư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?
 
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..
Chưa xác định
Chưa xác định
Chia sẻ quan điểm:
 
Họ tên: 
E-mail: 
Báo lỗi hoặc báo vi phạm các điều kiện sử dụng (nếu là ý kiến khác thì không đánh đấu)
Giải đáp thắc mắc
+ Tại sao không đăng ký được?
+ Tại sao click download lại bị nhắc đăng nhập? Tại sao không download được?
+ Lỗi download 99% vì sao?
Hãy xem ở đây.
Dịch vụ Thư viện
+ Để đăng ký nhận tài liệu qua email, hãy soạn tin theo cú pháp
    EK <ma_sach> <noi_nhan>
Nhắn tới số 8677. Xem chi tiết.

+ Ngoài số lượt download cho phép mỗi ngày, bạn có thể yêu cầu thêm bằng cách soạn tin:
    EK D <username>
Nhắn tới các số 8577, 8677, 8777.
Chú ý xem hướng dẫn.

Dịch vụ liên kết
Gửi link
Học gì - Ở đâu?
Siêu thẻ:  
Tiếng Việt

Tự động
TELEX
VNI
VIQR
VIQR*
Tắt
Chính tả
Kiểu cũ

Giỏ tài liệu
Theme