- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
TÀI LIỆU SỐ
Danh mục TaiLieu.VN
Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2
Tiếp nội dung phần 1, Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 cung cấp cho người học những kiến thức như: Logic vị từ; Chiến lược phân giải sử dụng tập hỗ trợ; Biểu diễn tri thức; Kiểu dữ liệu cấu trúc của Prolog; Ngữ nghĩa của chương trình Prolog;...Mời các bạn cùng tham khảo!
141 p ntt 23/09/2022 55 0
Từ khóa: Bài giảng Nhập môn trí tuệ nhân tạo, Nhập môn trí tuệ nhân tạo, Logic vị từ, Biểu diễn tri thức, Lập luận tiến, Lập trình Prolog
Giáo trình Nhập môn logic hình thức: Phần 1
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 ntt 22/08/2022 74 0
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
Bài giảng Logic học - Nguyễn Đình Tùng
Bài giảng Logic học cung cấp cho người học những kiến thức như: Phán đoán và các phép logic; tính chất của phép hội và phép tuyển; phép kéo theo; một số quy luật logic; logic vị từ; suy luận diễn dịch;... Mời các bạn cùng tham khảo!
62 p ntt 18/04/2022 65 0
Từ khóa: Bài giảng Logic học, Logic học, Công thức De Morgan, Phán đoán phản đảo, Logic vị từ, Hình thức suy luận từ một tiền đề, Quy tắc bắc cầu của phép kéo theo
Bài giảng Toán rời rạc: Chương 1 - Nguyễn Lê Minh
Bài giảng "Toán rời rạc - Chương 1: Cơ sở logic" cung cấp cho người học các kiến thức: Mệnh đề, dạng mệnh đề, suy luận, qui tắc suy diễn, vị từ, lượng từ. Đây là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học chuyên ngành Tự nhiên và những ai quan tâm dùng làm tài liệu học tập vầ nghiên cứu.
51 p ntt 22/09/2020 177 1
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Dạng mệnh đề, Qui tắc suy diễn, Vị từ và lượng từ
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 ntt 27/02/2020 167 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 ntt 27/02/2020 199 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 Trí tuệ nhân tạo: Chương 5 - Nguyễn Văn Hòa
Bài giảng Trí tuệ nhân tạo: Chương 5 do Nguyễn Văn Hòa biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm: Phép toán mệnh đề, biểu diễn sự kiện đơn giản, biểu diễn: isa và instance, các hàm và vị từ khả tính toán, luật phân giải, phân giải mệnh đề, phân giải mệnh đề, đưa về clause form.
35 p ntt 25/12/2019 204 1
Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Sử dụng logic mệnh đề và vị từ, Phép toán mệnh đề, Phân giải mệnh đề
Giáo trình Kỹ thuật số: Phần 1
Phần 1 Giáo trình Kỹ thuật số (sử dụng cho hệ Đại học) trình bày về hệ thống số đếm, đại số Boole và cổng logic, các vi mạch số và giao tiếp qua nội dung 3 chương đầu tài liệu.
57 p ntt 24/12/2018 330 7
Từ khóa: Kỹ thuật số, Hệ thống số đếm, Đại số Boole, Cổng logic, Vi mạch số, Kỹ thuật điện tử
Bài giảng Thiết kế vi mạch lập trình được - Nguyễn Thế Dũng
Cuốn sách Bài giảng Thiết kế vi mạch lập trình được gồm có 4 chương. Kiến thức cơ sở (Các khái niệm chung, Các phương pháp thể hiện thiết kế, Yêu cầu với một thiết kế mạch logic số, Các công nghệ thiết kế mạch logic số, Kiến trúc của các IC khả trình), Giải pháp phần cứng FPGA của Xilinx cho thiết kế vi mạch số (Một số giải pháp cho...
140 p ntt 26/06/2018 407 2
Từ khóa: Thiết kế vi mạch lập trình, Sách điện tử, Thiết kế mạch logic số, Kiến trúc của các IC khả trình, Kiến trúc của FPGA, Phần mềm thiết kế ISE
Bài giảng môn học Cấu trúc máy tính - Bài 1
Bài giảng môn học Cấu trúc máy tính: Bài 1 trình bày số nhị phân, mức logic, tín hiệu tương tự, tín hiệu số, các vi mạch số, Oscilloscope, Logic Analyzer (bộ phân tích logic), Power Supply (nguồn cấp điện - bộ nguồn), cách đóng gói chip và các nội dung khác.
34 p ntt 23/05/2016 2028 5
Từ khóa: Cấu trúc máy tính, Số nhị phân, Tín hiệu tương tự, Tín hiệu số, Vi mạch số, Bộ phân tích logic
Đăng nhập