ĐỀ 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

Bấm vào đây để xem trước nội dung
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã 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.