7.4.6 Quiz: Lambda expressions (optional)

Question:

Which of the following is not a usage of conceptual-graph lambda expressions?

Choose an answer:
Defining new concept types
Defining new functions
Defining new relation types

Hints at: 7.4.1 Introduction.

Question:

What is the valence of a lambda expression?

Choose an answer:
The number of arcs attached to the concept whose referent has been replaced with
The number of concepts in the lambda expression whose referents have been replaced with lambdas.

Hints at: 7.4.4 Formal parameters.

Question:

What is a formal parameter to a lambda expression?

Choose an answer:
A concept with a type and a referent which is substituted into another concept whose referent is a .
A concept with a type and a referent, where the referent is a .

Hints at: 7.4.4 Formal parameters.

Question:

What is a signature of a lambda expression?

Choose an answer:
An unordered list of types of actual parameters.
An ordered list of types of actual parameters.
An unordered list of types of formal parameter.
An ordered list of types of formal parameters.

Hints at: 7.4.5 Signature.


Prev: 7.4.5 Signature
Up: 7.4 Lambda expressions (optional)
Next: 8 Ontology in conceptual graphs