» Từ khóa: bai toan logic

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 27 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 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 65 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 323 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 389 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 469 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 396 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 590 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 588 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 600 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ử

Ebook Logic Toán có kết cầu gồm 3 chương. Phần 1 cuốn sách gồm nội dung chương 1 - Đại số mệnh đề và chương 2 - Đại số vị từ. Cuối mỗi chương đều có phần bài tập ôn tập và củng cố kiến thức dành cho các bạn tự ôn tập. Mời các bạn cùng tham khảo nội dung chi tiết cuốn sách này.

 150 p actvn 16/11/2015 471 6 Download

Từ khóa: Logic toán, Đại số logic, Logic vị từ, Hệ toán mệnh đề, Bài tập Đại số logic, Phép toán logic

"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 462 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 đề

Nối tiếp nội dung phần 1 cuốn sách “Hướng dẫn giải bài tập toán rời rạc”, phần 2 trình bày các nội dung: Đường Euler và hamilton - Bài toán tìm đường đi ngắn nhất, đồ thị phẳng - sắc số của đồ thị và bài toán tô màu bản đồ, lôgic và ứng dụng,… Mời các bạn cùng tham khảo nội dung chi tiết.

 206 p actvn 25/06/2015 741 39 Download

Từ khóa: Hướng dẫn giải bài tập toán rời rạc, Bài tập toán rời rạc, Đường Euler và hamilton, Bài toán tô màu bản đồ, Lôgic ứng dụng, Logic mệnh đề