» Từ khóa: logic vị từ

Phần 1 cuốn giáo trình "Nhập môn logic hình thức" giới thiệu tới người đọc nội dung các chương: Về ngôn ngữ và logich hình thức, khái niệm, phán đoán, logich mệnh đề, logic vị từ. Mời các bạn cùng tham khảo nội dung chi tiết.

 114 p vlute 22/08/2022 130 1 Download

Từ khóa: Nhập môn logic hình thức, Giáo trình Nhập môn logic hình thức, Logic học hình thức, Logich mệnh đề, Logic vị từ, Phán đoán

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 240 2 Download

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

Trong bài học này sẽ trang bại cho người học nhưng kiến thức về: Biểu diễn tri thức, logic mệnh đề (Cú pháp và ngữ nghĩa của Logic mệnh đề, dạng chuẩn tắc, luật suy diễn), logic vị từ cấp một (Cú pháp và ngữ nghĩa logic vị từ cấp một, chuẩn hoá các công thức, các luật suy diễn). Mời các bạn cùng tham khảo.

 36 p vlute 27/05/2020 340 1 Download

Từ khóa: Trí tuệ nhân tạo, Bài giảng Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ cấp một, Dạng chuẩn tắc, Luật suy diễn

Trong bài giảng này, chúng ta sẽ cùng tìm hiểu về lập trình logic Prolog. Trong chương này gồm có các nội dung chính sau: Biễu diễn cấu trúc danh sách, một số vị từ xử lí danh sách, các thao tác cơ bản trên danh sách,... Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 18 p vlute 27/05/2020 202 1 Download

Từ khóa: Trí tuệ nhân tạo, Bài giảng Trí tuệ nhân tạo, Lập trình logic Prolog, Cấu trúc danh sách, Biễu diễn cấu trúc danh sách, Vị từ xử lí danh sách

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 Download

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

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 Download

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ừ

Nội dung Giáo trình điện tử vi mạch điện tử của Th.S Phan Văn Đường trường ĐH Sư phạm Huế trình bày số gồm 7 chương, phần 1 gồm 4 chương đầu: Vi mạch; cơ sở toán học của điện tử số, các cổng logic, trigger. Mời các bạn cùng tham khảo giáo trình để nâng cao kiến thức về điện tử vi mạch điện tử số.

 76 p vlute 30/10/2019 810 1 Download

Từ khóa: Giáo trình điện tử vi mạch điện tử số, Điện tử vi mạch, Điện tử số, Cơ sở toán học của điện tử số, Các cổng logic cơ bản

Nối tiếp phần 1, phần 2 giáo trình gồm 3 chương cuối với nội dung trình bày về: Các hệ logic tổ hợp, hệ logic tuần tự, chuyển đổi tin hiệu. Hy vọng Giáo trình điện tử vi mạch - điện tử số là nguồn tài liệu tham khảo hữu ích cho các bạn chuyên ngành điện tử.

 47 p vlute 30/10/2019 528 1 Download

Từ khóa: Giáo trình điện tử vi mạch điện tử số, Điện tử vi mạch, Điện tử số, Các hệ logic tổ hợp, Hệ logic tuần tự, Chuyển đổi tin hiệu

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 468 1 Download

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ừ

Giáo trình Vi điểu khiển gồm 14 chương giúp bạn nắm bắt các kiến thức về các bộ điều khiển 8051, lập trình hợp ngữ 8051, lập trình cho cổng vào ra I/O, các chế độ đánh địa chỉ của 8051,... Mời tham khảo.

 284 p vlute 20/12/2017 661 8 Download

Từ khóa: Vi điều khiển, Giáo trình Vi điểu khiển, Lập trình hợp ngữ, Lập trình cho cổng vào ra, Các lệnh logic, Kỹ thuật điện tử

Giáo trình Trí tuệ nhân tạo có cấu trúc gồm 9 chương và được chia thành 2 phần. Phần 1 sau đây cung cấp những nội dung kiến thức như: Logic mệnh đề, logic vị từ cấp một, các chiến lược tìm kiếm mù, các chiến lược tìm kiếm kinh nghiệm. Mời các bạn tham khảo.

 50 p vlute 24/02/2016 628 6 Download

Từ khóa: Trí tuệ nhân tạo, Giáo trình Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ cấp một, Chiến lược tìm kiếm mù, Chiến lược tìm kiếm kinh nghiệm