ISACA Exam Questions

Which of the following refers to the proving of mathematical theorems by a computer program?

Which of the following refers to the proving of mathematical theorems by a computer program?

A.
Analytical theorem proving

B.
Automated technology proving

C.
Automated theorem processing

D.
Automated theorem proving

E.
None of the choices.

Explanation:

Automated theorem proving (ATP) is the proving of mathematical theorems by a computer

program. Depending on the underlying logic, the problem of deciding the validity of a theorem
varies from trivial to impossible. Commercial use of automated theorem proving is mostly
concentrated in integrated circuit design and verification.