There was an error loading the page.

Try to answer the following questions here:

  • What is this exam used for?
  • What does this exam assess?
  • What does the student have to do?
  • How is the exam randomised?
  • Are there any implementation details that editors should be aware of?



Checkpoint description

Describe what's changed since the last checkpoint.

Paul Molloy was given access to the CMPU2012-Predicate Logic 2 years, 11 months ago

Blathnaid Sheridan 5 years, 9 months ago

Created this as a copy of Predicates, Quantifiers and sets.
Name Status Author Last Modified
Predicates, Quantifiers and sets draft Newcastle University Mathematics and Statistics 20/11/2019 14:51
CMPU2012-Predicate Logic draft Blathnaid Sheridan 02/06/2023 10:56
Luis's copy of Predicates, Quantifiers and sets draft Luis Hernandez 30/11/2018 19:24
Blathnaid's copy of Predicates, Quantifiers and sets draft Blathnaid Sheridan 23/08/2019 17:34

There is one other version that you do not have access to.

Question groups

No question groups have been defined.

Add a question to

      There's nothing in your basket at the moment.

      Search for questions you'd like to use, and click on the basket icon. They'll show up here so you can easily add them to this exam.

      • Variable Value Description

      There are no questions in this group.


      No topics have been defined.

      Learning objectives

      No learning objectives have been defined.

      Base diagnostic algorithm
      Custom diagnostic algorithm

      On leaving a question

      Offline analysis

      On timeout

      5 minutes before timeout

      Give any information applying to the whole exam, which the student will see before they begin.

      This will be shown to the student once the exam is finished.

      Review mode

      The following settings only apply in review mode, once the exam is finished.

      Feedback messages