Self
Assessment Questionnaires
These
questionnaires are to be read during your revision, to check (and perhaps
improve) your understanding.
They have
the form of a question and a number of options but they are NOT really multiple
choice questions, since sometimes more than once answer will be correct,
sometime answers are debatable, and sometime all the options need a response.
This is different from the second class test and the exam will use proper
multiple choice questions: in the test and the exam each question will have
five options, one (and only one) of which is right.
Some of the
questions may go beyond what I have presented in lectures. The exam, however,
will be on what I have presented in lectures.
The
Questionnaires cover a number of topics:
Note in this questionnaire resolution
is used on sentences in Clausal Normal Form. Clausal Normal Form is Head IF
Body, where Head is Disjunction of positive literals and Body is a Conjunction of
positive literals. No negative literals occur. Two clauses have a complementary
literal if a literal occurs in the head of one clause and the body of the
other. The resolvent is the disjunction of the
remaining literals in the heads of both clauses IF the conjunction of the
remaining literals in both clauses. This is simply a syntactic variant on
resolution in CNF, which is closer to Prolog.