Câu ví dụ
- thêm câu ví dụ: 1 2
- C. only the checkable deposits of commercial banks.
C. Thanh toán séc của các ngân hàng thương mại - Many rules are designed specifically to be automatically checkable by static analysis tools.
Nhiều quy tắc được thiết kế đặc biệt để có thể tự động kiểm tra bằng các công cụ phân tích tĩnh. - Commercial banks are required to hold reserves equal to a share of their checkable deposit.
Ngân hàng thương mại được yêu cầu phải giữ khoản dự trữ bằng một phần tiền gửi huy động được bằng séc. - Standard checkable deposit accounts are used for managing daily expenses and offer immediate access to cash.
Tài khoản tiền gửi không kỳ hạn tiêu chuẩn được sử dụng để quản lý chi phí hàng ngày và cung cấp quyền sử dụng ngay lập tức như tiền mặt. - In 1975, Vaughan Pratt showed that there existed a certificate for primality that was checkable in polynomial time, and thus that PRIMES was in NP, and therefore in NP ∩ coNP.
Năm 1975, Vaughan Pratt nhận thấy rằng tồn tại các thuật toán kiểm tra tính nguyên tố trong thời gian đa thức, và như vậy PRIMES là NP, và do đó thuộc về NP ∩ coNP.