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

Bài giảng Kiến trúc dân dụng - Chương II: Các cơ sở thiết kế kiến trúc trình bày phân loại và phân cấp công trình kiến trúc, hồ sơ thiết kế kiến trúc, phương pháp luận về thiết kế công trình kiến trúc, công nghiệp hóa xây dựng. Đây là tài liệu tham khảo dành cho sinh viên ngành Kiến trúc.

 34 p husc 28/05/2015 456 2 Download

Từ khóa: Bài giảng Kiến trúc dân dụng Chương II, Thiết kế kiến trúc, Cơ sở thiết kế kiến trúc, Hồ sơ thiết kế kiến trúc, Thiết kế công trình kiến trúc, Công nghiệp hóa xây dựng

Bài giảng hóa học hữu cơ chương 7 do tiến sĩ Phan Thanh Sơn Nam biên soạn có nội dung trình bày những kiến thức về Alkyne. Đây là hợp chất hydrocarbon không no, mạch hở chứa liên kết ba C=C. Phần danh pháp của hợp chất này giới thiệu về tên thông thường và tên IUPAC, có nhiều phương pháp điều chế Akyne nhưng phổ biến nhất là thủy phân calcium carbide...

 17 p husc 28/05/2015 263 3 Download

Từ khóa: Bài giảng Hóa học hữu cơ chương 7, Hóa hữu cơ, Tìm hiểu về Alkyne, Dẫn xuất dihaloge, Quá trình oxy hóa methane, Hợp chất hydrocarbon không no

Địa chất lịch sử là một môn học nghiên cứu về hoàn cảnh và thời gian hình thành, quá trình tồn tại và biến đổi của đất đá ở vỏ Trái đất. Địa chất lịch sử có các nhiệm vụ xác định tuổi của đá, xác định hoàn cảnh tự nhiên, xác lập lại các giai đoạn phát triển của vỏ Trái đất.

 11 p husc 28/05/2015 239 2 Download

Từ khóa: Trắc địa công trình, Địa chất lịch sử, Bài giảng địa chất lịch sử, Địa chất công trình, Tài liệu địa chất công trình, Bài giảng địa chất công trình, Bài giảng địa chất công trình chương 4

Bài giảng Vật lý đại cương 2 - Chương 3: Nguyên lý II - Nhiệt động lực học trình bày hạn chế của nguyên lý, quá trình thuận nghịch, máy nhiệt, phát biểu Nguyên lý II, chu trình và định lý Carnot. Entrôpi, các hàm nhiệt động, bài tập Nguyên lý II.

 31 p husc 25/04/2015 268 1 Download

Từ khóa: Vật lý đại cương 2 Chương 3, Vật lý đại cương 2, Nhiệt động lực học, Quá trình thuận nghịch, Định lý Carnot, Hàm nhiệt động

Bài giảng Vật lý đại cương - Chương 2: Nhiệt động lực học trình bày hệ nhiệt động, phát biểu nguyên lý, trạng thái và các quá trình cân bằng, công và nhiệt trong quá trình cân bằng, áp dụng nguyên lý I, khảo sát các quá trình cân bằng của khí lỏng, bài tập nguyên lý I.

 18 p husc 25/04/2015 215 2 Download

Từ khóa: Vật lý đại cương Chương 2, Vật lý đại cương, Nhiệt động lực học, Quá trình cân bằng, Quá trình cân bằng của khí lỏng, Hệ nhiệt động

Tổng quan về chương trình logic. Cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Ngữ nghĩa tập trả lời của chương trình logic dạng tuyển mở rộng và ứng dụng biểu diễn tri thức. 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 07/04/2015 419 2 Download

Từ khóa: Tin học, chương trình logic, lập trình logic, chương trình logic dạng tuyển mở rộng

Tổng quan về chương trình logic. Tìm hiểu chương trình logic với các ràng buộc trọng số. Cài đặt và thực thi một số bài toán bằng hệ thống Smodels. 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

 6 p husc 07/04/2015 244 4 Download

Từ khóa: Tin học, chương trình logic

Tổng quan về ngữ nghĩa chương trình logic và logic mô tả. Chương trình logic mô tả xác suất. Phương pháp định giá truy vấn đối với chương trình logic mô tả xác suất phân tầng. 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 252 1 Download

Từ khóa: Tin học, Chương trình logic, logic mô tả, logic mô tả xác suất, mô tả xác suất phân tầng

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 241 2 Download

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

Giới thiệu khái quát về cơ sở dữ liệu thời gian. Thiết kế cơ sở dữ liệu cho chương trình quản lý thời gian giao tác các thiết bị điện. Thiết kế và cài đặt chương trình quản lý thời gian giao tác của các thiết bị điện. 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

 6 p husc 06/04/2015 348 1 Download

Từ khóa: Tin học, Cơ sở dữ liệu thời gian, chương trình quản lý thời gian, giao tác các thiết bị điện

Trình bày một số ký hiệu, khái niệm cơ sở. Giới thiệu chương trình Datalog an toàn và ràn buộc hữu hạn. Một số thuật toán định giá đối với chương trình Datalog trên cơ sở dữ liệu vô hạn. 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

 6 p husc 01/04/2015 326 1 Download

Từ khóa: Tin học, chương trình Datalog, thuật toán định giá, cơ sở dữ liệu vô hạn.

Nghiên cứu cơ sở lý luận về chương trình logic tổng quát; Ngữ nghĩa và phép hợp giải SLDNF; Các kỹ thuật hợp giải (SLG, SLT) được sử dụng trong các hệ thống trả lời truy vấn đối với chương trình logic tổng quát. 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 01/04/2015 257 1 Download

Từ khóa: Tin học, logic tổng quát, kỹ thuật hợp giải, chương trình logic tổng quát