| Q# | TOPIC
| 1 | 2 | 3 | 4 | 5
|
| 1 | predicate calculus or math logic
| 2 | 3 | 8 | 5 | 0
|
| 2 | formal languages, Turing machines
| 0 | 5 | 10 | 3 | 0
|
| 3 | Java experience
| 0 | 4 | 7 | 6 | 1
|
| 4 | C++ experience
| 0 | 3 | 5 | 8 | 2
|
| 5 | other OO PLs
| 2 | 7 | 7 | 2 | 0
|
| 6 | Design patterns
| 1 | 9 | 6 | 2 | 0
|
| 7 | ML experience
| 13 | 2 | 3 | 0 | 0
|
| 8 | other functional PLs
| 6 | 10 | 2 | 0 | 0
|
| 9 | XP
| 11 | 6 | 1 | 0 | 0
|
| 10 | JUnit
| 9 | 6 | 1 | 2 | 0
|
| 11 | ADTs in programming
| 1 | 7 | 4 | 5 | 1
|
| 12 | axioms for ADT semantics
| 9 | 6 | 3 | 0 | 0
|
| 13 | pre/post conditions, loop invariants
| 2 | 4 | 5 | 6 | 1
|
| 14 | lambda calculus
| 5 | 9 | 3 | 1 | 0
|
| 15 | denotational semantics
| 13 | 4 | 1 | 0 | 0
|
| 16 | temporal logic
| 12 | 4 | 2 | 0 | 0
|
| 17 | type expressions and theory
| 7 | 8 | 3 | 0 | 0
|
| 18 | aspect-oriented programming
| 13 | 5 | 0 | 0 | 0
|
