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

Bài giảng chương 2 trình bày về "Chứng minh sự đúng đắn" trong thuật toán. Nội dung trình bày cụ thể gồm có: Phân tích thuật toán, kiểm tra tính đúng đắn, chứng minh sự đúng đắn, tiền điều kiện và hậu điều kiện, trạng thái của thuật toán, chú thích thuật toán,... Mời các bạn cùng tham khảo.

 14 p cdsphanoi 30/09/2019 258 1 Download

Từ khóa: Thuật toán nâng cao, Bài giảng Thuật toán nâng cao, Phân tích thuật toán, Kiểm tra tính đúng đắn, Chứng minh sự đúng đắn, Trạng thái của thuật toán

Chương này trình bày về độ phức tạp (Complecxity) của thuật toán. Nội dung trình bày cụ thể gồm có: Khái niệm về độ phức tạp, độ phức tạp: lý thuyết và thực tế, đánh giá độ phức tạp: 3 trường hợp, các hàm tiệm cận, độ phức tạp thực tế. Mời các bạn cùng tham khảo.

 26 p cdsphanoi 30/09/2019 254 1 Download

Từ khóa: Thuật toán nâng cao, Bài giảng Thuật toán nâng cao, Độ phức tạp, Hàm tiệm cận, Độ phức tạp thực tế, Đánh giá độ phức tạp

Bài giảng Thuật toán nâng cao: Chương 6 trình bày về quy hoạch động (dynamic programming). Nội dung trình bày cụ thể gồm có: Nguyên tắc quy hoạch động; một số ứng dụng của quy hoạch động như: Triển khai nhị thức (a+b)n, nhân dãy ma trận, dãy con chung dài nhất, xếp ba lô. Mời các bạn cùng tham khảo.

 49 p cdsphanoi 30/09/2019 279 1 Download

Từ khóa: Thuật toán nâng cao, Bài giảng Thuật toán nâng cao, Quy hoạch động, Dynamic programming, Ứng dụng của quy hoạch động, Thuật toán quy hoạch động

Bài giảng Thuật toán nâng cao - Chương 10 trình bày về lớp các bài toán NP đầy đủ (NP-complete). Nội dung trình bày cụ thể gồm có: Đặt vấn đề, bài toán, lớp độ phức tạp NP, lớp NP đầy đủ, rút gọn bài toán, NP khó và NP đầy đủ, chứng minh bài toán NP đầy đủ. Mời các bạn cùng tham khảo.

 10 p cdsphanoi 30/09/2019 261 1 Download

Từ khóa: Thuật toán nâng cao, Bài giảng Thuật toán nâng cao, Bài toán NP đầy đủ, NP complete, Lớp độ phức tạp NP, Lớp NP đầy đủ

Bài giảng Thuật toán nâng cao - Chương 11 trình bày về thuật toán xấp sĩ (approximation algorithms). Nội dung trình bày cụ thể gồm có: Giải quyết các bài toán NP đầy đủ, tỉ lệ xấp xỉ, một số thuật toán xấp xỉ,...

 9 p cdsphanoi 30/09/2019 272 1 Download

Từ khóa: Thuật toán nâng cao, Bài giảng Thuật toán nâng cao, Thuật toán xấp sĩ, Approximation algorithms, Tỉ lệ xấp xỉ

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 cdsphanoi 26/02/2019 477 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 1 trình bày một số nội dung tổng quan về lý luận toán học như: Lịch sử logic, định nghĩa logic, logic & tôn giáo, mục tiêu của logic, phân loại logic,... Mời các bạn tham khảo.

 25 p cdsphanoi 26/02/2019 451 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, Lịch sử logic, Mục tiêu của logic, Phân loại logic

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 cdsphanoi 26/02/2019 367 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 cdsphanoi 26/02/2019 333 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 cdsphanoi 26/02/2019 344 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 (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 366 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 411 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ừ