1d: Proof Checking
Academic Year 2022-2023
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.
|