» Từ khóa: cổng logic

Kết quả 37-42 trong khoảng 42

Xấp xỉ khái niệm cho hệ thống thông tin trong logic mô tả.

Mô phỏng hai chiều và tính bất biến đối với mô phỏng hai chiều trên một lớp các logic mô tả thông qua ngôn ngữ và ngôn ngữ con. Với lớp các logic mô tả lớn hơn, các khái niệm, định nghĩa, định lý, bổ đề và hệ quả được phát triển dựa trên kết quả của Các định lý, bổ đề trong chương này cũng đã được trình bày và chứng minh một cách...

5 p husc 27/05/2016 229 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Ngôn ngữ logic, Mô phỏng hai chiều, Thông tin truyền thống, Tập xấp xỉ, Thuật toán xấp xỉ.
Nghiên cứu việc mở rộng ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển

Trình bày cú pháp và ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương; ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...

5 p husc 17/03/2016 365 3

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng
Nghiên cứu ngữ nghĩa tập trả lời của chương trình logic ưu tiên

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...

5 p husc 17/03/2016 279 2

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường
Nghiên cứu ngữ nghĩa chương trình Datalog và ứng dụng phân tích chương trình với cây nhị phân quyết định

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

5 p husc 17/03/2016 390 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn
Nghiên cứu việc tích hợp ngữ nghĩa của logic mô tả và các quy tắc logic

Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...

6 p husc 16/03/2016 344 3

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV
Giáo trình Kỹ thuật số - TS. Nguyễn Viết Nguyên

Giáo trình Kỹ thuật số được biên soạn theo đề cương do vụ Giáo dục chuyên nghiệp, Bộ GD - ĐT xây dựng và thông qua. Nội dung giáo trình gồm 5 chương, trình bày về cơ sở kỹ thuật số, các cổng logic cơ bản và mạch điện cổng, các mạch logic tổ hợp, trigơ số và các phần tử logic dãy, các bộ nhớ bán dẫn. Giáo trình dùng cho các trường đào tạo...

254 p husc 15/05/2015 309 3

Từ khóa: Kỹ thuật số, Giáo trình Kỹ thuật số, Cơ sở kỹ thuật số, Cổng logic cơ bản, Mạch điện cổng, Mạch logic tổ hợp