Introduction to Computation and Programming Using Python, second edition: With Application to Understanding Data

3.2 For Loops

Each term, e.g., 3x2, consists of a constant (the coefficient of the term, 3 in this case) multiplied by the variable (x in this case) raised to a nonnegative integer exponent (2 in this case). The exponent on a variable in a term is called the degree of that term.

None is a type with a single value.

Many types of objects can be denoted by literals in the text of a program.

9.3.5 Polynomial Complexity

4.2 Specifications

Declarative knowledge is composed of statements of fact. For example, “the square root of x is a number y such that y*y = x.” This is a statement of fact. Unfortunately, it doesn’t tell us anything about how to find a square root. Imperative knowledge is “how to” knowledge, or recipes for deducing information.

When we want a program to do the same thing many times, we can use iteration. A generic iteration (also called looping) mechanism

The static semantics defines which syntactically valid strings have a meaning.