» Từ khóa: ba i toa n u ng du ng

Kết quả 1-5 trong khoảng 5

Tìm hiểu ngữ nghĩa xác đáng của chương trình logic mô tả trong web ngữ nghĩa

Tổng quan về chương trình logic; Chương trình mô tả; Ứng dụng của chương trình logic mô tả. 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 65 0

Từ khóa: Khoa học máy tính, Chương trình logic, Logic mô tả, Hệ thống DLV, Vị từ xây dựng, Thực thi chương trình, Bài toán ứng dụng
Maplet - Powerpoint công cụ dạy và học phép tính tích phân hàm nhiều biến

Giới thiệu về Maple; Thiết kế bài giảng và lập trình ứng dụng tính tích phân. 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

5 p husc 01/03/2019 287 1

Từ khóa: Toán học, Toán số học, Tính tích phân, Lập trình Maplet, Thiết kế bài giảng, Lập trình ứng dụng
Quản lý cơ sở dữ liệu hiện trạng sử dụng đất ở huyện Lý Sơn, tỉnh Quảng Ngãi dưới sự trợ giúp của công nghệ GIS

Xây dựng quy trình chuẩn hoá cơ sở dữ liệu hiện trạng sử dụng đất phục vụ khai thác sử dụng tài nguyên đất đai hiệu quả và bền vững ở huyện Lý Sơn dưới sự trợ giúp của công nghệ GIS. 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

15 p husc 09/01/2019 278 1

Từ khóa: Quản lý tài nguyên môi trường, Quản lý đất đai, Sử dụng đất, Đất nông nghiệp, Đất phi nông nghiệp, Đất chưa sử dụng, Toán học bản đồ, Dữ liệu Gis
Tìm hiểu việc kết hợp của Logic mô tả và Datalog dạng tuyển

Tổng quan về Datalog dạng tuyển (Khái niệm cơ sở; chương trình Datalog; chương trình Datalog dạng tuyển). Giới thiệu về logic mô tả; Logic mô tả Shoin (D); cú pháp, ngữ nghĩa của logic mô tả. Nghiên cứu cú pháp, ngữ nghĩa chương trình Datalog mô tả dạng tuyển; những bài toán ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

11 p husc 23/10/2018 245 1

Từ khóa: Công nghệ thông tin, Datalog dạng tuyển, Chương trình datalog, Bài toán ứng dụng
Tìm hiểu việc kết hợp ngữ nghĩa lập trình Logic với Logic mô tả

Trình bày cú pháp và ngữ nghĩa của chương trình logic mô tả xác định và logic thông thườ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

10 p husc 23/10/2018 252 1

Từ khóa: Công nghệ thông tin, Logic mờ, logic xác định, Chương trình Logic, Bài toán ứng dụng, Mô hình bền vững

Đăng nhập

Bộ sưu tập nổi bật

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số