________ Is the Study of How Computer Programs Can Improve

question 35

Short Answer

________ is the study of how computer programs can improve their performance without explicit programming.

---

Definitions:

UI

Universal Instantiation, a logical rule of inference stating if something is true for everything in a category, it is true for any specific instance of that category.

Quantifier-Negation Rule

A principle in formal logic that deals with the relationship between quantifiers and the negation of statements.

Quantifier

A symbol or word in logic that specifies the quantity of specimens in the domain of discourse that satisfy an open formula.

Negation

The contradiction or denial of something, or the operation of inverting the truth value in logic.