» Từ khóa: thuc thi

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 483 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 về ngôn ngữ logic bậc nhất, cú pháp và ngữ nghĩa của chương trình logic. Chứng minh CIFF – là một phƣơng pháp để trả lời câu truy vấn đối với các chương trình logic phỏng đoán có chứa ràng buộc. 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

 10 p husc 27/09/2016 279 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Logic thông thường, Logic phỏng đoán, Hệ thống CIFF, Thực thi truy vấn, Swi-Prolog.

Bài viết "Thực trạng và giải pháp đảm bảo sinh kế bền vững cho cộng đồng dân cư ven đô Hà Nội trong quá trình đô thị hóa" tập trung phân tích đánh giá thực trạng sinh kế của cộng đồng dân cư quận Bắc Từ Liêm, xác định những nhân tố thuận lợi và cản trở hộ gia đình tiếp cận các nguồn lực phát triển sinh kế. Trên cơ sở đó đưa ra...

 13 p husc 24/06/2016 298 2 Download

Từ khóa: Nguồn lực sinh kế, Đô thị hóa, Sinh kế bền vững, Dân cư ven đô Hà Nội, Bắc Từ Liêm, Thực trạng sinh kế

Nội dung chương này trình bày khái niệm và định nghĩa, công thức Euler, một số đồ thị không phẳng, bất đẳng thức EV, định lý Kuratowski, ứng dụng đồ thị phẳng trong bài toán tô màu đồ thị, bài toán lập lịch thi.

 9 p husc 27/04/2016 321 2 Download

Từ khóa: Đồ thị phẳng, Lý thuyết đồ thị, Bài giảng lý thuyết đồ thị, Bài toán lý thuyết đồ thị, Bất đẳng thức EV, Định lý Kuratowski

Bài viết "So sánh các chủ nghĩa xã hội thị trường: Những điều gợi mở từ kinh nghiệm của Hungari đối với Việt Nam đương đại" giới thiệu về thị trường và nhà nước sự phi chính thức và quà tặng, chủ nghĩa xã hội thị trường ở Hungari sau năm 1986,... Với các bạn chuyên ngành Văn hóa – Lịch sử thì đây là tài liệu tham khảo hữu ích.

 10 p husc 24/03/2016 283 1 Download

Từ khóa: Dân tộc học, Chủ nghĩa xã hội thị trường, Kinh nghiệm của Hungari, Xã hội thị trường, Giới thiệu về thị trường, Nhà nước phi chính thức

Bài giảng Giảm thiểu kỳ thị và phân biệt đối xử liên quan đến HIV/AIDS tại nơi làm việc ở Việt Nam trình bày nhận định về HIV/AIDS; kỳ thị và Phân biệt đối xử; quy tắc thực hành của ILO về HIV/AIDS tại nơi làm việc; chương trình và hoạt động chính nhằm giải quyết vấn đề HIV/AIDS tại nơi làm việc của TLĐ LĐ Việt Nam.

 36 p husc 24/03/2016 269 2 Download

Từ khóa: Giảm thiểu kỳ thị HIV/AIDS, Phân biệt đối xử HIV/AIDS, Kỳ thị HIV/AIDS ở Việt Nam, Kỳ thị HIV/AIDS tại nơi làm việc, Quy tắc thực hành của ILO, Vấn đề HIV/AIDS tại nơi làm việc

Chuyên khảo này nhằm mô tả và phân tích mô hình, xu hướng và triển vọng của di cư và đô thị hóa tại Việt Nam. Chuyên khảo chủ yếu sử dụng số liệu từ cuộc Tổng điều tra dân số năm 2009 và số liệu của các cuộc tổng điều tra dân số trước đó vào các năm 1989 và 1999. Mời bạn đọc cùng tham khảo.

 144 p husc 25/12/2015 345 1 Download

Từ khóa: Đô thị hóa ở Việt Nam, Tổng điều tra dân số, Thực trạng di cư, Dân số di cư, Lao động di cư, Quá trình đô thị hóa

Tìm hiểu về các chính sách, luật pháp Bảo vệ môi trường liên quan đến lĩnh vực nuôi trồng thủy sản. Nghiên cứu điều kiện tự nhiên, kinh tế - xã hội và hiện trạng nuôi trồng thủy sản tại Cẩm Thanh - Tp. Hội An, tỉnh Quảng Nam. Đánh giá thực trạng việc áp dụng luật pháp, chính sách bảo vệ môi trường đối với nuôi trồng thủy sản. Định...

 7 p husc 15/10/2015 353 1 Download

Từ khóa: Môi trường, Quản lý môi trường, Tài nguyên nước, Nuôi trồng thủy sản, Pháp luật, bảo vệ môi trường, Thực thi, Luật pháp, Nuôi trồng thủy sản, Tài nguyên đất, tài nguyên nước, Tài nguyên rừng, Ngành du lịch, Sản lượng nuôi trồng

Nghiên cứu tổng quan về thị giác ở Việt Nam và tyển thế giới; Xác định tỷ lệ giảm thị lực, cận thị của học sinh, xác định tình hình sắc giác của học sinh và Xây dựng gia hệ của một số học sinh có bất thường sắc giác... thông qua việc nghiên cứu sàng lọc 440 học sinh của 5 trường THPT huyện Phú Vang, tỉnh Thừa Thiên Huế nhằm góp phần...

 5 p husc 21/05/2015 223 1 Download

Từ khóa: Sinh học, sinh học thực nghiệm, hệ sinh lý người, thị lực, sắc giác của học sinh, bệnh cận thị

Nghiên cứu tổng quan về thị giác ở Việt Nam và tyển thế giới; Xác định tình hình sắc giác ở học sinh tiểu học độ tuổi 7 - 8 tuổi trên địa bàn Thành phố Huế; phát hiện được các loại khuyết tật sắc giác khác nhau, đặc điểm phân bố từng loại; Lập phả hệ của một số trường hợp bất thường về sắc giác; Xây dựng giải pháp khắc...

 5 p husc 20/05/2015 256 1 Download

Từ khóa: Sinh học, sinh học thực nghiệm, hệ sinh lý người, thị giác, khuyết tật sắc giác, thị lực của học sinh

Nghiên cứu các yếu tố sinh thái môi trường (khí hậu, thổ nhưỡng, thủy văn), điều kiện kinh tế xã hội... và các loại cây xanh đô thị ở thành phố Pleiku tỉnh Gia Lai; Đặc tính thích nghi sinh thái của một số loài cây xanh và các yếu tố chính ảnh hưởng đến sự phát triển của cây xanh đô thị Pleiku tỉnh Gia Lai; Đề xuất phương hướng phát triển...

 11 p husc 15/05/2015 291 4 Download

Từ khóa: Sinh học, sinh thái học, thực vật, cây xanh, cây xanh đô thị, môi trường sinh thái, thành phố Pleiku

Phân tích làm rõ cơ sở lý luận về phương thức sản xuất trong triết học Mác - Lênin; mối quan hệ biện chứng giữa lực lượng sản xuất và quan hệ sản xuất là cơ sở khoa học để thực hiện thắng lợi các đột phá chiến lược phát triển kinh tế - xã hội. Nghiên cứu, làm rõ thực trạng của phương thức sản xuất để định hướng thực hiện...

 9 p husc 14/05/2015 387 1 Download

Từ khóa: Triết học, Triết học Mác-LêNin, Học thuyết Mác-LêNin, Kinh tế, Kinh tế lao động, Phương thức sản xuất, Xã hội, Nguồn nhân lực, Công trình hiện đại, Hạ tầng đô thị