» Từ khóa: ngon ngu logic

Các khái niệm cơ sở của chương trình logic; Ngữ nghĩa tập trả lời của chương trình logic; Ứng dụng của chương trình logic với ngữ nghĩa tập trả lời. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 12 p husc 08/11/2024 8 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Ngôn ngữ bậc nhất, Xây dựng mô hình, Hệ thống clingo, Tập trả lời.

Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứng dụng. 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

 11 p husc 27/02/2024 50 0 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Web ngữ nghĩa, Ngôn ngữ Ontology, Cây phân lớp, Định nghĩa lớp phức, Kiểu dữ liệu, Bài toán xây dựng, Chương trình java

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

Phần 2 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: Phép suy luận ngôn ngữ và logic, logic của những hiện tượng “phi logic” trong tiếng Việt; logic và nhận thức không gian trong tiếng Việt; lôgích và nhận thức thời gian trong tiếng Việt. Mời các bạn cùng tham khảo nội dung chi tiết.

 261 p husc 23/07/2022 71 1 Download

Từ khóa: Lôgích và tiếng Việt, Phép suy luận ngôn ngữ, Hiện tượng phi logic, Lôgích và nhận thức thời gian, Nhận thức không gian trong tiếng Việt

Giáo trình "Thiết kế logic số" gồm có 4 chương, 4 phụ lục và được chia thành 2 phần, phần 1 của giáo trình cung cấp cho người học những kiến thức, khái niệm cơ bản về thiết kế các khối số, trong đó có những kiến thức được nhắc lại với những bổ xung phù hợp với mục đích môn học; giới thiệu về ngôn ngữ mô tả phần cứng VHDL; thiết...

 312 p husc 30/10/2021 135 1 Download

Từ khóa: Giáo trình Thiết kế logic số, Thiết kế logic số, Mạch logic tổ hợp, Mạch logic tuần tự, Ngôn ngữ mô tả phần cứng VHDL, Thiết kế các khối mạch dãy

Tiếp nội dung phần 1, Cơ sở ngữ dụng học (Tập 1): Phần 2 cung cấp cho người học những kiến thức như: Khái quát về chiếu vật; Logic học và vấn đề chiếu vật; Hành vi chiếu vật; Các phương thức chiếu vật;...Mời các bạn cùng tham khảo!

 232 p husc 30/06/2021 136 0 Download

Từ khóa: Cơ sở ngữ dụng học, Ngôn ngữ học, Phương thức chiếu vật, Hành vi chiếu vật, Logic học, Kính ngữ chủ thể

Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ. Nội dung chính trong chương này gồm có: Logic toán và ứng dụng của nó vào CSDL, diễn giải và mô hình, ứng dụng logic toán trong CSDL,... Mời các bạn cùng tham khảo.

 20 p husc 24/12/2018 247 1 Download

Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Hệ quản trị cơ sở dữ liệu, Ngôn ngữ tân từ, Logic toán, Ứng dụng logic toán

Nghiên cứu cú pháp, ngữ nghĩa đối với lớp lớn các logic mô tả giàu ngữ nghĩa hơn so với các công trình đã có bằng cách cho phép sử dụng các thuộc tính như là các phân tử cơ bản của ngôn ngữ, các quan hệ thông qua các vai trò dữ liệu và đề cập đến đặc trưng F, N. Lớp các logic này bao phủ những logic mô tả...

 9 p husc 31/10/2018 301 1 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Ngôn ngữ logic, Mô tả ALC, Thuật toán suy luận, Mô phỏng hai chiều, Quan hệ tương đương, Hệ thống thông tin

Giới thiệu mô hình hướng đối tượng (mô hình hạt nhân và mở rộng ngữ nghĩa của mô hình hạt nhân). Tổng quan về logic mô tả (khái lược về logic mô tả, cú pháp ngữ nghĩa của logic mô tả, hệ cơ sở tri thức dựa trên logic mô tả và mở rộng của ngôn ngữ mô tả). Mô hình hóa mô hình hướng đối tượng băng logic mô...

 13 p husc 23/10/2018 258 1 Download

Từ khóa: Công nghệ thông tin, Mô hình hạt nhân, Logic mô tả, Ngôn ngữ mô hình, Ngôn ngữ mô tả

Bài giảng Môn điện tử số gồm 9 chương cung cấp cho người học những kiến thức cơ bản lẫn nâng cao về bộ môn này: Hệ đếm, đại số Boole và các phương pháp biểu diễn hàm, mạch logic tổ hợp, mạch logic tuần tự, mạch phát xung và tạo dạng xung, bộ nhớ bán dẫn,... Qua đó giúp các bạn hiểu và nắm vững các kiến thức có trong bài giảng. Mời...

 273 p husc 30/08/2018 229 2 Download

Từ khóa: Bài giảng môn điện tử, Điện tử số, Đại số Boole, Phương pháp biểu diễn hàm, Cấu kiện logic khả trình, Ngôn ngữ mô tả phần cứng

Giới thiệu mô hình ER và mô hình mở rộng của mô hình này là mô hình EER. để áp dụng phương pháp chuyển đổi một lược đồ EER thành cơ sở tri thức trong logic mô tả, chúng tôi đã thực hiện việc mô hình hóa cho một mô hình EER thực 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

 13 p husc 10/01/2018 253 1 Download

Từ khóa: Công nghệ thông tin, Cơ sở dữ liệu, Quan hệ mở rộng, Ngôn ngữ mô tả, Logic mô tả, Mô hình EER

Giới thiệu mô hình hướng đối tượng, trong đó giới thiệu về mô hình hạt nhân và mở rộng ngữ nghĩa của mô hình hạt nhân về logic mô tả, bao gồm các nội dung: khái lược về logic mô tả, cú pháp ngữ nghĩa của logic mô tả, hệ cơ sở tri thức dựa trên logic mô tả và mở rộng của ngôn ngữ mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 13 p husc 10/01/2018 261 1 Download

Từ khóa: Công nghệ thông tin, Mô hình hạt nhân, Logic mô tả, Ngôn ngữ mô tả, Hộp thuật ngữ, Giao diện người dùng