Голосарій курсу

Формула $F$ має глибину $k+1$, якщо вона має вигляд  $F=f_i(F_1,..., F_n_i)$, де $f_i\in Q$, $Q=\{f_1,..., f_m\}$  -- множина елементарних функцій, $n_i$ – кількість аргументів $f_i$,  а $F_1,..., F_n_i$  – формули, максимальна з глибин яких дорівнює $k$.