- 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
Tiếp nội dung phần 1, Giáo trình Toán lôgic phần 2 của tác giả Nguyễn Hữu Ngự với các nội dung chính như sau: lôgic vị từ; hệ toán vị từ. Mời các bạn cùng tham khảo!
61 p dtu 20/03/2024 34 3
Từ khóa: Giáo trình Toán lôgic, Toán lôgic, Lôgic toán, Hệ toán vị từ, Định lý duy diễn, Lôgic vị từ
Bài giảng Toán rời rạc: Chương 1 - Nguyễn Quỳnh Diệp
Bài giảng Toán rời rạc: Chương 1 cung cấp cho người học những kiến thức như: Logic; Sự tương đương các mệnh đề; Vị từ và lượng từ; Các phép suy diễn; Chuẩn tắc hội, chuẩn tắc tuyển ; Các phương pháp chứng minh. Mời các bạn cùng tham khảo!
85 p dtu 25/10/2023 25 0
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, Logic vị từ, Chuẩn tắc hội, Các phép suy diễn
Bài giảng Toán rời rạc: Chương 1.1 - Dr. Ngô Hữu Phúc
Bài giảng Toán rời rạc: Chương 1.1 Logic và ứng dụng logic mệnh đề, cung cấp cho người đọc những kiến thức như: Logic mệnh đề; Logic vị từ; Các phương pháp chứng minh; Tập hợp và hàm; Ma trận và giải thuật; Một số ví dụ. Mời các bạn cùng tham khảo!
46 p dtu 24/07/2023 47 0
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, Logic vị từ, Ứng dụng logic mệnh đề
Bài giảng Toán rời rạc: Chương 1.2 - Dr. Ngô Hữu Phúc
Bài giảng Toán rời rạc: Chương 1.2 Khái niệm cơ bản logic vị từ, cung cấp cho người đọc những kiến thức như: Các công thức trong logic vị từ; Dạng chuẩn tắc, dạng chuẩn tắc hội và dạng chuẩn tắc tuyển của công thức; Các công thức kiểm tra tính hằng đúng và tính hằng sai của công thức trong logic vị tự cấp 1. Mời các bạn cùng tham khảo!
39 p dtu 24/07/2023 48 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic vị từ, Dạng chuẩn tắc hội, Công thức trong logic vị từ
Bài giảng Thiết kế logic số (VLSI design): Chương 2.3 - Trịnh Quang Kiên
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 dtu 24/06/2022 105 0
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 Quang Kiên
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 dtu 24/06/2022 90 0
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ử
Bài giảng Toán rời rạc: Chương 1 - ThS. Trần Quang Khải
Bài giảng Toán rời rạc: Chương 1 Logic, cung cấp cho người học những kiến thức như: Propositional Logic; Predicate Logic. Mời các bạn cùng tham khảo!
65 p dtu 25/04/2022 95 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic toán học, Logic mệnh đề, Toán tử Logic, Mệnh đề tương đương
Ebook Toán logic & kỹ thuật số: Phần 2
Phần 2 của cuốn sách "Toán logic & kỹ thuật số" trình bày về các hệ thống số và mạch. Phần này đề cập đến các ôtômat không có nhớ và ôtômat có nhớ, các mạch điện của hệ thống điện tử số, trong đó đi sâu vào 2 bài toán chính là: Bài toán phân tích hệ thống số và bài toán tổng hợp hệ thống số. Mời các bạn cùng tham khảo để biết...
258 p dtu 07/12/2021 145 0
Từ khóa: Cấu trúc toán Logic, Kỹ thuật số, Hệ thống số, Hệ thống điện tử số, Ôtômat không có nhớ, Ôtômat có nhớ
Ebook Thiết kế mạch bằng máy tính: Phần 2
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 dtu 29/06/2021 164 1
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
Toán học là môn khoa học nghiên cứu về các số, cấu trúc, không gian và các phép biến đổi. Nói một cách khác, người ta cho rằng đó là môn học về "hình và số." Theo quan điểm chính thống, nó là môn học nghiên cứu về các cấu trúc trừu tượng định nghĩa từ các tiên đề, bằng cách sử dụng Luận lý học (lôgic) và ký hiệu toán học. Các quan điểm...
57 p dtu 16/05/2012 222 1
Từ khóa: tài liệu học môn toán, sổ tay toán học, phương pháp dạy học toán, hình học, Logic toán, Đại số mệnh đề, Lượng từ, Đồng nhất đúng, Định lý suy diễn, Tính phi mâu thuẫn, Tính đầy đủ
Toán học rời rạc (tiếng Anh: discrete mathematics) là tên chung của nhiều ngành toán học có đối tượng nghiên cứu là các tập hợp cấu trúc, đối tượng rời rạc, các ngành này được tập hợp lại từ khi xuất hiện khoa học máy tính làm thành cơ sở toán học của khoa học máy tính. Nó còn được gọi là toán học dành cho máy tính. Người ta thường...
140 p dtu 16/05/2012 554 9
Từ khóa: bìa giảng toán học, Đề cương toán rời rạc, phép toán lôgic cơ bản, Phép hội, Sự tương đương lôgic và luật, logic vị từ