» Từ khóa: chương trình

Trình bày cú pháp và ngữ nghĩa của chương trình logic với rang buộc bản số và trọng số. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững, ứng dụng của chương trình logic với các ràng buộc bản số, trọng số vào một số bài toán cụ thể và thực thi chương trình bằng phần mềm hệ thống Smodels....

 5 p husc 23/10/2017 344 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Ràng buộc bản số, Ràng buộc trọng số, Hệ thống Smodels, Logic bậc nhất, Ngôn ngữ Logic.

Trình bày việc mở rộng chương trình Datalog dạng tuyển bởi các ràng buộc toàn vẹn. Đặc biệt, ngoài các ràng buộc toàn vẹn cổ điển (còn gọi là ràng buộc mạnh) biểu diễn các điều kiện cần phải được thỏa mãn, biểu diễn một số bài toán bằng chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn. Ghi chú: Tài liệu toàn văn liên hệ theo...

 4 p husc 23/10/2017 333 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Ràng buộc toàn vẹn, Hệ thống DLV, Bài toán minh họa.

Trình bày kiến thức về mạng nơ ron, nơ ron nhân tạo và nơ ron sinh học, các kiểu mô hình mạng. Mô phỏng ứng dụng mạng nơ ron đa lớp truyền thẳng trình bày mô hình bài toán nhận dạng chữ Hán nôm và cách giải quyết bài toán dựa trên mạng nơ ron đa lớp truyền thẳng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343....

 5 p husc 23/10/2017 350 2 Download

Từ khóa: Công nghệ thông tin, Mạng nơ ron, Nơ ron sinh học, Nơ ron nhân tạo, Mạng nhiều tầng, Lớp truyền thẳng, Thuật toán lan truyền, Chọn hàng truyền, Nhận dạng chữ Hán Nôm, Thuật toán lan truyền ngược, Giao diện chương trình.

Tìm hiểu phương pháp ma tập để định giá truy vấn đối với chương trình Datalog, chiến lược truyền thông tin sang ngang và thuật toán ma tập đối với chương trình Datalog dạng tuyển. về việc thực thi thuật toán ma tập đối với các chương trình Datalog và Datalog dạng tuyển bằng hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 5 p husc 13/10/2017 325 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Ngôn ngữ bậc nhất, Thuật toán ma tập, Datalog dạng tuyển, Hệ thống DLV.

Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 6 p husc 13/10/2017 433 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.

Trình bày một số khái niệm cơ sở và ngữ nghĩa của chương trình logic, cú pháp và ngữ nghĩa 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

 11 p husc 19/05/2017 305 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic mô tả mờ, Tập mờ, Ngữ Nghĩa.

Bài giảng "Tin học đại cương - Bài 1: Cấu trúc một chương trình C++" giới thiệu tới người học các ví dụ minh họa một chương trình C++, cấu trúc chương trình C++. Đây là một tài liệu hữu ích dành cho các bạn sinh viên ngành Công nghệ thông tin và những ai quan tâm dùng làm tài liệu học tập nghiên cứu.

 10 p husc 24/02/2017 333 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc một chương trình C++, Chương trình C++, Cấu trúc chương trình C++

Bài giảng "Tin học đại cương - Bài 3: Chương trình con (hàm)" cung cấp cho người học các kiến thức: Đặt vấn đề, giới thiệu về chương trình con, cách viết và gọi chương trình con. Mời các bạn cùng tham khảo nội dung chi tiết.

 19 p husc 24/02/2017 261 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Chương trình con, Gọi chương trình con, Viết chương trình con

Chương 3 trình bày về lập trình hợp ngữ cho 8086. Trong chương này giới thiệu về khung của chương trình hợp ngữ, trình bày cách tạo và chạy một chương trình hợp ngữ trên máy IBM PC, trình bày các cấu trúc lập trình cơ bản thực hiện bằng hợp ngữ và một số chương trình cụ thể.

 35 p husc 20/01/2017 377 1 Download

Từ khóa: Kỹ thuật vi xử lý, Bài giảng Kỹ thuật vi xử lý, Lập trình hợp ngữ cho 8086, Chương trình hợp ngữ, Khung của một chương trình hợp ngữ, Cấu trúc lập trình

Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 30/12/2016 327 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.

Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyển . Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 27/09/2016 519 6 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.

Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 12 p husc 26/09/2016 305 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.