TAILIEUCHUNG - ĐỀ THI KẾT THÚC HỌC PHẦN TRÍ TUỆ NHÂN TẠO - ĐỀ SỐ 4

Tham khảo tài liệu đề thi kết thúc học phần trí tuệ nhân tạo - đề số 4 , công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | bộ giáo dục & đào tạo cộng hòa xã hội chủ nghĩa việt nam trường đại học vinh Độc lập - Tự do - Hạnh phúc ---------- ------------ ---------- ------------ đề thi kết thúc học phần trí tuệ nhân tạo Cho sinh viên khoá 43E - Ngành Công nghệ Thông tin Học kỳ 1, Năm học 2005 - 2006, Thi lần 2 Câu I (: 2 điểm; : 3 điểm) a. Hãy trình bày thuật toán tìm kiếm sâu dần trên cây biểu diễn không gian trạng thái. b. Cho cây sau với đỉnh gốc là a và tập ĐICH = {u, v} Mô tả quá trình duyệt cây (tình trạng danh sách ĐONG, MO ở mỗi bước) theo thuật toán tìm kiếm sâu dần với k = 3 Câu II (II. a: 1 điểm; II. b: 2 điểm) a. Chứng minh rằng biểu thức logic mệnh đề sau là có hiệu lực: (p q) (s r) (p s q r) b. Cho các biêủ thức logic mệnh đề sau: 1. (a b) c 3. d f 5. h b 2. c d 4. a h 6. a Xem các biểu thức này là giả thiết ban đầu và đúng. Hãy dùng phương pháp hợp giải Robinson1 để chứng minh rằng f đúng. Câu III (2 điểm) Viết chương trình Prolog tính tổng sau: S = 12 + 22 + 32 +. . . + N2 Với N nguyên dương nhập vào từ bàn phím Ký duyệt đề Người ra đề Hoàng Hữu Việt Trần Thị Kim Oanh

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.