1d: Proof Checking
Academic Year 2021-2022
A proof is an argument justifying the correctness of a statement,
typically a mathematical statement. In several areas of computer
science, the ability to reason properly and develop proofs play a
large role. Hence, we test the ability of students to develop
simple proofs.
Assessment is performed as follows.
|