CSCE 476/876, Fall 2018, Glossary 10
Assigned: Monday, Nov 5, 2018.
Due:
Monday, Nov , 2018.
Note: Glossaries are optional but help you improve your grade. Clearly
acknowledge your sources (textbook, slides, etc.) or no credit will be given.
You are not allowed to cut and paste from any source.
- Binding list
- Constant symbol
- Definite clause
- Domain (of a model)
- Extended interpretation
- Factoring
- First-Order Logic
- Function
- Ground term
- Higher-Order Logic
- Intended interpretation
- Interpretation
- Property
- Relation
- Substitution
Berthe Y. Choueiry
choueiry@cse.unl.edu