» Từ khóa: logic

Bài viết bước đầu nghiên cứu vai trò ứng dụng GIS trong nghiên cứu, giảng dạy lịch sử, bao gồm việc phát huy tư duy trừu tượng và tư duy thực tiễn cho người học thông qua chuyển kênh chữ thành kênh hình, tạo hứng thú cho người học thông qua kênh hình trực quan, phát huy tư duy logic thông qua bản đồ khung, bổ sung thêm phương tiện giảng dạy theo xu...

 7 p husc 30/04/2020 241 1 Download

Từ khóa: Hệ thống thông tin địa lý, Giảng dạy lịch sử, Phát huy tư duy logic, Tạo hứng thú cho người học, Đổi mới phương pháp dạy học

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 husc 31/05/2019 227 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 (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 227 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 294 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 221 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 217 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 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 husc 31/05/2019 225 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 240 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 215 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 giới thiệu các hàm logic cơ bản và các tính chất cần thiết để giúp sinh viên hiểu vận hành của một hệ thống logic. Nội dung trình gồm gồm có: Hàm logic cơ bản, các dạng chuẩn của hàm logic, rút gọn hàm logic. Mời các bạn cùng tham khảo.

 25 p husc 25/02/2019 236 1 Download

Từ khóa: Kỹ thuật số, Bài giảng Kỹ thuật số, Hàm logic cơ bản, Dạng chuẩn của hàm logic, Rút gọn hàm logic, Phương pháp đại số

Cổng logic là tên gọi chung của các mạch điện tử có chức năng thực hiện các hàm logic. Cổng logic có thể được chế tạo bằng các công nghệ khác nhau (Lưỡng cực, MOS), có thể được tổ hợp bằng các linh kiện rời nhưng thường được chế tạo bởi công nghệ tích hợp IC (Integrated circuit). Chương này giới thiệu các loại cổng cơ bản, các họ IC số,...

 23 p husc 25/02/2019 223 1 Download

Từ khóa: Kỹ thuật số, Bài giảng Kỹ thuật số, Cổng logic, Tín hiệu tương tự, Tín hiệu số, Cổng phức AOI

Mời các bạn tham khảo Bài giảng Cơ sở dữ liệu nâng cao - Chương 3: Cơ sở dữ liệu suy diễn sau đây để bổ sung thêm những kiến thức về khái niệm CSDL suy diễn, cách sử dụng logic, hình thức hóa và đánh giá các câu truy vấn đệ quy.

 50 p husc 25/02/2019 223 1 Download

Từ khóa: Cơ sở dữ liệu nâng cao, Bài giảng Cơ sở dữ liệu nâng cao, Cơ sở dữ liệu suy diễn, Cách sử dụng logic, Câu truy vấn đệ quy, Hình thức hóa câu truy vấn đệ quy