(game theory) Formally, a structure (P, mathbf S, mathbf F) where P = {1,2, ...,m} is a set of players, mathbf S=(S_1,S_2,…,S_m) is an m-tuple of pure strategy sets, one for each player, and mathbf F=(F_1,F_2,…,F_m) is an m-tuple of payoff functions.

(game theory) Informally, a representation of a game as a tree of decision nodes, with the game beginning at a unique initial node, and flowing through the tree along a path determined by the players until a terminal node is reached, where play ends and payoffs are assigned to all players; each non-terminal node belongs to a player; that player chooses among the possible moves at that node, each possible move is an edge leading from that node to another node.

plural of Backus-Naur form

(idiomatic) Not in any way at all; not at all, nohow.

(logic) The form of a boolean formula that the formula has if the formula is a disjunction of conjunctions of literals, such as “(A and B and C) or (D and E and not F)”.

(logic) The form of a boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as “(A or B or C) and (D or E or not F)”.

Alternative spelling of mid-season form

(sports) Peak form, optimal form, excellent form.

(UK) An educational establishment consisting solely of a sixth form.

(logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.