» Từ khóa: logic học

Phần 2 của cuốn sách "Phương pháp giải bài tập Lôgic học" trình bày tóm tắt lý thuyết, các giải bài tập và bài tập thực hành về: chương 5 - suy luận và suy diễn (diễn dịch); chương 6 - quy nạp và tương tự; chương 7 - chứng minh và bác bỏ; một số đề ôn tập;... Mời các bạn cùng tham khảo!

 125 p actvn 26/01/2024 113 1 Download

Từ khóa: Phương pháp giải bài tập Lôgic học, Bài tập Lôgic học, Kết cấu logic của suy luận, Suy diễn trực tiếp, Phán đoán nhất quyết đơn, Phép đối lập vị ngữ, Suy luận phân liệt

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, cung cấp cho người học những kiến thức như: Tổng quan về xử lý ngôn ngữ tự nhiên; Biểu diễn từ và văn bản; Thư viện Xử lý ngôn ngữ tự nhiên và một số mô hình huấn luyện sẵn. Mời các bạn cùng tham khảo!

 49 p actvn 28/11/2021 170 3 Download

Từ khóa: Bài giảng Học sâu và ứng dụng, Học sâu và ứng dụng, Xử lý ngôn ngữ tự nhiên, Ứng dụng học sâu, Mô hình huấn luyện sẵn, Nhận dạng thực thể định danh, Suy diễn logic

Cuốn sách "Thiết kế mạch bằng máy tính" gồm có 8 chương, phần 1 của ebook sẽ bao gồm các chương: Mở đầu vào thiết kế vi mạch điện tử, cơ sở toán học, cơ sở của thiết kế logic, những khái niệm chung về mô hình hóa phần cứng, các phương pháp mô hình hóa logic. Mời các bạn cùng tham khảo.

 169 p actvn 29/01/2021 307 1 Download

Từ khóa: Thiết kế mạch bằng máy tính, Thiết kế mạch, Thiết kế vi mạch điện tử, Cơ sở toán học, Cơ sở của thiết kế logic, Mô hình hóa phần cứng

Chương 4 - Các phương pháp học có giám sát (Học quy nạp luật - Rule induction). Chương này trình bày những nội dung chính sau: Phương pháp học quy nạp luật, các bài toán ví dụ, phân loại, chiến lược bao phủ gia tăng, Learn - one - Rule, đánh giá hiệu quản của một luật, các luật logic vị từ,... Mời các bạn cùng tham khảo nội dung chi tiết.

 30 p actvn 26/05/2020 281 3 Download

Từ khóa: Các luật logic vị từ, Chiến lược bao phủ gia tăng, Bài giảng Học máy, Phương pháp học có giám sát, Học quy nạp luật, Phân loại học quy nạp luật

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 actvn 29/06/2019 521 3 Download

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

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Toán tử và biểu thức, phép dịch và khối dịch không sử dụng toán tử. Mời các bạn cùng tham khảo!

 14 p actvn 26/09/2018 385 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Toán tử dịch, Dịch số học, Khối dịch không sử dụng toán tử

Bài giảng "Chương 5 - Mạch tổ hợp: Mạch tính toán số học" cung cấp cho người học các kiến thức: Một số mạch logic tổ hợp thông dụng, thiết kế các mạch logic tổ hợp phức tạp sử dụng các mạch logic tổ hợp thông dụng. Mời các bạn cùng tham khảo.

 38 p actvn 20/07/2018 466 1 Download

Từ khóa: Bài giảng Nhập môn mạch số, Nhập môn mạch số, Mạch tổ hợp, Mạch tính toán số học, Thiết kế mạch logic tổ hợp, Sử dụng mạch logic tổ hợp

Bài giảng "Kiến trúc máy tính" có nội dung trình bày: tổng quan về kiến trúc máy tính, hệ thống máy tính, biểu diễn dữ liệu và số học máy tính, mạch logic số, tập lệnh, bộ xử lý trung tâm, bộ nhớ máy tính, hệ thống vào ra. Để biết rõ về hơn nội dung chi tiết, mời các bạn cùng tham khảo.

 13 p actvn 28/02/2018 485 1 Download

Từ khóa: Bài giảng Kiến trúc máy tính, Hệ thống máy tính, Biểu diễn dữ liệu và số học, Mạch logic số, Bộ xử lý trung tâm, Bộ nhớ máy tính

Chương 6 của bài giảng Thiết kế hệ thống vi xử lý giới thiệu về các nhóm lệnh 8051 như: Nhóm lệnh chuyển dữ liệu, nhóm lệnh số học, nhóm lệnh logic, nhóm lệnh xử lý bit, nhóm lệnh rẽ nhánh. Mời các bạn cùng tham khảo.

 12 p actvn 27/09/2017 462 2 Download

Từ khóa: Hệ thống vi xử lý, Thiết kế hệ thống vi xử lý, Bài giảng Thiết kế hệ thống vi xử lý, Nhóm lệnh chuyển dữ liệu, Nhóm lệnh số học, Nhóm lệnh logic

Chương 7: Toán tử – Toán hạng - các phép định địa chỉ – Tập lệnh. Sau khi học xong chương này người học có thể: Hiểu cách dùng toán tử trong ASM, nắm được tập lệnh của CPU 8086/8088, biết cách định địa chỉ thông qua toán hạng, biết vận dụng các kỹ năng trên vào vấn đề cần giải quyết và hiện thực thành chương trình. Mời các bạn cùng...

 40 p actvn 20/11/2016 565 6 Download

Từ khóa: Cấu trúc máy tính, Lập trình hợp ngữ, Toán tử logic, Toán tử số học, Các phép định địa chỉ, Cơ chế định vị địa chỉ

Cuốn sách "Kỹ thuật số - Lý thuyết và ứng dụng" giới thiệu những kiến thức cơ bản về kỹ thuật số và một số ứng dụng của kỹ thuật số trong đời sống. Phần 1 cuốn sách trình bày các nội dung từ chương 1 đến chương 6. Mời các bạn cùng tham khảo nội dung chi tiết.

 178 p actvn 22/04/2016 513 7 Download

Từ khóa: Kỹ thuật số, Lý thuyết kỹ thuật số, Ứng dụng kỹ thuật số, Hệ thống số, Các cổng logic, Mạch xử lý số liệu, Mạch số học

Bách khoa thư về các Khoa học triết học I (thường được gọi là Tiểu Lôgíc học) tóm lược tinh tuý của bộ Khoa học Logíc, và là định bản về Lôgíc học, cũng là về phép biện chứng nổi tiếng của Hegel. Được dịch, giới thiệu và chú giải cặn kẽ đến từng tiểu đoạn: học thuyết về tồn tại, học thuyết về bản chất, học thuyết về khái...

 120 p actvn 12/08/2014 1409 15 Download

Từ khóa: Bách khoa thư Khoa học triết học, Khoa học triết học, Khoa học triết học I, Khoa học logic, Học thuyết về tồn tại, Học thuyết về bản chất