» Từ khóa: Bài giảng toán

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 2) thảo luận về suy luận tự nhiên trong luận lý vị từ. Những nội dung cụ thể được trình bày trong chương này gồm có: Cây phân tích, hiện hữu, thay thế, điều kiện thay thế, suy luận tự nhiên,... Mời các bạn cùng tham khảo.

 39 p cdsphanoi 26/02/2019 357 1 Download

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 Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 3) cung cấp những kiến thức về ngữ nghĩa của luận lý vị từ. Trong chương này gồm có những nội dung cụ thể như sau: Diễn dịch của 1 công thức, đánh giá công thức trong 1 dd, ngữ nghĩa, công thức tương đương. Mời các bạn cùng tham khảo.

 48 p cdsphanoi 26/02/2019 397 1 Download

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 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 354 1 Download

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 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 448 1 Download

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

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 359 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, Đạ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 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 377 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, 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: 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 362 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

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 344 1 Download

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: 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 321 1 Download

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: 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 319 1 Download

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: 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 397 1 Download

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: 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 451 1 Download

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