Cho tập A = {1, 2, 3, 4, 5, 6}. Cho A₁ = {1}, A₂ = {2}, A₃ = {3, 4}, A₄ = {5, 6}. Quan hệ tương đương R trên A sinh ra phân hoạch A₁, A₂, A₃, A₄ là:

Biểu thức hằng đúng là?

Để chứng minh một quy tắc suy luận đúng ta thường sử dụng các phương pháp:

Quan hệ thứ tự là một quan hệ 2 ngôi và có các tính chất:

Trong một phiên tòa có 3 bị can, lời khai của 3 bị can đều đúng sự thật và lời khai cụ thể như sau:

- Anh An: Chị Bình có tội và anh Công vô tội

- Chị Bình: Nếu anh An có tội thì anh Công có tội

- Anh Công: Tôi vô tội nhưng một trong 2 người kia có tội.

Áp dụng logic mệnh đề cho biết ai là người có tội trong phiên tòa này:

Cho n, r là các số nguyên không âm sao cho \(r \le n\). Khi đó:

Cho B = { 1, 0, 1, 0, 1, 0, 1, 1, 1, 0}, n=10. Kết quả nào đúng trong số những kết quả dưới đây sau khi thực hiện thuật toán:

Type Mang= array[1..10] of Integer;

Function Test(B:mang; n:integer): mang;

Var i:integer;

Begin

i:=n-1;

While (i>=0) and (B[i]=1) do

Begin B[i]:=0; i:=i-1; End;

B[i]:= 1;

End;

Cho S và i biến kiểu nguyên. Khi chạy đoạn chương trình:

S:= 0;

i:= 1;

while i<= 6 do

begin

S:= S + i;

i:= i + 2;

end;

Giá trị sau cùng của S là:

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

Function Test (a,b: integer): integer;

Begin

If a = 0 then Test:=b

Else Test:= Test(b mod a, a);

End; 

Có bao nhiêu số nguyên không lớn hơn 1000 chia hết cho 7 hoặc 11?

Một đơn vị lúc bắt đầu thành lập có 14 người. Cần chọn ra một người làm trưởng phòng, một người làm phó phòng, một người làm kế toán trưởng. Hỏi có bao nhiêu cách chọn mà không ai làm kiêm nhiệm?