- 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 Luận lý Toán học (Mathematical Logic): Chương 3 (phần 4) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 4) trình bày một số kiến thức về phân giải trong luận lý vị từ như: Tính hằng sai, dạng chuẩn Skolem, mệnh đề, nguyên tắc phân giải,...và một số nội dung liên quan khác. Mời các bạn cùng tham khảo.
72 p cdsphanoi 26/02/2019 360 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ
Bài giảng nhập môn Toán cao cấp
Bài giảng nhập môn Toán cao cấp trình bày hai nội dung lớn: Lí thuyết tập hợp, logic. Nội dung phần lí thuyết tập hợp sẽ giúp sinh viên nắm vững những kiến thức cơ bản về tập hợp, quan hệ, ánh xạ, giải tích tổ hợp; xác định được mối liên hệ giữa những nội dung kiến thức này. Nội dung phần logic giúp sinh viên nắm vững những kiến thức cơ...
48 p cdsphanoi 26/02/2019 456 1
Từ khóa: Toán cao cấp, Lí thuyết tập hợp, Giải tích tổ hợp, Logic mệnh đề, Đại số Boole, Bài giảng Toán cao cấp
Bài giảng Cơ sở dữ liệu: Bài 4 - ThS. Vũ Văn Định
Chương 4 trang bị cho người học một số kiến thức về đại số quan hệ; phép toán tập hợp; phép toán quan hệ; tập đầy đủ các phép toán của đại số quan hệ; thao tác cập nhật trên quan hệ và một số nội dung khác.
28 p cdsphanoi 24/12/2018 364 1
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, Đại số quan hệ, Phép toán tập hợp, Phép toán quan hệ, Thao tác cập nhật trên quan hệ
Bài giảng Cơ sở dữ liệu: Bài 6 - ThS. Vũ Văn Định
Bài 6 - Ràng buộc toàn vẹn. Chương này trang bị cho sinh viên các kiến thức về bối cảnh ràng buộc toàn vẹn, bảng tầm ảnh hưởng, liên thuộc tính, liên quan hệ, thuộc tính tổng hợp, cài đặt ràng buộc toàn vẹn. Tham khảo bài giảng để nắm bắt một cách chi tiết nội dung môn học.
31 p cdsphanoi 24/12/2018 383 1
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, Ràng buộc toàn vẹn, Liên thuộc tính, Liên quan hệ
Bài giảng Cơ sở dữ liệu: Bài 9 - ThS. Vũ Văn Định
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 cdsphanoi 24/12/2018 368 1
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
Bài giảng Tin học văn phòng: Bài 4 - Bùi Thị Thu Cúc
Bài giảng Tin học văn phòng - Bài 4: Bảng biểu và đồ họa cung cấp cho người học các kiến thức tạo cấu trúc bảng, định dạng bảng biểu, tính toán trên bảng, sắp xếp dữ liệu trên bảng, vẽ khối hình cơ bản, tạo chữ nghệ thuật, chèn ảnh lên tài liệu. Mời các bạn cùng tham khảo
10 p cdsphanoi 29/11/2018 351 1
Từ khóa: Bài giảng Tin học văn phòng, Tin học văn phòng, Bảng biểu và đồ họa, Cấu trúc bảng, Định dạng bảng biểu, Tính toán trên bảng, Tạo chữ nghệ thuật
Bài giảng Tin học văn phòng: Bài 9&10 - Bùi Thị Thu Cúc
Bài giảng "Tin học văn phòng - Bài 9&10: Hàm trong Excel" giới thiệu các loại địa chỉ trong công thức, khái niệm hàm và quy tắc sử dụng, các hàm thời gian, các hàm văn bản, các hàm toán học, các hàm thống kê, các hàm logic, các hàm tìm kiếm. Mời các bạn cùng tham khảo nội dung chi tiết.
25 p cdsphanoi 29/11/2018 327 1
Từ khóa: Bài giảng Tin học văn phòng, Tin học văn phòng, Hàm trong Excel, Hàm thời gian, Hàm văn bản, Hàm toán học, Hàm thống kê
Bài giảng Tin học đại cương: Bài 4 - TS. Đỗ Bá Lâm
Bài giảng "Tin học đại cương - Bài 4: Giải quyết bài toán" cung cấp cho người học các kiến thức: Bài toán (problem), giải quyết bài toán bằng máy tính, biểu diễn thuật toán, các phương pháp thiết kế thuật toán.
34 p cdsphanoi 29/11/2018 329 1
Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Giải quyết bài toán, Giải quyết bài toán bằng máy tính, Biểu diễn thuật toán
Bài giảng Tin học đại cương: Bài 5 - TS. Đỗ Bá Lâm
Bài giảng "Tin học đại cương - Bài 5: Một số thuật toán thông dụng" cung cấp cho người học các kiến thức: Các cấu trúc cơ bản trong lập trình, giả mã (pseudocode), thuật toán số học, thuật toán về dãy, thuật toán đệ quy. Mời các bạn cùng tham khảo.
29 p cdsphanoi 29/11/2018 404 1
Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Thuật toán đệ quy, Thuật toán số học, Thuật toán về dãy, Cấu trúc lập trình
Bài giảng Tin học đại cương: Bài 7 - TS. Đỗ Bá Lâm
Bài giảng "Tin học đại cương - Bài 7: Kiểu dữ liệu và biểu thức trong C" cung cấp cho người học các kiến thức: Các kiểu dữ liệu chuẩn trong C, khai báo và khởi tạo biến, hằng, biểu thức trong C, các phép toán trong C, một số toán tử đặc trưng, các lệnh vào ra dữ liệu với các biến.
69 p cdsphanoi 29/11/2018 458 1
Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Kiểu dữ liệu, Biểu thức trong C, Phép toán trong C, Các kiểu dữ liệu chuẩn trong C
Bài giảng Tin học đại cương: Bài 9 - TS. Đỗ Bá Lâm
Bài giảng "Tin học đại cương - Bài 9: Mảng, con trỏ và xâu kí tự" cung cấp cho người học các kiến thức: Khai báo và sử dụng mảng, các thao tác cơ bản trên mảng, tìm kiếm trên mảng, sắp xếp trên mảng,... Mời các bạn cùng tham khảo nội dung chi tiết.
62 p cdsphanoi 29/11/2018 317 1
Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Tìm kiếm trên mảng, Sắp xếp trên mảng, Phép toán trên con trỏ, Phép toán trên con trỏ
Bài giảng An toàn mạng máy tính nâng cao: Chương 0 - ThS. Nguyễn Duy
Bài giảng "An toàn mạng máy tính nâng cao - Chương 0: Giới thiệu môn học" cung cấp cho người học các thông tin cơ bản về môn học, các định nghĩa về an toàn thông tin, nội dung chính của môn học. Mời các bạn cùng tham khảo nội dung chi tiết.
15 p cdsphanoi 30/06/2018 528 1
Từ khóa: Bài giảng An toàn mạng máy tính nâng cao, An toàn mạng máy tính, An toàn mạng máy tính nâng cao, An toàn mạng, Mạng máy tính, An toàn thông tin
Đăng nhập
Bộ sưu tập nổi bật