zunia.vn

Tuyển sinh 2024 dành cho Gen-Z

zunia.vn

» Công Nghệ Thông Tin

» Kỹ thuật lập trình

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

Chia sẻ: Lê Trang | Ngày: | Loại File: DOC | Số trang:2

Báo xấu

243
lượt xem 34
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

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ả

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

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

BỘ GIÁO DỤC & ĐÀO TẠO CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc TRƯỜNG ĐẠI HỌC VINH ---------- ------------ ---------- ------------ ĐỀ 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 (I.a: 2 điểm; I.b: 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

CÓ THỂ BẠN MUỐN DOWNLOAD

THÔNG TIN

TRỢ GIÚP

HỖ TRỢ KHÁCH HÀNG

Theo dõi chúng tôi

Chịu trách nhiệm nội dung:

Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA

LIÊN HỆ

Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM

Hotline: 093 303 0098

Email: support@tailieu.vn

Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015 Copyright © 2022-2032 TaiLieu.VN. All rights reserved.