TRƯỜNG ĐHBK TP HCM KHOA KH&KT MÁY TÍNH BÀI KIỂM TRA GIỮA KỲ Môn CTRR cho KHMT (CO1007) Lớp MT15 Nhóm L01,02,03 Thời gian làm bài 60 phút (Không được sử dụng tài liệu) Ngày kiểm tra 11/12/2015 Họ & tên[.]
TRƯỜNG ĐHBK TP HCM KHOA KH&KT MÁY TÍNH BÀI KIỂM TRA GIỮA KỲ Mơn: CTRR cho KHMT (CO1007) Nhóm: L01,02,03 Lớp: MT15 Thời gian làm bài: 60 phút (Không sử dụng tài liệu) Ngày kiểm tra: 11/12/2015 Họ & tên SV: MSSV: Điểm số: GV chấm bài: Điểm chữ: Chữ ký GV: (Bài thi có 20 câu hỏi trắc nghiệm, câu có điểm số 0.5 Tơ đậm phương án trả lời đúng: ; gạch chéo muốn bỏ để chọn lại phương án khác: @ ) Câu Mệnh đề phản đảo “Đội nhà thắng trời mưa”? A Nếu đội nhà không thắng, trời khơng có mưa B Nếu trời mưa, đội nhà chiến thắng C Nếu đội nhà chiến thắng, trời mưa D Nếu trời khơng mưa, đội nhà khơng chiến thắng Câu Mệnh đề p ↔ q tương với: đương A (p → q) ∨ (q → p) B p ⊕ q C p ⊕ q D (p ∧ q) −→ q Câu với quan hệ thứ tự 4” tương đương với? Phát biểu “x phần tử tối đại tập hợp A A ∀y ∈ A((x = y) ∨ (x y)) B ∀y ∈ A((x = y) ∨ (y x)) C ∀y ∈ A((x = y) ∨ (x y)) D ∃y ∈ A((x = y) ∨ (x y)) Câu Trong câu hỏi giả sử vị từ sau: W (x, y) : x tác giả y L(x, y) : x dài y N (x) : x tiểu thuyết h : Hardy a : Austen Với đặc tả trên, công thức logic vị từ sau diễn tả câu “Hardy viết tiểu thuyết dài tiểu thuyết mà Austen viết”? A ∀x(W (h, x) → L(x, a))) B ∀x∃y(L(x, y) → W (h, y) ∧ W (a, x)) C ∀x∀y(W (h, x) ∧ W (a, y) → L(x, y))) D ∃x(N (x) ∧ W (h, x) ∧ ∀y(N (y) ∧ W (a, y) → L(x, y))) Câu Giả sử D(x, y) vị từ với ý nghĩa “số nguyên x chia hết cho số nguyên y.” Phát biểu tương đương diễn đạt ý nghĩa công thức ∀x, y(D(x, y) −→ ∃z(D(x, z) ∧ D(y, z)))? A Nếu B Mọi C Nếu D Nếu x y khơng có ước chung y không chia hết x cặp số tự nhiên (x, y) có ước chung y chia hết x z chia hết y z chia hết x y khơng chia hết x chúng khơng có ước chung Chữ ký SV: Mã đề 151 Trang Câu Công thức logic vị từ sau không đúng? I ∀x(P (x) ∧ Q(x)) −→ ∀xP (x) ∧ ∀xQ(x) II ∃x(P (x) ∧ Q(x)) −→ ∃xP (x) ∧ ∃xQ(x) III ∀x(P (x) → Q(x)) −→ (∀xP (x) → ∀xQ(x)) IV ∃x(P (x) → Q(x)) −→ (∃xP (x) → ∃xQ(x)) A Công thức I C Công thức III B Công thức II D Công thức IV Câu Cho hai ánh xạ f : A −→ B g : B −→ C xét h = g ◦ f Khẳng định sau đúng? A Nếu h song ánh f tồn ánh B Nếu h song ánh g đơn ánh C Giả sử A B hai tập hữu hạn có số phần tử Khi f đơn ánh song ánh D Nếu A ( B f khơng thể song ánh Câu Cho X, Y hai tập khác rỗng f : X −→ Y ánh xạ với miền xác định X miền giá trị Y Nhắc lại f (A) ảnh tập A ⊆ X qua f ; với C ⊆ Y , tập f −1 (C) = {x ∈ X|f (x) ∈ C} gọi tạo ảnh (nghịch ảnh) C qua f Cho y ∈ Y phần tử tùy ý Y ; A, B ⊆ X hai tập tùy ý X, C, D ⊆ Y hai tập tùy Y Khi khẳng định sau đúng? A f −1 (C ∩ D) = f −1 (C) ∩ f −1 (D) C f (A\B) = f (A)\f (B) B f (A ∩ B) = f (A) ∩ f (B) D f −1 ({y}) ∈ X Câu Có chuỗi bit có độ dài cho chúng bắt đầu số bit cịn lại có bit 1? A 128 B 256 C 255 D 127 Câu 10 Phương trình x1 + x2 + x3 = 12 có nghiệm nguyên dương x1 , x2 , x3 ? A 11 B 12 C 13 D 14 Câu 11 có theo Có chuỗi bit độ dài sau cho bit ln có bit tiếp 1? A 110 B 55 C 128 D 256 Câu 12 Một hàm Boole vector m thành phần, n biến ánh xạ từ tập {0, 1}n vào {0, 1}m , với m, n nguyên dương {0, 1}k tích Descartes k lần {0, 1} với Khi số hàm Boole vector từ {0, 1}2 vào {0, 1}2 A 256 B 64 C 16 D 32 Câu 13 Có bao nhiều cách đánh dấu đồ vật a1 , a2 , a3 , a4 , a5 , a6 cách dùng màu, cho màu phải dùng lần? A 120 B 18 C 20 D 540 Câu 14 Ta cần phải tính tổng số hạng cấp số cộng 56 , 32 , 12 , · · · để thu − 121 ? A 31 B 32 C 33 D 34 Câu 15 Số tất quan hệ có tính chất phản xạ có tập có phần tử A B Chữ ký SV: C 15 Mã đề 151 D Trang Câu 16 Khẳng định sau A Mọi quan hệ R tập A phải thỏa mãn tính chất phản xạ, đối xứng, phản xứng, bắc cầu B Nếu quan hệ R tập A thỏa R2 có tính chất phản xạ chưa thân R có tính chất phản xạ C Khơng có quan hệ R tập A thỏa mãn tính chất phản xạ, đối xứng, phản xứng, bắc cầu D Nếu hai quan hệ R1 R2 tập A có tính chất bắc cầu hợp thành R1 ∪R2 chúng phải có tính chất bắc cầu Câu 17 Giả sử R quan hệ tập số nguyên cho xRy x = y + Tập bao đóng bắc cầu R? A R∗ = {(x, y)|x ≥ y} C R∗ = {(x, y)|x > y} B R∗ = {(x, y)|x ≤ y} D R∗ = {(x, y)|x, y ∈ Z} Câu 18 Cho A, B, C, D bốn tập hợp tùy ý vũ trụ S Khẳng định sau sai? A (A ∪ B)\(A ∩ B) = (A\B) ∪ (B\A) C (A\B) = A ∩ B B A ⊇ B ⇐⇒ A ⊆ B D (A ∩ C) ∪ (B ∩ D) = (A ∪ B) ∩ (C ∪ D) Câu 19 Một dãy số {t(n)}n cho công thức truy hồi (đệ quy): t(n) + t(n − 1) − t(n − 2) = (t ≥ 3), biết thêm t(1) = 1, t(2) = Công thức tường minh dãy cho bởi: B t(n) = · 2n + · (−3)n 15 D t(n) = −3 · 2n + · (−3)n A t(n) = · 2n + · (−3)n 15 C t(n) = · (−2)n + · 3n Câu 20 Cho hai hàm xác định sau f :R −→ Z x 7−→ dx + 1e g :N −→ N × N x 7−→ (x, x) Khi A f khơng tồn ánh g đơn ánh B f đơn ánh g toàn ánh C f toàn ánh g đơn ánh D f không đơn ánh g không đơn ánh Chữ ký SV: Mã đề 151 Trang TRƯỜNG ĐHBK TP HCM KHOA KH&KT MÁY TÍNH ĐÁP ÁN ĐỀ KIỂM TRA GIỮA KỲ Mơn: CTRR cho KHMT (CO1007) Nhóm: L01,02,03 Lớp: MT15 Thời gian làm bài: 60 phút (Không sử dụng tài liệu) Ngày kiểm tra: 11/12/2015 Mã đề: 151 Câu A D Câu B Câu 11 B Câu 16 Câu B Câu C Câu 12 A Câu 17 C Câu C Câu A Câu 13 D Câu 18 D Câu D Câu D Câu 14 C Câu 19 A Câu A Câu 10 A Câu 15 D Câu 20 C Chữ ký SV: Mã đề 151 Trang