» Từ khóa: toán tử

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 trình bày về luận lý mệnh đề. Các nội dung chính trong chương này gồm: Cấu trúc của luận lý mệnh đề, suy luận tự nhiên trong luận lý mệnh đề, ngữ nghĩa của luận lý mệnh đề. Phần 1 sau đây tập trung thảo luận về cấu trúc của luận lý mệnh đề. Mời các bạn cùng tham khảo.

 29 p husc 31/05/2019 231 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Cấu trúc của luận lý mệnh đề, Suy luận tự nhiên, Ngữ nghĩa của luận lý mệnh đề

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 2) tập trung thảo luận về suy luận tự nhiên trong luận lý mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 45 p husc 31/05/2019 237 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Suy luận tự nhiên, Luận lý mệnh đề, Mathematical Logic, Cấu trúc luận lý mệnh đề

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 3) trang bị cho người học những kiến thức về ngữ nghĩa của luận lý mệnh đề. Trong chương này người học sẽ tìm hiểu về: Gán thực trị, diễn dịch, thực trị của một công thức, bảng thực trị, thủ tục số học,... Mời các bạn cùng tham khảo.

 82 p husc 31/05/2019 304 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 4) tiếp tục trình bày những kiến thức liên quan đến ngữ nghĩa của luận lý mệnh đề. Các nội dung trong phần này gồm có: Soundness và Completeness, Proof theory. Mời các bạn cùng tham khảo.

 5 p husc 31/05/2019 233 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 trình bày về luận lý vị từ. Chương này gồm có 4 phần. Phần 1 sau đây sẽ tập trung giới thiệu về cấu trúc của luận lý vị từ. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 48 p husc 31/05/2019 226 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 husc 31/05/2019 251 2 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 husc 31/05/2019 228 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ừ

Chương này trình bày cách xây dựng mô hình quy hoạch tuyến tính của những bài toán dạng đơn giản. Đây là những kiến thức quan trọng để xây dựng mô hình cho những bài toán phức tạp hơn trong thực tế sau này. Các khái niệm về ‘’ lồi’’ đuợc trình bày để làm cơ sở cho phương pháp hình học giải quy hoạch tuyến tính. Một ví dụ mở đầu...

 28 p husc 25/02/2019 274 1 Download

Từ khóa: Quy hoạch tuyến tính, Bài giảng Quy hoạch tuyến tính, Bài toán vốn đầu tư, Bài toán lập kế hoạch sản xuất, Bài toán vận tải, Ma trận cơ sở

Trên cơ sở ứng dụng mô hình tổng hợp 3 chiều (Delft3D) với kịch bản được thiết lập khác nhau của mô hình TĐL, CLN, vận chuyển trầm tích và mô hình sinh thái ở khu vực vịnh Hạ Long (VHL)-Bái Tử Long (BTL), những kết quả nhận được đã có đóng góp quan trọng cho việc đánh giá sức tải môi trường ở khu vực này.

 12 p husc 30/01/2019 213 1 Download

Từ khóa: Mô hình toán, Đánh giá sức tải môi trường, Khu vực vịnh Hạ Long - Bái Tử Long, Sức tải môi trường, Mô hình sinh thái

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 husc 24/12/2018 272 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

Các nhà khoa học tiếp tục khẳng định: Biến đổi khí hậu và biến đổi đại dương có liên quan chặt chẽ với nhau và là hai mặt của một vấn đề thông qua quá trình tương tác giữa chúng trong tự nhiên. Bài viết này giới thiệu về biến đổi đại dương, vai trò của đại dương trong thích ứng với tác động của biến đổi khí hậu và cách tiếp cận...

 10 p husc 30/10/2018 268 1 Download

Từ khóa: Tạp chí Khoa học và Công nghệ Biển, Biến đổi đại dương, Biến đổi khí hậu, Ứng phó biến đổi khí hậu, Hệ thống tự nhiên mở, Chu trình nước toàn cầu, Biến đổi đại dương, Axit hóa đại dương

Bài giảng "Toán rời rạc - Chương 6: Quan hệ" cung cấp cho người học các kiến thức: Quan hệ hai ngôi, quan hệ tương đương, quan hệ thứ tự. Đây là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học tham khảo trước khi bước vào môn học này,... Mời các bạn cùng tham khảo.

 18 p husc 27/09/2018 316 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Quan hệ, Quan hệ hai ngôi, Quan hệ tương đương, Quan hệ thứ tự