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

Bài giảng "Tin học đại cương - Bài 1: Cấu trúc một chương trình C++" giới thiệu tới người học các ví dụ minh họa một chương trình C++, cấu trúc chương trình C++. Đây là một tài liệu hữu ích dành cho các bạn sinh viên ngành Công nghệ thông tin và những ai quan tâm dùng làm tài liệu học tập nghiên cứu.

 10 p husc 24/02/2017 252 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc một chương trình C++, Chương trình C++, Cấu trúc chương trình C++

Chương 3 trình bày về lập trình hợp ngữ cho 8086. Trong chương này giới thiệu về khung của chương trình hợp ngữ, trình bày cách tạo và chạy một chương trình hợp ngữ trên máy IBM PC, trình bày các cấu trúc lập trình cơ bản thực hiện bằng hợp ngữ và một số chương trình cụ thể.

 35 p husc 20/01/2017 291 1 Download

Từ khóa: Kỹ thuật vi xử lý, Bài giảng Kỹ thuật vi xử lý, Lập trình hợp ngữ cho 8086, Chương trình hợp ngữ, Khung của một chương trình hợp ngữ, Cấu trúc lập trình

Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. 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 30/12/2016 248 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.

Trong lĩnh vực chính trị, truyền thông đại chúng có vai trò rất to lớn: cung cấp thông tin, định hướng tư tưởng chính trị; xác lập chương trình nghị sự, là diễn đàn giao tiếp chính trị;... Bài viết này đề cập đến vai trò của truyền thông đại chúng trong hoạt động của cơ quan lập pháp các nước phương Tây, đặc biệt là đối với hoạt động...

 11 p husc 22/12/2016 286 1 Download

Từ khóa: Truyền thông đại chúng, Cơ quan lập pháp, Nguồn cung cấp thông, Xác lập chương trình nghị sự, Diễn đàn giao tiếp chính trị, Định hướng dư luận

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 442 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 thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. 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

 12 p husc 26/09/2016 239 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.

Trình bày hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác định. 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

 13 p husc 26/09/2016 246 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.

Trình bày quá trình xây dựng một ứng dụng giám sát việc học tập tại phòng thực hành, chương trình thực hiện một số chức năng cơ bản như: Hiển thị các máy trạm, trao đổi thông tin với các máy trạm, giám sát và quản lý các máy trạm. 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 21/09/2016 250 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tác tử di động, Tính di động, Phân tán thông tin, Hệ thống mạng, Tác tử JaDe, Khám phá thác tử, Chạy chường trình.

Bài giảng Công nghệ protein – enzyme - Chương 2: Các phương pháp thu nhận protein, trình bày về nhiệt độ, nồng độ proton, tác nhân hóa học, phá vỡ tế bào, tách enzyme. Đây là tài liệu học tập và tham khảo bổ ích dành cho sinh viên ngành Công nghệ sinh học.

 44 p husc 18/08/2016 223 2 Download

Từ khóa: Công nghệ protein Chương 2, Công nghệ protein, Phương pháp thu nhận protein, Thu nhận protein, Quy trình tách enzyme, Phá vỡ tế bào

Nghiên cứu công nghiệ tính toán lưới, bộ công cụ khai thác dữ liệu trên lưới Alchemi và xây dựng ứng dụng tính toán lưới tra cứu điểm thi đại học dựa trên nền tảng Alchemi. Với tính năng Alchemi sẽ giải quyết được trình trạng quá tải và gây tắc nghẽn đường truyền của hệ thống tra cứu điểm thi mỗi khi có đồng thời một số lượng lớn...

 6 p husc 20/06/2016 288 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mô hình tính toán, CPU song song, Tài nguyên của lưới, Tài nguyên lưu trữ, Hệ thống lưới, Kiến trúc lưới, Demo chương trình, Tra cứu điểm thi

Trình bày các khái niệm cơ sở của chương trình logic, cách tiếp cận ngữ nghĩa của chương trình logic. Trình bày chương trình logic phỏng đoán (Giới thiệu về lập trình logic phỏng đoán, tính toán phỏng đoán trong lập trình logic, cú pháp và ngữ nghĩa của chương trình logic phỏng đoán). Phương pháp tính toán phỏng đoán và cài đặt thực thi một số chương...

 5 p husc 20/06/2016 201 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Chương trình logic, Logic xác định, Logic thông thường, Tính toán phỏng đoán, Hệ thống Smodels, Phỏng đoán EK, Phỏng đoán KM

Tìm hiểu cú pháp và ngữ nghĩa của chương trình Datalog mờ, định giá truy vấn chương trình Datalog mờ. Từ chương trình Datalog mờ mở rộng thành chương trình Datalog đa trị, đi tìm cú pháp và ngữ nghĩa của chương trình Datalog đa trị. 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/06/2016 283 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog mờ, Datalog đa trị, Giá trị trực cảm, Giá trị khoảng, Tri thức đa trị, Thuật toán kết nối, Tri thức nền, Thuật toán hợp nhất