Upload
Nâng cấp VIP
Trang chủ » Công Nghệ Thông Tin » Kỹ thuật lập trình
114 trang
98 lượt xem
17
0

Giáo trình Lập trình logic trong prolog: Phần 1

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và những phương pháp lập trình cơ bản nhất của môn học "Lập trình lôgic" (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgic đượ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 như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi,... Sách gồm 5 chương riêng phần 1 trình bày 3 nội dung đầu: Giới thiệu ngôn ngữ lập trình prolog, ngữ nghĩa của chương trình prolog, các phép toán và số học.

Từ khoá:

hanh_tv22

Lập trình logic trong prolog

Phương pháp lập trình

Lập trình lôgic

Kỹ thuật lập trình lôgic

Xử lý ngôn ngữ tự nhiên

Ngôn ngữ lập trình prolog

Share
/
114

Có thể bạn quan tâm

Bài giảng Trí tuệ nhân tạo: Chương 1 - TS. Nguyễn Văn Hiệu

Bài giảng Trí tuệ nhân tạo: Chương 1 - TS. Nguyễn Văn Hiệu

32 trang
Bài giảng Các kỹ thuật học sâu và ứng dụng: Bài 5 - TS. Nguyễn Vinh Tiệp

Bài giảng Các kỹ thuật học sâu và ứng dụng: Bài 5 - TS. Nguyễn Vinh Tiệp

33 trang
Bài giảng Lập trình hướng đối tượng: Tổng quan về lập trình hướng đối tượng  - GV. Đỗ Thị Thanh Tuyền

Bài giảng Lập trình hướng đối tượng: Tổng quan về lập trình hướng đối tượng - GV. Đỗ Thị Thanh Tuyền

49 trang
Đề cương môn Các kỹ thuật học sâu và ứng dụng

Đề cương môn Các kỹ thuật học sâu và ứng dụng

9 trang
Bài giảng Trí tuệ nhân tạo: Chương 1 - Tổng quan về trí tuệ nhân tạo

Bài giảng Trí tuệ nhân tạo: Chương 1 - Tổng quan về trí tuệ nhân tạo

146 trang
Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 0 - Hoàng Anh Việt

Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 0 - Hoàng Anh Việt

7 trang
Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 1 - Hoàng Anh Việt

Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 1 - Hoàng Anh Việt

45 trang
Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 2 - Hoàng Anh Việt

Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 2 - Hoàng Anh Việt

32 trang
Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 3 - Hoàng Anh Việt

Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 3 - Hoàng Anh Việt

78 trang
Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 4 - Hoàng Anh Việt

Bài giảng Xử lý ngôn ngữ tự nhiên: Chương 4 - Hoàng Anh Việt

40 trang
Bài giảng Học sâu và ứng dụng: Bài 10 - Một số ứng dụng học sâu trong xử lý ngôn ngữ tự nhiên

Bài giảng Học sâu và ứng dụng: Bài 10 - Một số ứng dụng học sâu trong xử lý ngôn ngữ tự nhiên

47 trang
Bài giảng Học sâu và ứng dụng: Bài 11 - Một số ứng dụng học sâu trong xử lý ngôn ngữ tự nhiên

Bài giảng Học sâu và ứng dụng: Bài 11 - Một số ứng dụng học sâu trong xử lý ngôn ngữ tự nhiên

72 trang
Nghiên cứu chế tạo robot hình người phục vụ công tác đào tạo và tư vấn tuyển sinh

Nghiên cứu chế tạo robot hình người phục vụ công tác đào tạo và tư vấn tuyển sinh

3 trang
Cải thiện hiệu quả của mô hình học máy thống kê bởi luật kết hợp và ứng dụng trong bài toán khử nhập nhằng nghĩa từ tiếng Việt

Cải thiện hiệu quả của mô hình học máy thống kê bởi luật kết hợp và ứng dụng trong bài toán khử nhập nhằng nghĩa từ tiếng Việt

4 trang
Phân tích cảm xúc trên phản hồi học viên bằng mô hình BERT kết hợp kiến trúc đa kênh CNN-GRU

Phân tích cảm xúc trên phản hồi học viên bằng mô hình BERT kết hợp kiến trúc đa kênh CNN-GRU

18 trang
Đề thi kết thúc học phần học kì 2 môn Xử lý ngôn ngữ tự nhiên năm 2023-2024

Đề thi kết thúc học phần học kì 2 môn Xử lý ngôn ngữ tự nhiên năm 2023-2024

7 trang
Tóm tắt Luận án Tiến sĩ Hệ thống thông tin: Nghiên cứu các phương pháp phát hiện tin nhắn rác tiếng Việt

Tóm tắt Luận án Tiến sĩ Hệ thống thông tin: Nghiên cứu các phương pháp phát hiện tin nhắn rác tiếng Việt

27 trang
Học biểu diễn câu sử dụng mô hình LSTM trong bài toán tìm kiếm câu hỏi

Học biểu diễn câu sử dụng mô hình LSTM trong bài toán tìm kiếm câu hỏi

7 trang
Bài giảng Trí tuệ nhân tạo (Artificial Intelligence): Chương 7 – GV. Nguyễn Văn Hòa

Bài giảng Trí tuệ nhân tạo (Artificial Intelligence): Chương 7 – GV. Nguyễn Văn Hòa

41 trang
Luận văn Thạc sĩ Kỹ thuật điện: Nghiên cứu thiết kế hệ thống giám sát và điều khiển trạm quạt gió 6kV Tràng Khê tại Công ty Than Uông Bí-TKV

Luận văn Thạc sĩ Kỹ thuật điện: Nghiên cứu thiết kế hệ thống giám sát và điều khiển trạm quạt gió 6kV Tràng Khê tại Công ty Than Uông Bí-TKV

87 trang

Tài liêu mới

Câu hỏi ôn tập học phần Nhập môn trí tuệ nhân tạo

Câu hỏi ôn tập học phần Nhập môn trí tuệ nhân tạo

31 trang
Câu hỏi ôn tập Cơ sở lập trình

Câu hỏi ôn tập Cơ sở lập trình

12 trang
Câu hỏi ôn tập IoT cơ bản

Câu hỏi ôn tập IoT cơ bản

9 trang
Bài tập kết thúc học phần Lập trình MATLAB

Bài tập kết thúc học phần Lập trình MATLAB

58 trang
Bài giảng Kỹ thuật lập trình - Chương 7: Hàm và cấu trúc chương trình

Bài giảng Kỹ thuật lập trình - Chương 7: Hàm và cấu trúc chương trình

37 trang
Bài giảng Kỹ thuật lập trình - Chương 6: Các lệnh điều khiển, vòng lặp

Bài giảng Kỹ thuật lập trình - Chương 6: Các lệnh điều khiển, vòng lặp

41 trang
Bài giảng Kỹ thuật lập trình - Chương 5: Vào - ra

Bài giảng Kỹ thuật lập trình - Chương 5: Vào - ra

17 trang
Bài giảng Kỹ thuật lập trình - Chương 4: Biểu thức

Bài giảng Kỹ thuật lập trình - Chương 4: Biểu thức

38 trang
Bài giảng Kỹ thuật lập trình - Chương 3: Hằng, biến và mảng

Bài giảng Kỹ thuật lập trình - Chương 3: Hằng, biến và mảng

94 trang
Bài giảng Kỹ thuật lập trình - Chương 2: Các khái niệm cơ bản

Bài giảng Kỹ thuật lập trình - Chương 2: Các khái niệm cơ bản

56 trang
Bài giảng Kỹ thuật lập trình - Chương 1: Tổng quan về kỹ thuật lập trình

Bài giảng Kỹ thuật lập trình - Chương 1: Tổng quan về kỹ thuật lập trình

51 trang
Tài liệu Lập Trình Hướng Đối Tượng C++: Bài Tập & Lời Giải Chi Tiết

Tài liệu Lập Trình Hướng Đối Tượng C++: Bài Tập & Lời Giải Chi Tiết

100 trang
Bài giảng Lập trình trực quan C#

Bài giảng Lập trình trực quan C#

331 trang
Bài giảng Trí tuệ nhân tạo: Chương 8 - TS. Nguyễn Văn Hiệu

Bài giảng Trí tuệ nhân tạo: Chương 8 - TS. Nguyễn Văn Hiệu

16 trang
Bài giảng Trí tuệ nhân tạo: Chương 7 - TS. Nguyễn Văn Hiệu

Bài giảng Trí tuệ nhân tạo: Chương 7 - TS. Nguyễn Văn Hiệu

23 trang

AI tóm tắt

- Giúp bạn nắm bắt nội dung tài liệu nhanh chóng!

Giới thiệu tài liệu

Đối tượng sử dụng

Từ khoá chính

Nội dung tóm tắt

Giới thiệu

Về chúng tôi

Việc làm

Quảng cáo

Liên hệ

Chính sách

Thoả thuận sử dụng

Chính sách bảo mật

Chính sách hoàn tiền

DMCA

Hỗ trợ

Hướng dẫn sử dụng

Đăng ký tài khoản VIP

Zalo/Tel:

093 303 0098

Email:

support@tailieu.vn

Phương thức thanh toán

Layer 1

Theo dõi chúng tôi

Facebook

Youtube

TikTok

Chịu trách nhiệm nội dung: Nguyễn Công Hà. ©2025 Công ty TNHH Tài Liệu trực tuyến Vi Na.
Địa chỉ: 54A Nơ Trang Long, P. Bình Thạnh, TP.HCM - Điện thoại: 0283 5102 888 - Email: info@tailieu.vn
Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015