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 » Tra cứu giáo trình
  Tìm kiếm tài liệu:
  Quay lại Kết quả tìm Bảng tìm kiếm  Xếp theo: Thời gian | Đánh giá | Lần xem
 
Số kết quả tìm thấy: 14 mục.
Tất cả được thể hiện trong một trang.
Gửi cho bạn bè
Ghi bookmark:
 Delicious  Digg  Google  Reddit

Giáo trình Trí tuệ nhân tạo
Nguồn: Sưu tầm, 2003
Mã số: 26226 2015 83.1 kB 45 1,190 0  0  
 

Chương 1. Tổng quan về khoa học trí tuệ nhân tạo Chương 2. Các phương pháp biểu diễn và giải quyết vấn đề Chương 3. Ngôn ngữ lập trình Prolog | Xem..


Thực hành Ngôn ngữ lập trình - Khoa CNTT
Nguồn: Trường ĐH Bách khoa Tp.HCM, 2005
Mã số: 20622 2011 843.5 kB 103 9,730 0  1  
 

PHẦN I. PROLOG Chương I. Vị từ - Tư duy lập trình và định nghĩa vấn đề trên Prolog Chương II. Các clause, cách giải thích các vấn đề trên Prolog Chương III. Môi trường lập trình B-Prolog Chương IV. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời Chương IV. Thực thi chương trình. - Đặt câu hỏi và nhận.. | Xem..


Prolog Fast Foot - Nguyễn Thanh Sơn
Nguồn: Trường ĐH Bách khoa Tp.HCM, 2011
Mã số: 20297 2011 468.4 kB 62 17,802 0  1  
 

Dịch từ bản tiếng Anh Prolog Fast Foot. - Hướng dẫn - Đặc điểm của Prolog - Cấu trúc của chương trình Prolog - Domains - Predicates - Clauses - Goal - Đặc điểm của biến - Bản chất đệ qui - Kiểu danh sách - Nguyên tắc trả lời goal - Cơ chế hoạt động của Prolog - Lập trình luận lý − mô tả - Lập trình luận lý − đệ qui - Tạp luận - Lịch sử Tài liệu tham.. | Xem..


Trí Tuệ Nhân Tạo - Nguyễn Nhật Quang
Nguồn: Trường Đại học Bách Khoa Hà Nội, 2010
Mã số: 17677 2011 4.8 MB 13,481 2  0  
 

Môn học này giúp sinh viên có được kiến thức về các khái niệm và kỹ thuật cơ bản của Trí tuệ nhân tạo. Đồng thời, môn học này cũng giúp sinh viên hiểu được các ứng dụng của Trí tuệ nhân tạo trong thực tế. Bài 1: Giới thiệu về Trí tuệ nhân tạo Bài 2: Tác tử Bài 3: Giải quyết vấn đề bằng tìm kiếm: Các chiến lược tìm kiếm cơ.. | Xem..


Bài giảng Trí tuệ nhân tạo - Nguyễn Tiến Tài
Nguồn: Trường ĐHKHTN - ĐHQG.HN, 2008
Mã số: 4494 2010 1.2 MB 18,468 13  1  
 

Lec 1. Giới thiệu về trí tuệ nhân tạo, các khái niệm cơ bản Lec 2. Agent thông minh Lec 3. Giải quyết vấn đề bằng tìm kiếm: tìm kiếm mù Lec 4. Tìm kiếm kinh nghiệm (heuristics) Lec 5. Trò chơi: Tìm kiếm có đối thủ Lec 6. Logic mệnh đề Lec 7-8. Logic vị từ cấp một Lec 9-10. Biểu diễn tri thức bởi các luật và lập luận Lec 11-13. Lập trình logic Prolog Lec 14. Tri thức không.. | Xem..


Logic Toán - Trần Thọ Châu
Nguồn: Đại học quốc gia Hà Nội, 2009
Mã số: 5210 2009 1.1 MB 205 25,937 17  4  
 

Lời mở đầu 1. Đại số mệnh đề 2. Hệ toán mệnh đề 3. Hệ toán tân từ 4. Ngôn ngữ PROLOG 5. Logic mờ Tài liệu tham khảo | Xem..


The Art of Prolog - Leon Sterling - Ehud Shapiro
Nguồn: Chưa xác định, 2009
Mã số: 6688 2009 2.8 MB 15,228 3  0  
 

Kỹ thuật lập trình logic trong Prolog. I - Logic Programs 1. Basic Constructs 2. Database Programming 3. Recursive Programming 4. The Computation Model of Logic Programs 5. Theory of Logic Programs .. II - The Prolog Language III - Advanced Prolog Programming Techniques IV - Applications | Xem..


Hướng dẫn kỹ thuật lập trình Turbo Prolog - Nguyen Van Hung
Nguồn: Đại học Sư phạm, 2009
Mã số: 9216 2009 350.9 kB 25 17,126 20  5  
 

I. Vị từ (predicate) - Tư duy lập trình và định nghĩa vấn đề trên Prolog II. Các clause, cách giải thích các vấn đề trên Prolog III. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời IV. Phép hợp nhất - Cơ chế tìm câu trả lời của Prolog. V. Sự quay lui - Khống chế số lượng lời giải -Vị từ nhát cắt và fail VI. Lập trình đệ quy với.. | Xem..


Bài giảng Trí tuệ nhân tạo
Nguồn: Trường Đại học Vinh, 2008
Mã số: 7514 2008 4.1 MB 18,839 38  3  
 

1. Tổng quan về khoa học TTNT 2. Các phương pháp biểu diễn và giải quyết vấn đề 3. Ngôn ngữ TTNT Prolog | Xem..


Trí tuệ nhân tạo - Nguyễn Quang Hoan
Nguồn: Học viện Bưu chính Viễn thông, 2008
Mã số: 4852 2008 2.0 MB 171 18,901 40  8  
 

Chương 1: Tổng quan 1.1. Lịch sử hình thành và phát triển 1.2. Các tiền đề và khái niệm cơ bản của TTNT 1.3. Các lĩnh vực nghiên cứu và ứng dụng cơ bản 1.4. Tác tử thông minh 1.5 Những vấn đề chưa được giải quyết trong TTNT Chương 2: Giải quyết vấn đề bằng tìm kiếm 2.1 Giải quyết vấn đề và khoa học TTNT 2.2 Biểu diễn vấn đề dưới dạng bài toán tìm kiếm trong không gian trạng.. | Xem..


Logic, Programming and Prolog (2ED) - Ulf Nilsson, Jan Maluszynsky
Nguồn: Chưa xác định, 2008
Mã số: 5269 2008 1.9 MB 294 4,721 4  0  
 

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... | Xem..


Prolog and Natural Language Analysis - Fernando C.N. Pereira, Stuart M. Shieber
Nguồn: Chưa xác định, 2002
Mã số: 3219 2008 1.1 MB 219 14,341 6  3  
 

Ngôn ngữ lập trình lôgic, lập trình Prolog và bàn về phân tích ngôn ngữ tự nhiên. 1 Introduction 1.1 Purpose 1.2 Logic Programming and Language 1.3 Programming In Prolog 1.4 Overview 1.5 Bibliographic Notes 2 Database Prolog 2.1 Databases and Queries 2.2 Extending the Query Language 2.3 The Logic of Prolog 2.4 The Operation of Database Prolog 2.5 Recursive.. | Xem..


Lập Trình Logic - TS. Nguyễn Thanh Bình
Nguồn: Đại học Đà Nẵng, 2007
Mã số: 1791 2007 1.4 MB 114 25,306 32  10  
 

Lịch sử phát triển của Tin học luôn gắn liền với việc tìm kiếm các phương pháp lập trình để giúp cho người sử dụng triển khai các ứng dụng một cách dễ dàng, nhanh chóng và hiệu quả.. | Xem..


Lập trình logic trong Prolog - TS. Phan Huy Khánh
Nguồn: Đại học Đà Nẵng, 2007
Mã số: 1728 2007 2.1 MB 210 36,089 59  15  
 

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và các phương pháp lập trình cơ bản nhất của môn học «Lập trình lôgich» (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử.. | Xem..

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
Tra cứu giáo trình