- 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
Bài giảng Toán cao cấp: Chương 0 - ThS. Lê Trường Giang
Bài giảng "Toán cao cấp: Chương 0 - Cơ sở logic" trình bày những nội dung chính sau đây: Tập hợp; Ánh xạ; Mệnh đề; Các quy luật logic; Suy luận toán học. Mời các bạn cùng tham khảo!
26 p mku 28/03/2024 28 0
Từ khóa: Bài giảng Toán cao cấp, Toán cao cấp, Đại số tuyến tính, Cơ sở logic, Các phép toán trên tập hợp, Các quy luật logic, Suy luận toán học
Bài giảng Tin học đại cương: Chương 1 - Trần Thị Dung
Chương 1 - Các khái niệm cơ bản về tin học. Bài giảng gồm các nội dung: Khái niệm; lịch sử phát triển của máy tính; phân loại máy tính, cấu tạo chung của máy tính điện tử, hệ đếm, biểu diễn thông tin trong máy tính, đại số logic. Cuối bài giảng có phần bài tập để người học ôn tập và củng cố kiến thức đã học.
37 p mku 26/08/2021 130 0
Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Khái niệm tin học, Đại số logic, Biểu diễn thông tin trong máy tính, máy tính điện tử
Giáo trình Toán rời rạc: Phần 2 - Nguyễn Đức Nghĩa, Nguyên Tô Thành
Nối tiếp nội dung của phần 1 cuốn giáo trình "Toán rời rạc", phần 2 đề cập đến các lý thuyết đồ thị - Một cấu trúc rời rạc tìm được ứng dụng rộng rãi trong nhiều lĩnh vực của khoa học kỹ thuật và đời sống; lý thuyết hàm đại số lôgic - Cơ sở để nắm bắt các vấn đề phức tạp của kỹ thuật máy tính. Mời các bạn cùng tham khảo...
145 p mku 12/09/2015 490 2
Từ khóa: Toán rời rạc, Lý thuyết rời rạc, Cấu trúc rời rạc, Lý thuyết đồ thị, Hàm đại số lôgic, Kỹ thuật máy tính
Giáo trình Toán rời rạc: Phần 2 - TS. Đỗ Văn Nhơn (biên soạn)
Phần 2 Giáo trình Toán rời rạc tiếp tục giới thiệu đến bạn đọc nội dung từ chương 4 đến chương 6 về thuật toán, quan hệ, đại số bool và hàm số bool. Giáo trình được trình bày dưới dạng lý thuyết với các ví dụ minh họa và bài tập, đồng thời sau mỗi chương đều có các bài tập giúp cho bạn đọc cũng như các bạn sinh viên thuận tiện trong...
100 p mku 30/01/2015 577 2
Từ khóa: Giáo trình Toán rời rạc, Toán rời rạc, Lý thuyết Logic học, Thuật toán quan hệ, Đại số bool, Hàm số bool
Giáo trình Toán rời rạc: Phần 1 - TS. Đỗ Văn Nhơn (biên soạn)
Giáo trình Toán rời rạc của TS. Đỗ Văn Nhơn gồm 6 chương, được chia thành hai phần. Phần 1 giới thiệu đến bạn đọc nội dung từ chương 1 đến chương 3 về logic, logic - các phép chứng minh và các phép đếm.
120 p mku 30/01/2015 957 4
Từ khóa: Giáo trình Toán rời rạc, Toán rời rạc, Lý thuyết Logic học, Thuật toán quan hệ, Đại số bool, Hàm số bool
Bài giảng Máy tính và biểu diễn thông tin trong máy tính - ThS. Nguyễn Khắc Quốc
Bài giảng Máy tính và biểu diễn thông tin trong máy tính trình bày về thông tin và tin học, lịch sử máy tính , phân loại máy tính, các hệ đếm, biểu diễn thông tin trong máy tính, đại số logic và cuối cùng là bài tập thực hành về biểu diễn thông tin trong máy tính.
44 p mku 15/07/2014 402 2
Từ khóa: Lịch sử máy tính, Phân loại máy tính, Đại số logic, Biểu diễn thông tin, Cấu trúc máy tính, Tin học căn bản
Suy luận tự nhiên trong luận lý mệnh đề
II. Suy luận tự nhiên trong luận lý mệnh đề ntsơn .Chứng minh Thí dụ : Tam giác ABC có các cạnh là AB = 3, BC = 4, CA = 5. Chứng minh ABC vuông. Chứng minh : (1) cạnh AB = 3. (2) cạnh BC = 4. (3) cạnh CA = 5. (4)
45 p mku 12/10/2012 388 1
Từ khóa: luận lý toán học, Luận lý mệnh đề, Luận lý vị từ, Mathematical Logic, propositional logic, suy luận tự nhiên, luận lý mệnh để
Biến lôgic: đại lượng biểu diễn bằng ký hiệu nào đó, lấy giá trị 0 hoặc 1 • Hàm lôgic: nhóm các biến lôgic liên hệ với nhau qua các phép toán lôgic, lấy giá trị 0 hoặc 1 • Phép toán lôgic cơ bản: VÀ (AND), HOẶC (OR), PHỦ ĐỊNH (NOT), Mỗi biến lôgic chia không gian thành 2 không gian con: 1 không gian con: biến lấy giá trị đúng (=1) Không gian con còn lại:...
221 p mku 24/05/2012 396 2
Từ khóa: Bài giảng, điện tử số, công nghệ thông tin, kỹ thuật số, mạch logic, Đại số Boole, đại học bách khoa
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập Công nghệ Thông tin
12 10630
13 12321
14 11849
Bộ sưu tập Quản trị kinh doanh
13 10764
Bộ sưu tập Kỹ thuật công trình
12 12564
10 12514
12 19480