» Từ khóa: Logic toán

Bài giảng môn Toán rời rạc - Chương 1: Cơ sở logic, được biên soạn gồm các nội dung chính sau Mệnh đề; dạng mệnh đề; vị từ, lượng từ; quy tắc suy luận; nguyên lý quy nạp. Mời các bạn cùng tham khảo!

 68 p actvn 27/05/2024 30 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Quy tắc suy luận, Nguyên lý quy nạp, Phân loại mệnh đề

Bài giảng Cơ sở dữ liệu: Chương 7 An toàn và toàn vẹn dữ liệu, cung cấp cho người học những kiến thức như: Sự cần thiết phải bảo vệ an toàn dữ liệu; An toàn và quyền truy nhập của người dùng; Toàn vẹn dữ liệu. Mời các bạn cùng tham khảo!

 21 p actvn 26/03/2024 47 0 Download

Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, An toàn dữ liệu, Toàn vẹn dữ liệu, Quyền truy nhập của người dùng, Ràng buộc logic, Ngôn ngữ vấn tin

Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!

 47 p actvn 21/03/2023 69 0 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ, Logic toán học, Logic mệnh đề

Bài giảng Toán rời rạc cung cấp cho người học những nội dung kiến thức như: Mệnh đề, tiên đề, và suy luận logic; phương pháp chứng minh; nguyên lý sắp thứ tự tốt; nguyên lý quy nạp; quy nạp mạnh; đồ thị và biểu diễn; một số đồ thị đặc biệt... Mời các bạn cùng tham khảo.

 807 p actvn 29/08/2021 327 5 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Phương pháp chứng minh, Suy luận logic, Nguyên lý sắp thứ tự tốt, Quy nạp mạnh

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 396 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 474 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 Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ. Nội dung chính trong chương này gồm có: Logic toán và ứng dụng của nó vào CSDL, diễn giải và mô hình, ứng dụng logic toán trong CSDL,... Mời các bạn cùng tham khảo.

 20 p actvn 30/06/2018 401 1 Download

Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Hệ quản trị cơ sở dữ liệu, Ngôn ngữ tân từ, Logic toán, Ứng dụng logic toán

Chương 3.2 của bài giảng Thiết kế logic số (VLSI design) trình bày các nội dung: Khối nhân số nguyên có dấu và không dấu sử dụng thuật toán cộng dịch trái, cộng dịch phải, mã hóa Booth. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 20 p actvn 25/06/2017 597 3 Download

Từ khóa: Thiết kế logic số, Bài giảng Thiết kế logic số, Thiết kế các khối số, Thiết kế số, Thuật toán cộng dịch trái, Mã hóa Booth

Chương 2.3 của bài giảng Thiết kế logic số (VLSI design) cung cấp cho người học các kiến thức về 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ử. Bài giảng còn cung cấp cho người học một số bài tập để người học có thể nắm bắt được những nội dung chủ yếu của bài giảng. Mời các bạn cùng tham khảo.

 13 p actvn 25/06/2017 592 2 Download

Từ khóa: Thiết kế logic số, Bài giảng Thiết kế logic số, Ngôn ngữ VHDL, Toán tử logic, Phép dịch không sử dụng toán tử, Khối dịch không sử dụng toán tử

Bài giảng Thiết kế logic số (VLSI design): Chương 3.1 trình bày về thiết kế các khối số thông dụng. Mục tiêu của chương này nhằm giúp người học biết cách đánh giá hiệu quả của thiết kế, biết được vai trò của yếu tố thuật toán trong bài toán thiết kế số và các thuật toán cơ bản của khối cộng, khối dịch. Mời tham khảo.

 14 p actvn 25/06/2017 606 4 Download

Từ khóa: Thiết kế logic số, Bài giảng Thiết kế logic số, Thiết kế các khối số, Thiết kế số, Khối cộng thấy nhớ trước, Khối dịch không sử dụng toán tử

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 572 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ỉ

"Bài giảng môn "Toán tin - Chương 3: Logic" cung cấp cho sinh viên các kiến thức: Mệnh đề logic, dạng mệnh đề logic, quy tắc suy diễn logic, vị từ và lượng từ. Hi vọng đây sẽ là một tài liệu tham khảo hữu ích dành cho các bạn sinh viên Công nghệ thông tin dùng làm tài liệu tham khảo phục vụ học tập và nghiên cứu.

 44 p actvn 24/09/2015 467 8 Download

Từ khóa: Bài giảng Toán tin, Bài toán logic, Mệnh đề logic, Dạng mệnh đề logic, Quy tắc suy diễn logic, Chân trị mệnh đề