- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 7: Môi trường thời gian thực hiện
Trước khi xem xét vấn đề sinh mã được trình bày ở các chương sau, chương này trình bày một số vấn đề liên quan đến việc gọi thực hiện chương trình con, các chiến lược cấp phát bộ nhớ và quản lý bảng ký hiệu. Cùng một tên trong chương trình nguồn có thể biểu thị cho nhiều đối tượng dữ liệu trong chương trình đích. Sự biểu diễn của...
26 p husc 25/02/2019 261 1
Từ khóa: Ngôn ngữ lập trình, Nguyên lý ngôn ngữ lập trình, Bài giảng Nguyên lý ngôn ngữ lập trình, Đối tượng dữ liệu, Chương trình con, Ngăn xếp điều khiển
Bài giảng Lập trình Java - ThS. Huỳnh Công Pháp
Bài giảng Lập trình Java giới thiệu đến người học lập trình ngôn ngữ Java về sự phát triển của Java, các đặc trưng của Java, các phần tử cơ bản ngôn ngữ Java và thành phần cơ bản của 1 chương trình Java. Đồng thời, bài giảng còn trình bày cấu trúc của một chương trình Java: Applets. Mời các bạn cùng tham khảo.
239 p husc 28/09/2018 410 2
Từ khóa: Bài giảng Lập trình Java, Lập trình Java, ập trình ngôn ngữ Java, Đặc trưng của Java, Thành phần cơ bản của chương trình Java, Lập trình giao diện với AWT, Lập trình đa tuyến
Bài giảng Thiết kế logic số: Lecture 2.1 - TS. Hoàng Văn Phúc
Bài giảng Thiết kế logic số: Lecture 2.1 giúp người học hiểu về " Giới thiệu VHDL, cấu trúc chương trình VHDL". Nội dung trình bày cụ thể gồm có: Lịch sử phát triển ngôn ngữ VHDL, Cấu trúc chương trình VHDL, Các dạng mô tả kiến trúc và ví dụ.
36 p husc 30/08/2018 281 1
Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Giới thiệu VHDL, Cấu trúc chương trình VHDL, Đặc điểm của VHDL
Bài giảng Trí tuệ nhân tạo: Chương 2 - Nguyễn Văn Hòa
Nội dung chương 2 trình bày đến người học những vấn đề liên quan đến "ghi tiêu đề chương", cụ thể như: Các chiến lược điều khiển, các đặc trưng của bài toán, vấn đề trong thiết kế chương trình tìm kiếm,...
43 p husc 31/03/2018 294 2
Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Chiến lược tìm kiếm mù, Chiến lược điều khiển, Thiết kế chương trình tìm kiếm
Tìm hiểu việc kết hợp của Logic mô tả và Datalog dạng tuyển
Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
11 p husc 10/01/2018 403 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả
Tìm hiểu việc kết hợp ngữ nghĩa lập trình logic với logic mô tả
Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toá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
10 p husc 10/01/2018 385 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Logic thông thường, Logic mô tả, Bài toán ứng dụng, Mô hình bền vững
Tìm hiểu một số kỹ thuật truyền lại thuần trong mạng chuyển mạch chùm quang
Tìm hiểu và phân tích một số kỹ thuật truyền lại thuần trong mạng chuyển mạch chùm quang. Phân loại các kỹ thuật truyền lại thuần cơ bản, về cấu trúc và nguyên tắc hoạt động của phần mềm Matlab. 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
12 p husc 10/01/2018 322 1
Từ khóa: Công nghệ thông tin, Chuyển mạch chùm quang, Tập hợp chùm, Lập lịch chùm, Chương trình Matlab
Bài giảng Tin học đại cương: Chương 4 - ThS. Trần Quang Hải Bằng
Bài giảng "Tin học đại cương - Chương 4: Tổng quan về Visual Basic 6.0" cung cấp cho người đọc các kiến thức: Giới thiệu Visiual Basic 6.0, cài đặt VB 6.0, làm quen với IDE, biên dịch chương trình VB6. Mời các bạn cùng tham khảo nội dung chi tiết.
15 p husc 31/10/2017 299 1
Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Visual Basic 6.0, Cài đặt VB 6.0, Làm quen với IDE, Biên dịch chương trình VB6
Bài giảng Tin học đại cương: Chương 6 - ThS. Trần Quang Hải Bằng
Bài giảng "Tin học đại cương - Chương 6: Lập trình với Visual Basic 6.0" cung cấp cho người đọc các kiến thức: Soạn thảo chương trình, các kiểu dữ liệu cơ bản của VB, các toán tử thông dụng trong VB 6.0, các cấu trúc điều khiển,... Mời các bạn cùng tham khảo.
36 p husc 31/10/2017 310 1
Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Lập trình với Visual Basic 6.0, Soạn thảo chương trình, Kiểu dữ liệu cơ bản của VB, Toán tử thông dụng trong VB 6.0, Cấu trúc điều khiển
Bài giảng Tin học đại cương: Chương 8 - ThS. Trần Quang Hải Bằng
Bài giảng "Tin học đại cương - Chương 8: Tổ chức chương trình trong Visual Basic 6.0" cung cấp cho người học các kiến thức: Tổ chức chương trình trong VB, chương trình con, Module. Mời các bạn cùng tham khảo nội dung chi tiết.
8 p husc 31/10/2017 280 1
Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Tổ chức chương trình trong Visual Basic 6.0, Visual Basic 6.0
Tìm hiểu việc biểu diễn tri thức bằng các chương trình logic.
Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. 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. Ghi chú: Tài liệu toàn văn liên hệ...
5 p husc 23/10/2017 356 1
Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.
Tìm hiểu ngôn ngữ AnsProlog * và ứng dụng.
Trình bày một ngôn ngữ của lập trình logic theo ngữ nghĩa tập trả lời được gọi là AnsProlog*. Trong AnsProlog* ta cố định ngữ nghĩa tập trả lời và chỉ tập trung vào đó.Ứng dụng của ngôn ngữ AnsProlog* thông qua một số bài toán trong lý thuyết đồ thị và tiến hành mã hóa, thực thi trên hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên...
5 p husc 23/10/2017 338 1
Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic xác định, Ngôn ngữ AnsProlog, Hệ thống DLV, Biên dịch hệ thống, Bài toán hệ thống, Bài toán biểu diễn, Bài toán chu trình, Bài toán tập định, Bài toán phủ định.
Đăng nhập
Bộ sưu tập nổi bật
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.