» Từ khóa: toán học

Nội dung chisng trong chương này trình bày một số nội dung như: một số thuật ngữ, hệ tiên đề, tiên đề hình học Euclide, tính chất của hệ tiên đề, phương thức xác định tập hợp, các tập hợp số,... Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 23 p husc 31/05/2019 235 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Hệ tiên đề, Tiên đề hình học Euclide, Tính chất của hệ tiên đề, Tập hợp số

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 242 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 249 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 317 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 viết nghiên cứu nhằm hoàn thiện cách chọn điều kiện biên đối với bài toán thủy triều vịnh Bắc Bộ trên cơ sở khả năng số liệu thực tế. Mời các bạn tham khảo!

 7 p husc 30/11/2018 280 1 Download

Từ khóa: Tạp chí cơ học, Điều kiện biên, Bài toán thủy triều vịnh Bắc Bộ, Bài toán thủy triều, Vịnh Bắc Bộ

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 280 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 5: Số nguyên" cung cấp cho người học các kiến thức: Biểu diễn số nguyên, đồng dư, thuật toán tìm USCLN d của a,b, định lý căn bản của số học,... Mời các bạn cùng tham khảo nội dung chi tiết.

 15 p husc 27/09/2018 333 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Số nguyên, Biểu diễn số nguyên, Định lý toán học, Toán cao cấp

Bài giảng "Toán rời rạc - Chương 1: Cơ sở logic" cung cấp cho người học các kiến thức: Mệnh đề, phép tính mệnh đề, dạng mệnh đề, vị từ và lượng tử, quy tắc suy diễn, phương pháp quy nạp toán học,... Mời các bạn cùng tham khảo.

 64 p husc 27/09/2018 353 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán cao cấp, Phép tính mệnh đề, Dạng mệnh đề, Quy tắc suy diễn, Phương pháp quy nạp toán họ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 husc 30/08/2018 208 1 Download

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ử

Nội dung tài liệu trình bày về việc sử dụng máy kinh vĩ quang học, hai bài toán trắc địa cơ bản, một số ứng dụng của máy kinh vĩ trong trắc địa, xây dựng lưới khống chế mặt bằng và xây dựng lưới khống chế độ cao.

 24 p husc 28/02/2018 424 2 Download

Từ khóa: Tài liệu hướng dẫn thực hành, Trắc địa đại cương, Máy kinh vĩ quang học, Bài toán trắc địa cơ bản, Máy kinh vĩ trong trắc địa, Xây dựng lưới khống chế mặt bằng, Xây dựng lưới khống chế độ cao

Nội dung mà bài báo sẽ đề cập đến việc xây dựng một mô hình toán học để nghiên cứu quá trình sôi trên màng mỏng, kiểm tra độ tin cậy của kết quả thu được để từ đó đánh giá hiệu quả tỏa nhiệt khi sôi trên màng mỏng cũng như các yếu tố ảnh hưởng chính. Mời các bạn cùng tham khảo.

 6 p husc 28/02/2018 288 1 Download

Từ khóa: Xây dựng mô hình toán học, Quá trình toả nhiệt khi chất lỏng sôi, Chất lỏng sôi trên màng mỏng, Cơ chế sôi trên màng mỏng, Phương trình cân bằng lực, Phương trình cân bằng năng lượng

This paper introduces a new method of quantification of hedge algebras, which is different from the ordinary method by the fact that an artificial hedge h0 should be added to model the contextdependent semantics of terms. It is aimed to represent the change of the semantics of any term x of length k appeared in the context X(k+1) of terms with the length k+ 1, so the meaning of a term will be changed when its adjacent terms are changed.

 13 p husc 31/01/2018 291 1 Download

Từ khóa: Đại số gia tử, Định lượng ngữ nghĩa khoảng, Bổ sung một gia tử đặc biệt, Ngữ nghĩa khoảng, Toán tử nhân tạo, Tạo chí Tin học, Điều khiển học