Phương pháp nào sau đây thường được sử dụng để chứng minh tính đúng của thuật toán một cách chắc chắn?

2/15

Kiểm thử bằng cách chạy nhiều lần

Dùng dữ liệu kiểm thử ngẫu nhiên

Chứng minh bằng lôgic toán học

Kiểm tra độ phức tạp tính toán

Giải thích

Đáp án: C

Giải thích: Để chứng minh tính đúng của một thuật toán, lôgic toán học là phương pháp tin cậy và chuẩn xác nhất, vì nó đảm bảo tính đúng cho mọi trường hợp.