» Từ khóa: mo hinh xac dang

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

Bài giảng Quản lý nguồn nước - TS. Phạm Hữu Tỵ

Bài giảng Quản lý nguồn nước cung cấp cho người học những kiến thức như: Những kiến thức cơ bản về tài nguyên nước; Quản lý nguồn nước. Mời các bạn cùng tham khảo để nắm chi tiết nội dung bài giảng!

64 p husc 29/09/2021 103 1

Từ khóa: Bài giảng Quản lý nguồn nước, Quản lý nguồn nước, Quản lý đất đai, Tài nguyên nƣớc ngầm, Các dạng tài nguyên nước, Mô hình quản lý nguồn nước, Phương pháp xác định ranh giới lưu vực
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 366 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 xác đáng của chương trình logic

Trình bày một số khái niệm: Ngôn ngữ bậc nhất, chương trình logic xác định, chương trình logic thông thường. Tìm hiểu về mô hình xác đáng của chương trình logic. Ngữ nghĩa xác đáng của chương trình logic với các hàm kết tập. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 06/04/2015 211 2

Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập

Đă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ố