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ý..
Prolog Fast Foot | Nguyễn Thanh Sơn | 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ỏ

Prolog Fast Foot
Prolog Fast Foot

Mã số: 20297

Loại: Giáo trình-Bài giảng-Giáo án

Tác giả:

 Nguyễn Thanh Sơn

Nguồn gốc:

 Trường ĐH Bách khoa Tp.HCM, 2011

Từ khoá: lập trình Prolog Prolog lập trình logic trí tuệ nhân tạo AI kỹ thuật lập trình

2011 468.4 kB  Số trang:62  Lượt xem:17,128
Địa chỉ của tài liệu:

Chia sẻ bởi: cmforever
| 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 / Khoa học tính toán

Sơ lược:

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 khảo

Download (468.4 kB)

Tổng kích thước gói: 468.4 kB

Nguồn tham khảo:

Soạn EK 20297 <noi_nhan> gửi 8677 để 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..

Lập trình logic trong Prolog

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

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

The Art of Prolog

Bài giảng Trí tuệ nhân tạo

Trí Tuệ Nhân Tạo

Giáo trình Trí tuệ nhân tạo

Lập Trình Logic

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

Inductive Logic Progamming - Techniques and Applications

PLC - Programable Logic Controller

Bài giảng Trí tuệ nhân tạo

Trí tuệ nhân tạo

Trí tuệ nhân tạo

Hệ chuyên gia

Các Hệ cơ sở tri thức

Lập trình tiến hoá

Trí tuệ nhân tạo

Thuật toán - Thuật giải

Bài giảng Trí tuệ nhân tạo và Hệ chuyên gia

Bài giảng Trí tuệ nhân tạo

Bài giảng Trí tuệ nhân tạo

Ước lượng chi phí xây dựng chung cư bằng mạng neuron nhân tạo

Trí tuệ nhân tạo

Trí tuệ nhân tạo

Bài giảng Kho dữ liệu và Hệ hỗ trợ quyết định

Trí tuệ nhân tạo

Trí tuệ nhân tạo

An introduction Neural Networks

Giáo trình Trí tuệ nhân tạo

Machine Learning

Bài giảng Hệ chuyên gia

Hệ mờ, Mạng nơ ron & ứng dụng

Hệ mờ & nơ-ron trong kỹ thuật điều khiển

Trí tuệ nhân tạo

Bài giảng Hệ hỗ trợ quyết định

Hệ Hỗ Trợ Quyết Định

Introduction to Machine Learning

Bài giảng Điều khiển thông minh

Advanced Artificial Intelligence

Khai Phá Dữ Liệu

Bài giảng Nhập môn trí tuệ nhân tạo

Support Vector Machines for Classification and Regression

Các hệ cơ sở tri thức

A Field Guide to Genetic Programming

Khai thác dữ liệu

Bài giảng Trí tuệ nhân tạo

Bài Giảng Nhập môn trí tuệ nhân tạo

Bài giảng Mạng Nơron và ứng dụng

Mạng nơ ron

Về một phương pháp tổng hợp hệ điều khiển mờ dùng mạng nơron ứng dụng trong công nghiệp

Nhận diện biển số xe bằng KIT DE2 dùng NIOS II

Tìm hiểu về phương pháp LPC trong xử lý tiếng nói

Tìm hiểu và xử lý tiếng nói trong MATLAB

Một số quy trình suy diễn trong hệ mờ

Mạng nơron truyền thẳng nhiều lớp và ứng dụng lĩnh vực dự báo dữ liệu

Tìm kiếm ảnh dựa vào nội dung

Nhận dạng hình học

Statistical Learning in Multiple Instance Problems

Nhận dạng ký tự số bằng mạng neuron

Nhận dạng người nói

Tìm hiểu một số phương pháp nhận dạng tiếng nói và xây dựng hệ nhận dạng tiếng nói các chữ số tiếng Việt bằng mạng nơron trên môi trường Matlab

Xây dựng mô hình mờ dựa trên tập dữ liệu vào-ra

Speech Recognition Using Neural Network

Kỹ thuật mạng nơron và giải thuật di truyền trong khai phá dữ liệu và thử nghiệm ứng dụng

Phương pháp xử lý phân tích trực tuyến áp dụng trong xây dựng hệ trợ giúp quyết định dựa vào dữ liệu

Hệ thống phát hiện khuôn mặt dựa trên mạng neural và phương pháp phân vùng màu da

Các hệ cơ sở tri thức: Knowledge Based Systems

Nghiên cứu planning để giải bài toán xác định lộ trình

Phục hồi thông tin từ dữ liệu quan sát bằng thuật giải di truyền

Ứng dụng trí tuệ nhân tạo trong xây dựng game

Phương pháp xây dựng Hệ mờ dạng luật với ngữ nghĩa dựa trên đại số gia tử và ứng dụng trong bài toán phân lớp

Tìm hiểu Kinh Dịch - Xây dựng hệ chuyên gia dự đoán và khám phá tri thức mới

Các phương pháp lập trình vượt firewall

Lập trình hướng Agent và ứng dụng trong phân tích và thiết kế hệ thống

Tìm hiểu và ứng dụng Mobile Agent vào xây dựng ứng dụng phân tán

Nghiên cứu mô hình phân tải server sử dụng proxy động

Logic, Programming and Prolog (2ED)

Principles of Artificial Neural Networks

Ứng dụng giải thuật meta-heuristic trong bài toán tìm đường đi ngắn nhất

Xây dựng hệ chuyên gia Tiếp sức mùa thi

Genetic Algorithms in Electromagnetics

Fuzzy Logic for Business, Finance, and Management

Automated Fingerprint Identification Systems (AFIS)

Trí tuệ nhân tạo - ĐHCT

Hệ hỗ trợ ra quyết định - DSS

Neural Networks for Pattern Recognition

Artificial Intelligence - A Modern Approach - 2nd

Neural Network Toolbox

Áp dụng hệ suy diễn mờ dựa trên mạng thích nghi để xử lý tri thức trong chứng khoán

Vụ án Hương Cảng

Kỹ thuật lập trình Delphi

Object-Oriented Programming Languages: Interpretation

Applied XML Programming for Microsoft .NET

Practical tutorial for using Corba

Windows API Guide

Hướng dẫn lập trình OpenGL căn bản

Lập trình trên thiết bị di động

Tổng quan về Mobile Agents

A Guided Tour to Approximate String Matching

Một số kỹ thuật lập trình Android

Tối ưu hoá command trong Foxpro

Android NDK Beginner Guide

Một số lỗi biên dịch thường gặp trong C

Lập trình Borland Delphi

Programming Windows

C++ Coding Standard

500 bài tập C

97 Things Every Programmer Should Know

Mẹo lập trình

Accelerated C++

Các hàm và phép tính cơ bản trong Foxpro

Network Programming with Windows Sockets

Java Regular Expressions: Taming the java.util.regex Engine

Understanding the Linux Kernel

Code Complete (E2)

A Programmer's Introduction to C#

C# Network Programming

Lập trình Windows

11 Lời khuyên nên làm khi review code

Lập trình các hệ thống nhúng

Prolog and Natural Language Analysis

Ứng dụng logic mờ vào quá trình cập nhập vị trí thuê bao di động theo thời gian thích ứng

Một số báo cáo khoa học chuyên ngành điện Đại học Đà Nẵng

Nhận dạng tiếng nói bằng mạng Noron

Xây dựng hệ chuyên gia xử phạt vi phạm giao thông

Xây dựng hệ chuyên gia chẩn đoán lỗi phần cứng máy tính

Face Recognition by Support Vector Machines

Xây dựng hệ chuyên gia chẩn đoán các bệnh thường gặp từ các triệu chứng và hướng dẫn sử dụng các loại thuốc đặc trị

Trí tuệ nhân tạo

Ứng dụng mạng tính toán trong hóa học

Mạng Noron và giải thuật Back Propagation

Cellular Neural Networks: Theory

Giải bài toán tam giác sử dụng mạng ngữ nghĩa

Online-Signature Verification

Điều khiển trượt dùng mạng nơron hàm cơ sở xuyên tâm

Practical Guide to Support Vector Classi cation

Tổng quan các phương pháp xác định khuôn mặt người

Minh hoạ một hệ mờ đơn giản để điều khiển máy giặt tự động

Agents và multi-agents

Sử dụng bộ điều khiển nơron được tối ưu bằng giải thuật di truyền trong mạch truyền thẳng điều khiển robot bằng phương pháp tính momen

Tìm hiểu thuật toán Floyd

Lập trình game trên di động với J2ME

Lập trình Game di động với J2ME

Thiết kế và Phân tích Thuật toán

Phát triển phần mềm hướng Agent

Lập trình game cờ gánh bằng Microsoft Visual C#

Nghiên cứu WebOS và công nghệ HB++ viết ứng dụng cho điện thoại Palm Pre

Chuỗi vòng nhị phân đối xứng

Ứng dụng tính toán đa dụng trên các bộ xử lý đồ họa đa lõi vào tăng tốc bài toán PageRank

Giải thuật bầy kiến giải bài toán Group Steiner

Detecting Kernel Level Keyloggers Through Dynamic Taint Analysis

Giải thuật đệ quy

Thuật giải di truyền và ứng dụng

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