- 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 Thư viện số
Danh mục TaiLieu.VN
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 hcmutrans 25/11/2021 168 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
Giáo trình Thiết kế logic số: Phần 1
Giáo trình 'Thiết kế logic số' gồm có 4 chương, 4 phụ lục và được chia thành 2 phần, phần 1 của giáo trình cung cấp cho người học những kiến thức, khái niệm cơ bản về thiết kế các khối số, trong đó có những kiến thức được nhắc lại với những bổ xung phù hợp với mục đích môn học; giới thiệu về ngôn ngữ mô tả phần cứng VHDL; thiết...
312 p hcmutrans 24/05/2021 250 2
Từ khóa: Giáo trình Thiết kế logic số, Thiết kế logic số, Mạch logic tổ hợp, Mạch logic tuần tự, Ngôn ngữ mô tả phần cứng VHDL, Thiết kế các khối mạch dãy
Giáo trình Thiết kế logic số: Phần 2
Giáo trình Thiết kế logic số - Phần 2 bao gồm 4 phụ lục, cung cấp cho người học những kiến thức về: Thống kê các hàm, thủ tục, kiểu dữ liệu của VHDL trong các thư viện chuẩn IEEE; thực hành thiết kế VHDL; mạch phát triển ứng dụng FPGA; thực hành thiết kế mạch số trên FPGA. Mời các bạn cùng tham khảo.
104 p hcmutrans 24/05/2021 205 2
Từ khóa: Giáo trình Thiết kế logic số, Thiết kế logic số, Kiểu dữ liệu của VHDL, Thư viện chuẩn IEEE, Thiết kế VHDL, Ứng dụng FPGA
Bài giảng Trí tuệ nhân tạo - Bài 14, 15: Tri thức không chắc chắn: Logic xác suất, logic mờ
Bài giảng này trang bị cho người học những hiểu biết về tri thức không chắc chắn: Logic xác suất, logic mờ. Những nội dung được trình bày trong chương này gồm có: Xác suất, lý thuyết xác suất, xác suất có điều kiện, suy luận Bayesian, các vấn đề trong suy luận Bayes, các yếu tố chắc chắn Stanford,...và các nội dung liên quan khác.
36 p hcmutrans 31/03/2020 241 2
Từ khóa: Trí tuệ nhân tạo, Bài giảng Trí tuệ nhân tạo, Tri thức không chắc chắn, Logic xác suất, Lý thuyết xác suất, Suy luận Bayesian
Bài giảng Trí tuệ nhân tạo - Bài 6, 7, 8: Logic mệnh đề - Logic vị từ cấp một
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 hcmutrans 31/03/2020 289 2
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
Giáo trình Lập trình hàm và lập trình lôgic: Phần 1 - PGS.TS Phan Huy Khánh
Giáo trình lập trình hàm và lập trình lôgic được PGS.TS Phan Huy Khánh với kết cấu nội dung gồm 3 chương. Phần 1 giáo trình gồm 2 nội dung đầu trình bày về: Các ngôn ngữ lập trình, ngôn ngữ scheme. Mời các bạn cùng tham khảo giáo trình để nắm rõ hơn về chi tiết nội dung.
121 p hcmutrans 31/07/2019 264 2
Từ khóa: Lập trình hàm, Lập trình lôgic, Kỹ thuật lập trình, Ngôn ngữ lập trình, Ngôn ngữ scheme
Giáo trình Lập trình hàm và lập trình lôgic: Phần 2 - PGS.TS Phan Huy Khánh
Nối tiếp phần 1, phần 2 giáo trình tiếp tục cung cấp tới bạn đọc nội dung chi tiết về ngôn ngữ prolog, ở phần này bạn có thể tim hiểu về ngôn ngữ prolog là gì, sự kiện và luật trong prolog, kiểu dữ liệu cấu trúc của prolog, quan hệ giữa prolog và logic toán học... Mời các bạn cùng tim hiểu về lập trình hàm và lập trình lôgic qua giao trình này.
80 p hcmutrans 31/07/2019 257 2
Từ khóa: Lập trình hàm, Lập trình lôgic, Ngôn ngữ prolog, Luật trong prolog, Cấu trúc của prolog, Prolog và logic toán học
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,...
114 p hcmutrans 31/07/2019 347 2
Từ khóa: 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
Bài giảng Điều khiển logic – Chương 3: Ngôn ngữ lập trình và ứng dụng
Chương 3 của bài giảng Điều khiển logic gồm các nội dung như: Giới thiệu các ngôn ngữ lập trình, vòng quét (thực hiện chương trình) và cấu trúc của một chương trình, tập lệnh S7-200, cú pháp và cách ứng dụng SIMATIC struction S7-200,...và một số nội dung khác.
80 p hcmutrans 28/02/2017 385 1
Từ khóa: Điều khiển logic, Bài giảng Điều khiển logic, Ngôn ngữ lập trình, Tập lệnh S7-200, SIMATIC struction S7-200, SIMATIC Timer Instructions
Bài giảng Điều khiển logic – Chương 7: Những ứng dụng của PLC
Chương 7 của bài giảng Điều khiển logic giới thiệu đến người học một số ứng dụng ứng dụng của PLC như: Ứng dụng PLC trong lĩnh vực điều khiển robot, ứng dụng PLC trong hệ thống sản xuất linh hoạt, ứng dụng PLC trong điều khiển quá trình, ứng dụng PLC trong mạng thu nhận dữ liệu từ biến tần,... Mời các bạn cùng tham khảo.
21 p hcmutrans 28/02/2017 1161 1
Từ khóa: Điều khiển logic, Bài giảng Điều khiển logic, Ứng dụng của PLC, Điều khiển robot, Hệ thống sản xuất linh hoạt, Điều khiển quá trình
Logic là gì? Logic dùng để làm gì? mệnh đề, các toán tử logic, quy luật logic ...
33 p hcmutrans 08/08/2012 358 1
Từ khóa: Logic, mệnh đề, toán tử, toán tử logic
lập kết nối giữa 2 hostApplication Presentation Session Transport Network Data link PhysicalTẦNG MẠNG VS TẦNG VẬN CHUYỂNVí dụ: A gởi B 1 bức thư qua đường bưu điện ¢ processes = A, B ¢ app messages = bức thư ¢ hosts = nhà của A, nhà của B Dựa trên, mở rộng dịch vụ ¢ transport protocol ??? của tầng mạng ¢ network-layer protocol
37 p hcmutrans 21/06/2012 355 1
Từ khóa: dịch vụ tầng mạng, kết nối logic, tầng vận chuyển, dịch vụ mạng, giao thức IP, giao thức ICMP