Required Incoming Skills, Abilities, and Knowledge

Knowledge is judged by capabilities at several levels.

Recall: define, repeat, record, list, name, retrieve
Comprehension: restate, discuss, describe, recognize, explain, identify, locate, report, review, tell, translate, interpret, extrapolate
Application: use, demonstrate, sketch, schedule, practice, illustrate, operate
Analysis: distinguish, differentiate, calculate, experiment, test, compare, constrast, criticize, diagram, inspect, debate, solve
Synthesis: construct, organize, compose, plan, manage, design, formulate, arrange, assemble, prepare, set up, create
Evaluation: measure, score, estimate, choose, assess, judge, appraise, evaluate, rate

Required Knowledge of Predicate Calculus

The knowledge required of predicate calculus at various levels are:

Comprehension

When given a formula in predicate calculus and its interpretation, you should be able to explain its meaning in English.
When given a precise but informal description, you should be able to represent the description symbolically and give its interpretation.

Application

When given a block diagram or functional description of an implementation, you should be able to represent the implementation using predicate calculus.
When given a implementation scheme that uses component iteration, you should be able to represent the implementation recursively.
When given a theorem that asserts the correctness of an implementation relative to its specification, you should be able to describe and give examples illustrating precisely how the implementation is related to its specification

Analysis

When given a set of assumptions and a goal to prove, you should be able to prove, using the rules of inference to calculate if the goal is true or not.

Synthesis

When given a set of assumptions and a (true) goal to prove within an underlying theory, you should be able devise a proof strategy to prove the goal based on the form of the goal, the sorts, definitions, and theorems of the underlying theory.
When given a description of an implementation and its specification, you should be able to construct a theory that describes both, and postulate one or more correctness theorems that relate the implementation to its specification.

Evaluation

When given a theory, inference rules, and a proof, you should be able to judge if the proof is correct.
When given a specification and implementation, you should be able to judge whether the implementation satisfies its specification.