Hãy cho biết quy tắc (Luật) nào là cơ sở của mô hình suy diễn sau:

\(\frac{\begin{array}{l} A \to B\\ B \to C \end{array}}{{\therefore A \to C}}\)

Cho đồ thị như hình vẽ. Kết quả khi duyệt đồ thị theo thuật toán BFS(K) là:

Để chứng minh tích của 3 số tự nhiên liên tiếp luôn chia hết cho 6, người ta chứng minh như sau:

- Đặt P(n) = n(n+1)(n+2). P(n) chia hết cho 6 với n>0.

- Ta có, với n = 1; P(1) = 1.2.3 = 6, chia hết cho 6

- Giả sử P(n) đúng , ta đi chứng minh (n+1) (n+2)(n+3) chia hết cho 6.

- Ta có, (n+1) (n+2)(n+3) = n(n+1)(n+2) + 3(n+1)(n+2).

- Ta đã có n(n+1)(n+2) chia hết cho 6. Mặt khác (n+1)(n+2) luôn chia hết cho 2 (kết quả này đã được chứng minh). Do vậy, 3(n+1)(n+2) chia hết cho 6. Như vậy ta được điều phải chứng minh.

Đoạn trên sử dụng phương pháp nào?

Cho A là một tập hữu hạn khác rỗng. Quan hệ R⊆ AxA. Phát biểu nào sau đây là ĐÚNG:

Cho biết số phần tử của \(A \cap (B \cup C)\) nếu mỗi tập có 100 phần tử và nếu có 50 phần tử chung của mỗi cặp 2 tập và có 10 phần tử chung của cả 3 tập.

 Cho tập A = {a,b,5}. Hỏi tập nào là tập lũy thừa của tập A?

Quy tắc (luật )suy luận nào là cơ sở của suy diễn sau: Là phi công thì phải biết lái máy bay. An là phi công nên An biết lái máy bay

Số màu trong đồ thị hình bánh xe W_n (với n lẻ) là:

Chu trình Hamilton là:

Có bao nhiêu xâu nhị phân độ dài bằng 10 bắt đầu bởi 11 và kết thúc bởi 00.

Có bao nhiêu số nguyên dương gồm đúng 3 chữ số và chia hết cho 7?

Thuật toán đệ qui dưới đây tính:

Function Test (n:integer):longint;

Begin

If n = 0 then Test:=1

Else Test:= n * Test(n-1); 

End

Giả sử P và Q là 2 mệnh đề. Tuyển của 2 mệnh đề (P v Q) là một mệnh đề… ?

Cho A ={11, 12, 13, 14, 15}. Quan hệ R được xác định: \(\forall a,b \in A,aRb \Leftrightarrow a + b = 2k(k = 1,2,...)\). Quan hệ R được biểu diễn là:

Cho X={1,2,3,4,5,6,7,8,9}, A={1,2,3,8}. Tìm xâu bit biểu diễn tập \(\overline A \)

Xác định chân trị của biểu thức ( X→Y ) \(\vee \) ( Y → Z ) và (X →Z) khi X = Y=Z=0? 

Xác định quan hệ tương đương được biểu diễn bởi các ma trận logic dưới đây:

Quan hệ tương đương là một quan hệ 2 ngôi và có các tính chất:

Cho tập S và một phân hoạch của S gồm 3 tập A₁, A₂, A₃. Câu nào dưới đây là sai: 

Kết quả thuật toán đệ quy:

Function Test(st:string):string;

Begin

If length(st) <=1 then Test:=st

Else Test:= st[length(st)] + Test(Copy(st,1,length(st)-1));

End;

Cho đồ thị G = (V,E) vô hướng. Bậc của các đỉnh 1, 2, 3, 4, 5 tương ứng là: