» Từ khóa: lôgíc hình thức

Bài giảng Cơ sở Trí tuệ nhân tạo‎: Chương 3 Biễu diễn tri thức cung cấp cho người học những kiến thức như: Khái niệm; Biễu diễn tri thức bằng Logic hình thức; Biễu diễn tri thức bằng mạng ngữ nghĩa; Biễu diễn tri thức bằng hệ luật dẫn. Mời các bạn cùng tham khảo!

 109 p husc 26/01/2024 30 0 Download

Từ khóa: Trí tuệ nhân tạo, Bài giảng Cơ sở Trí tuệ nhân tạo, Cơ sở Trí tuệ nhân tạo, Biễu diễn tri thức, Logic hình thức, Phân loại tri thức

Bài giảng Hệ cơ sở dữ liệu: Chương 2.2 Mô hình thực thể - liên kết, cung cấp cho người học những kiến thức như: Các thành phần cơ bản của mô hình E-R; Các ràng buộc trên các kiểu liên kết; Biểu đồ E-R; Một số tính chất mở rộng của mô hình E-R; Ví dụ thực hành về thiết kết lược đồ thực E-R. Mời các bạn cùng tham khảo!

 86 p husc 23/12/2023 27 0 Download

Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Mô hình thực thể, Mô hình hóa dữ liệu, Thiết kế logic, Quy trình phân tích cơ sở dữ liệu

Phần 1 cuốn sách "Lôgích và tiếng Việt" giới thiệu tới người đọc các nội dung: Quan hệ giữa ngôn ngữ và logic; logic truyền thống; logic mệnh đề; logic vị từ, logic tình thái, logic đa trị và logic mờ; giới thiệu logic phi hình thức, những nghịch lý ngữ nghĩa. Mời các bạn cùng tham khảo nội dung chi tiết.

 264 p husc 23/07/2022 74 1 Download

Từ khóa: Lôgích và tiếng Việt, Ngôn ngữ và logic, Logic truyền thống, Logic mệnh đề, Logic vị từ, Logic tình thái, Logic đa trị, Logic phi hình thức

Bài giảng Logic học cung cấp cho người học những kiến thức như: Phán đoán và các phép logic; tính chất của phép hội và phép tuyển; phép kéo theo; một số quy luật logic; logic vị từ; suy luận diễn dịch;... Mời các bạn cùng tham khảo!

 62 p husc 28/02/2022 82 1 Download

Từ khóa: Bài giảng Logic học, Logic học, Công thức De Morgan, Phán đoán phản đảo, Logic vị từ, Hình thức suy luận từ một tiền đề, Quy tắc bắc cầu của phép kéo theo

Bài giảng Nhập môn Logic học giúp sinh viên nắm được đối tượng, nhiệm vụ của logic học, mối quan hệ gữa logic học hình thức và logic học biện chứng, thực chất của logic học duy tâm, quá trình phát triển của khoa học về logic và các nội dung khác. Mời bạn đọc tham khảo.

 170 p husc 31/05/2019 313 2 Download

Từ khóa: Bài giảng Nhập môn Logic, Nhiệm vụ của logic học, Logic học hình thức, Logic học biện chứng, Logic học duy tâm, Khoa học vê logic

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 207 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

Bài giảng Đặc tả hình thức: Chương 4, trình bày các nội dung sau: Các phép toán logic, thứ tự ưu tiên các phép toán, tập bằng cách định nghĩa thuộc tính,...Mời các bạn cung tham khảo!

 24 p husc 31/01/2018 239 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Các phép toán logic, Cấu trúc Family

Hiện nay những vấn đề về logic chiếm một địa vị quan trọng trong những vấn đề nghiên cứu của triết học. Cuốn "Giáo trình Logic hình thức" này gồm 7 chương trình bày về đối tượng nghiên cứu và các quy luật cơ bản của logic hình thức, khái niệm, định nghĩa và phân chia các khái niệm, phán đoán, suy lý, chứng minh và bác bỏ, giả thuyết.

 232 p husc 11/06/2015 304 1 Download

Từ khóa: Logic hình thức, Giáo trình logic hình thức, Nghiên cứu logic hình thức, Tài liệu logic hình thức, Tư duy logic, Tư duy phán đoán

Giáo trình Logic học đại cương gồm 11 chương, trình bày về đối tượng nghiên cứu và ý nghĩa của logic học: Khái lược lịch sử logic học, khái niệm, phán đoán, các quy luật cơ bản của logic hình thức truyền thống, suy luận, luận chứng, giả thuyết, logic biện chứng, cặp phạm trù logic biện chứng,... Mời bạn đọc cùng tham khảo.

 337 p husc 09/05/2015 332 2 Download

Từ khóa: Logic học đại cương, Giáo trình logic học đại cương, Lịch sử logic học, Logic hình thức truyền thống, Logic biện chứng, Cặp phạm trù logic biện chứng