» Từ khóa: logic vị từ

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

Tổng quan về chương trình logic; Chương trình mô tả; Ứng dụng của chương trình logic mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 10 p husc 15/03/2022 64 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Logic mô tả, Hệ thống DLV, Vị từ xây dựng, Thực thi chương trình, Bài toán ứng dụng

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

Giáo trình Logic chuyên ngành được cấu trúc thành 5 chương bài học với các nội dung như sau: Chương 1 - Mệnh đề lôgic; chương 2 - Hợp giải trong logic mệnh đề; chương 3 - Logic vị từ; chương 4 - Hợp giải trong logic vị từ; chương 5 - Relevant logic. Mời các bạn cùng tìm hiểu về giáo trình đặc biệt giáo trình dành cho sinh viên ngành Triết học.

 115 p husc 28/02/2021 114 1 Download

Từ khóa: Ngành triết học, Giáo trình Logic học, Logic chuyên ngành, Hợp giải trong logic mệnh đề, Hợp giải trong logic vị từ

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 đề, suy luận, qui tắc suy diễn, vị từ, lượng từ. Đây là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học chuyên ngành Tự nhiên và những ai quan tâm dùng làm tài liệu học tập vầ nghiên cứu.

 51 p husc 30/07/2020 198 2 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 đề, Qui tắc suy diễn, Vị từ và lượng từ

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 203 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 209 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 222 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 199 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 Trí tuệ nhân tạo: Chương 5 do Nguyễn Văn Hòa biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm: Phép toán mệnh đề, biểu diễn sự kiện đơn giản, biểu diễn: isa và instance, các hàm và vị từ khả tính toán, luật phân giải, phân giải mệnh đề, phân giải mệnh đề, đưa về clause form.

 35 p husc 31/03/2018 241 2 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Sử dụng logic mệnh đề và vị từ, Phép toán mệnh đề, Phân giải mệnh đề

Trình bày cú pháp và những cách tiếp cận khác nhau về ngữ nghĩa của chương trình logic nói chung và datalog nói riêng, đặc biệt là ngữ nghĩa điểm cố định. Trình bày kiến trúc SIMD, MIMD và những nguyên tắc để thiết kế thuật toán song song; phương pháp xử lý bao đóng bắc cầu bằng những thuật toán song song đồ...

 2 p husc 13/03/2015 255 1 Download

Từ khóa: Tin học, biểu diễn tri thức, logic vị từ, thuật toán song song