- 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ố
- Crypt Information Security (205 )
- An toàn thông tin (781 )
- Điện tử - Viễn thông (1283 )
- Công nghệ thông tin (3029 )
- Khoa cơ bản (490 )
- Lý luận chính trị (429 )
- Ngoại ngữ (236 )
- GDQP - GDTC (209 )
- Đồ án - Tiểu luận (14 )
- Tài liệu tham khảo khác (590 )
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
» Từ khóa: logic toán học
Kết quả 1-7 trong khoảng 7
-
Ebook Logic học đại cương: Phần 2
Nối tiếp nội dung phần 1, phần 2 cuốn sách "Logic học đại cương" cung cấp cho người đọc các nội dung: Suy luận và suy diễn, suy luận quy nạp (quy nạp) và tương tự, chứng minh và bác bỏ, giả thuyết. Mời các bạn cùng tham khảo nội dung chi tiết.
104 p actvn 24/06/2024 42 0
Từ khóa: Logic học đại cương, Suy luận và suy diễn, Suy luận quy nạp, Chứng minh và bác bỏ, Quy nạp hoàn toàn, Phương pháp chứng minh
-
Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên
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
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 đề
-
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 actvn 29/01/2021 311 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
-
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 actvn 29/06/2019 524 3
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
-
Bài giảng Thiết kế logic số: Lecture 2.3 - TS. Hoàng Văn Phú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 389 1
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 Nhập môn mạch số: Chương 5.1 - ĐH Công nghệ Thông tin TP. HCM
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
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
-
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 567 6
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ỉ
Đăng nhập
Bộ sưu tập nổi bật
-
-
10 22122
-
Bộ sưu tập Tài liệu học tiếng Anh
14 84733
-
Bộ sưu tập Kỹ thuật viễn thông
11 17060
-
12 24239
Phát triển bởi Thư viện số
