» Từ khóa: mệnh đề

Chương 1 của bài giảng Toán rời rạc và lý thuyết đồ thị trình bày các kiến thức cơ sở Logic như: Khái niệm mệnh đề và chân trị, các phép toán mệnh đề, biểu thức logic, các luật logic, logic vị từ, các lượng từ và các mệnh đề có lượng từ, qui tắc phủ định mệnh đề có lượng từ,... Mời các bạn cùng tham khảo để nắm bắt các nội dung...

 22 p cdsphanoi 26/02/2019 779 4 Download

Từ khóa: Toán rời rạc, Lý thuyết đồ thị, Cơ sở Logic, Logic mệnh đề, Biểu thức logic, Logic vị từ

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 324 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 337 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 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 447 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

Bài giảng cung cấp cho người học các kiến thức: Trí tuệ nhân tạo. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.

 240 p cdsphanoi 30/06/2018 371 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Suy luận logic, Trò chơi đối kháng, Giải quyết vấn đề, Logic mệnh đề, Các nguyên lý tìm kiếm, Hệ cơ sở tri thức

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 đề, dạng mệnh đề, vị từ, lượng từ, quy tắc suy luận, nguyên lý quy nạp. Mời các bạn cùng tham khảo nội dung chi tiết.

 69 p cdsphanoi 31/05/2018 806 5 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Dạng mệnh đề, Quy tắc suy luận, Nguyên lý quy nạp, Mệnh đề

Đại Nam thực lục (Tập 4): Chính biên - Kỷ thứ hai (từ 1834 đến 1836) do Nguyễn Thế Đạt, Trương Văn Chinh, Nguyễn Doanh Chiên, Ngô Hữu Tạo, Nguyễn Mạnh Duân, Đỗ Mộng Khương dịch; Hoa Bằng hiệu đính. Tập 4 ghi chép lịch sử từ đời vua Minh Mạng năm thứ 15 đến năm Minh Mạng thứ 17. Mời bạn đọc tham khảo.

 414 p cdsphanoi 22/09/2016 459 1 Download

Từ khóa: Đại Nam thực lục, Đại Nam thực lục tập 2, Lịch sử triều Nguyễn, Đời Minh Mệnh, Nguyễn Phúc Đảm, Thánh Tổ Nhân Hoàng đế

Đại Nam thực lục (Tập 4): Chính biên - Kỷ thứ hai (từ 1834 đến 1836) do Nguyễn Thế Đạt, Trương Văn Chinh, Nguyễn Doanh Chiên, Ngô Hữu Tạo, Nguyễn Mạnh Duân, Đỗ Mộng Khương dịch; Hoa Bằng hiệu đính. Tập 4 ghi chép lịch sử từ đời vua Minh Mạng năm thứ 15 đến năm Minh Mạng thứ 17. Mời bạn đọc tham khảo.

 727 p cdsphanoi 22/09/2016 410 1 Download

Từ khóa: Đại Nam thực lục, Đại Nam thực lục tập 2, Lịch sử triều Nguyễn, Đời Minh Mệnh, Nguyễn Phúc Đảm, Thánh Tổ Nhân Hoàng đế

Đại Nam thực lục (Tập 3): Chính biên-Kỷ thứ hai (từ 1830 đến 1833) do Đỗ Mộng Khương, Trần Huy Hân, Trương Văn Chinh, Nguyễn Mạnh Duân, Ngô Hữu Tạo, Nguyễn Thế Đạt, Thẩm Văn Điền, Nguyễn Trọng Hân, Phạm Huy Giu dịch; Đào Duy Anh, Hoa Bằng hiệu đính. Tập này ghi ghép về đời Minh Mạng thứ 11 năm 1830 đến năm Minh Mạng thứ 14 năm 1833.

 374 p cdsphanoi 22/09/2016 483 1 Download

Từ khóa: Đại Nam thực lục, Đại Nam thực lục tập 2, Lịch sử triều Nguyễn, Đời Minh Mệnh, Nguyễn Phúc Đảm, Thánh Tổ Nhân Hoàng đế

Đại Nam thực lục (Tập 3): Chính biên-Kỷ thứ hai (từ 1830 đến 1833) do Đỗ Mộng Khương, Trần Huy Hân, Trương Văn Chinh, Nguyễn Mạnh Duân, Ngô Hữu Tạo, Nguyễn Thế Đạt, Thẩm Văn Điền, Nguyễn Trọng Hân, Phạm Huy Giu dịch; Đào Duy Anh, Hoa Bằng hiệu đính. Tập này ghi ghép về đời Minh Mạng thứ 11 năm 1830 đến năm Minh Mạng thứ 14 năm 1833.

 662 p cdsphanoi 22/09/2016 410 1 Download

Từ khóa: Đại Nam thực lục, Đại Nam thực lục tập 2, Lịch sử triều Nguyễn, Đời Minh Mệnh, Nguyễn Phúc Đảm, Thánh Tổ Nhân Hoàng đế

Ebook Đại Nam thực lục (tập 2) ghi chép về Kỷ thứ hai, thuộc đời vua Minh Mệnh (Nguyễn Phúc Đảm, 1820 - 1840). Biên soạn trong 20 năm (từ 1841 đến 1861). Tập 2 là thực lục về Thánh Tổ Nhân Hoàng đế từ năm 1820 đến 1829. Mời bạn đọc cùng tham khảo.

 672 p cdsphanoi 22/09/2016 633 1 Download

Từ khóa: Đại Nam thực lục, Đại Nam thực lục tập 2, Lịch sử triều Nguyễn, Đời Minh Mệnh, Nguyễn Phúc Đảm, Thánh Tổ Nhân Hoàng đế

Ebook Đại Nam thực lục (tập 2) ghi chép về Kỷ thứ hai, thuộc đời vua Minh Mệnh (Nguyễn Phúc Đảm, 1820 - 1840). Biên soạn trong 20 năm (từ 1841 đến 1861). Tập 2 là thực lục về Thánh Tổ Nhân Hoàng đế từ năm 1820 đến 1829. Mời bạn đọc cùng tham khảo.

 326 p cdsphanoi 22/09/2016 436 1 Download

Từ khóa: Đại Nam thực lục, Đại Nam thực lục tập 2, Lịch sử triều Nguyễn, Đời Minh Mệnh, Nguyễn Phúc Đảm, Thánh Tổ Nhân Hoàng đế