» Từ khóa: bieu thuc logic

Kết quả 1-8 trong khoảng 8

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

Tập bài giảng Nhập môn trí tuệ nhân tạo gồm có 5 chương với nội dung cụ thể của từng chương như sau: Chương 1 - tổng quan về trí tuệ nhân tạo, chương 2 - các chiến lược tìm kiếm, chương 3 - logic mệnh đề, chương 4 - logic vị từ, chương 5 - biểu diễn tri thức. Mời các bạn cùng tham khảo.

259 p vlute 24/11/2021 239 2

Từ khóa: Bài giảng công nghệ thông tin, Tập bài giảng Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ, Biểu diễn tri thức
Bài giảng Hệ chuyên gia (Expert System): Chương 2.1 - PGS.TS. Phan Huy Khánh

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.1 đề cập đến vấn đề biểu diễn tri thức trong các hệ chuyên gia. Nội dung chính trong chương này tập trung trình bày một số phương pháp dùng ngôn ngữ hình thức như: Biểu diễn tri thức nhờ các luật sản xuất, biểu diễn tri thức nhờ lôgic, biểu diễn tri thức nhờ mạng ngữ nghĩa,... Mời các bạn cùng...

45 p vlute 30/03/2020 213 1

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Biểu diễn tri thức, Ngôn ngữ hình thức, Biểu diễn tri thức nhờ lôgic, Mạng ngữ nghĩa
Bài giảng Hệ chuyên gia (Expert System): Chương 2.2 - PGS.TS. Phan Huy Khánh

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.2 đề cập đến lôgic mệnh đề. Trong chương này sẽ trình bày 2 nội dung chính, đó là các khái niệm lôgic và lôgic mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

67 p vlute 30/03/2020 249 1

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Logic mệnh đề, Biểu diễn tri thức, Lôgic vị từ bậc một, Arguments in Logic
Bài giảng Hệ chuyên gia (Expert System): Chương 2.3 - PGS.TS. Phan Huy Khánh

Chương 2.3 của bài giảng Hệ chuyên gia trang bị cho người học những hiểu biết về lôgic vị từ bậc một. Sau khi học xong chương này người học có thể biết cách biểu diễn tri thức nhờ logic vị từ bậc một. Mời các bạn cùng tham khảo.

69 p vlute 30/03/2020 253 1

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Biểu diễn tri thức, Lôgic vị từ, Lôgic vị từ bậc một, Biểu diễn tri thức nhờ logic vị từ
Bài giảng Tin đại cương: Bài 4 - Trương Xuân Nam

Bài giảng Tin đại cương: Bài 4 Hàm và lệnh lặp cung cấp cho người đọc các kiến thức: Tại sao cần viết chương trình con, vòng lặp, ví dụ về vòng lặp dùng biến đếm, ví dụ về vòng lặp dùng điều kiện, biểu thức logic

31 p vlute 30/10/2019 316 1

Từ khóa: Bài giảng Tin đại cương, Tin đại cương, Hàm và lệnh lặp, Biểu thức logic, Vòng lặp dùng điều kiện, Chương trình con, Chương trình đơn giản
Bài giảng Ngôn ngữ lập trình: Bài 1 – Lê Nguyễn Tuấn Thành

Bài giảng “Ngôn ngữ lập trình – Bài 1: Giới thiệu về C++” cung cấp cho người học các kiến thức: Giới thiệu C++, Biến (variable), Literal, Hằng số (constant), biểu thức logic, Input/Output, phong cách lập trình, thư viện và Namespace. Mời các bạn cùng tham khảo.

34 p vlute 27/07/2019 281 1

Từ khóa: Bài giảng Ngôn ngữ lập trình, Ngôn ngữ lập trình, Kỹ thuật lập trình, Ngôn ngữ C, Biểu thức logic
Bài giảng Toán rời rạc và lý thuyết đồ thị - Chương 1: Cơ sở Logic

Chương 1 của bài giảng Toán rời rạc và lý thuyết đồ thị trình bày các kiến thức cơ sở Logic như: Khái niệm mệnh đề và chân trị, các phép toán mệnh đề, biểu thức logic, các luật logic, logic vị từ, các lượng từ và các mệnh đề có lượng từ, qui tắc phủ định mệnh đề có lượng từ,... Mời các bạn cùng tham khảo để nắm bắt các nội dung...

22 p vlute 30/06/2019 467 1

Từ khóa: Toán rời rạc, Lý thuyết đồ thị, Cơ sở Logic, Logic mệnh đề, Biểu thức logic, Logic vị từ
Bài giảng Ngôn ngữ lập trình: Bài 1 - Lê Nguyễn Tuấn Thành

Bài giảng "Ngôn ngữ lập trình - Bài 1: Giới thiệu về C++" cung cấp cho người học các kiến thức: Giới thiệu C++, biến (variable), Literal, Hằng số (constant), biểu thức logic, Input/Output, phong cách lập trình, thư viện và Namespace. Mời các bạn cùng tham khảo.

34 p vlute 24/05/2017 489 1

Từ khóa: Bài giảng Ngôn ngữ lập trình, Ngôn ngữ lập trình, Giới thiệu về C++, Thư viện và Namespace, Phong cách lập trình, Biểu thức logic