• Giáo trình Trí tuệ nhân tạo Bách Khoa Hà NộiGiáo trình Trí tuệ nhân tạo Bách Khoa Hà Nội

    Chuyển bài toán chứng minh logic vềbài toán SAT Ph há hứ ihbằ hả hứ ‰Phương phápchứng minh bằng phảnchứng ‰Việcchứng minh sựmâu thuẫncủa: (KB ∧¬α) ‰Tươngđươngviệcchứngminhsựbaohàm: KB╞α ‰Tươngđươngviệcchứngminh sựbaohàm: KB╞ α „Luật suy diễnhợpgiải (Resolution rule) NếucácbiểuthứctrongtậpKBvàbiểuthức(cầnchứngminh)α ‰NếucácbiểuthứctrongtậpKBvàb...

    pdf559 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 3606 | Lượt tải: 3

  • Tìm hiệu hệ quản trị nội dung và áp dụng hệ quản trị nội dung để xây dựng website cho Nhà xã hội Hoa MaiTìm hiệu hệ quản trị nội dung và áp dụng hệ quản trị nội dung để xây dựng website cho Nhà xã hội Hoa Mai

    Lời nói đầu Sự ra đời của Intenet đã mang lại nhiều cơ hội lớn để rút ngắn khoảng cách giữa mọi người ở khắp nơi trên toàn thế giới. Tận dụng cơ hội mà Intenet mang lại, nhiều cá nhân và tổ chức đã cho ra đời nhiều trang web để kết nối mọi người lại với nhau, và mang lại nhiều tiện ích hơn cho người sử dụng. Nhưng những website này lại yêu cầu n...

    doc57 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 3183 | Lượt tải: 1

  • Vai trò của chìa khóa trong các giải pháp bảo mật và an toàn thông tinVai trò của chìa khóa trong các giải pháp bảo mật và an toàn thông tin

    MỤC LỤC MỤC LỤC . 1 DANH MỤC HÌNH 4 CÁC KÝ HIỆU VÀ CỤM TỪ VIẾT TẮT . 6 MỞ ĐẦU . 7 Chương 1 – Vai trò chìa khóa trong các giải pháp bảo mật và an toàn thông tin 9 1.1 Vai trò của chìa khóa trong các giải pháp bảo mật và an toàn thông tin 9 1.1.1 Trong hệ mã khóa đối xứng 9 1.1.2 Trong hệ mã khóa công khai 10 1.1.3 Trong sơ đồ xưng danh và ...

    pdf78 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 2677 | Lượt tải: 0

  • Đề tài Xây dựng cơ sở dữ liệu áp dụng cho phần mềm kế toán tại doanh nghiệp sản xuất và chế biến thức ăn chăn nuôi WellhopeĐề tài Xây dựng cơ sở dữ liệu áp dụng cho phần mềm kế toán tại doanh nghiệp sản xuất và chế biến thức ăn chăn nuôi Wellhope

    Mục lục Lời mở đầu Phần 1: Cơ sở lý luận 1.1 Phần mềm kế toán 1.1.1 Phần mềm kế toán là gì? 1.1.2 Vai trò của phần mềm kế toán 1.1.3 Phân loại phần mềm kế toán 1.1.4 Hoạt động của phần mềm kế toán 1.1.5 Những yêu cầu đối với phần mềm kế toán 1.2 Tổng quan về cơ sở dữ liệu 1.2.1 Hệ cơ sở dữ liệu 1.2.2 Mô hình dữ liệu 1.3 Giới thiệu về Công ty Cổ ph...

    doc123 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 2438 | Lượt tải: 0

  • Xây dựng phần mềm luyện thi toeicXây dựng phần mềm luyện thi toeic

    PHẦN I: MỞ ĐẦU1. Lý do chọn đề tàiCùng với sự phát triển không ngừng về kỹ thuật máy tính và mạng điện tử, công nghệ thông tin cũng được những công nghệ có đẳng cấp cao và lần lượt chinh phục hết đỉnh cao này đến đỉnh cao khác. Mạng Internet là một trong những sản phẩm có giá trị hết sức lớn lao và ngày càng trở nên một công cụ không thể thiếu, là ...

    doc69 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 4261 | Lượt tải: 4

  • Quản lý việc mua bán và cho thuê đĩaQuản lý việc mua bán và cho thuê đĩa

    Sau khi khảo sát hiện trạng, phân tích yêu cầu, thiết kế dữ liệu và xây dựng chương trình. Chúng em nhận thấy rằng: sự phát triển công nghệ thông ngày càng mạnh cùng với sự phát triển nâng cao đời sống xã hội nên việc xây dựng chương trình cho phép người quản trị quản lý việc mua bán hàng hoá là việc hết sức cần thiết. Những công việc được thực hiệ...

    doc107 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 3395 | Lượt tải: 4

  • Khóa luận Thuật toán self-Training và co-training ứng dụng trong phân lớp văn bảnKhóa luận Thuật toán self-Training và co-training ứng dụng trong phân lớp văn bản

    MỤC LỤC MỞ ĐẦU .1 Chương 1 TỔNG QUAN VỀ PHÂN LỚP Văn bản VÀ HỌC BÁN GIÁM SÁT. . .3 1.1. Phân lớp văn bản . .3 1.2. Thuật toán phân lớp Văn bản điển hình . .5 1.2.1. Thuật toán Naive Bayes .5 1.3. Tổng quan về học bán giám sát .7 1.3.1. Học giám sát và học không giám sát 9 1.3.2. Phạm vi sử dụng học bán giám sát .11 1.4. Một số phương pháp học bán g...

    pdf54 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 2469 | Lượt tải: 3

  • Đề tài Nguyên tắc hoạt động, cấu hình, cài đặt dịch vụ DHCPĐề tài Nguyên tắc hoạt động, cấu hình, cài đặt dịch vụ DHCP

    LỜI MỞ ĐẦUNgày nay, công nghệ thông tin trở nên phổ biến và đảm bảo tính hiệu quả cho hoạt động sản xuất, kinh doanh của các doanh nghiệp. Đi liền với nó là sự đòi hỏi về khả năng đáp ứng về công nghệ thông tin nói chung và sự thông suốt của hạ tầng mạng nói riêng. Sự phát triển của Internet cũng đồng nghĩa với việc tăng trưởng về quy mô và công ng...

    doc33 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 4765 | Lượt tải: 2

  • Đề tài Tập hợp các website bán lẻ B2C cung cấp tính năng theo dõi đơn hàngĐề tài Tập hợp các website bán lẻ B2C cung cấp tính năng theo dõi đơn hàng

    Quy trình đặt hàng trong thương mại điện tử B2C Các website cho phép khách hàng đặt hàng thường là các cửa hàng điện tử, sàn đấu giá, phố mua sắm (e – wall). Trong thương mại điện tử B2C, doanh nghiệp bán hàng sẽ cung cấp cho bạn một giao diện thu hút, hấp dẫn nhất trên website của họ đồng thời cũng dễ dàng sử dụng nhất để khách hàng của họ thực ...

    docx16 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 2872 | Lượt tải: 3

  • Đề tài Tìm hiểu xây dựng website du lịch travelling_mrtĐề tài Tìm hiểu xây dựng website du lịch travelling_mrt

    Ngày nay, khoa học công nghệ đã có những bước phát triển mạnh mẽ cả về chiều rộng lẫn chiều sâu. Máy tính đã trở thành một công cụ làm việc, giải trí thông dụng của con người không những ở công sở mà thậm chí còn ở ngay trong gia đình. Sự phát triển của công nghệ thông tin là tiền đề cho sự phát triển của các ngành khoa học khác. Đi cùng với sự p...

    doc65 trang | Chia sẻ: lvcdongnoi | Ngày: 01/07/2013 | Lượt xem: 2627 | Lượt tải: 1