Блок-схе́ма, система $B$ подмножеств конечного множества $V$, удовлетворяющая некоторым условиям, связанным с частотой появления пар элементов множества $V$ в системе $B$.

Формально блок-схема задаётся парой множеств $(V, B)$, где$$V = \{a_1, …, a_v\}, \ B = \{B_1, …, B_b\}, \ B_1, …, B_b⊆V.$$Элементы множества $V$ называются элементами блок-схемы, а элементы множества $B$ – её блоками. Параметрами блок-схемы называются числа $v$, $b$, $r_i$, $k_j$, $λ_{ik}$, $i, k = 1, …, v$, $j = 1, …, b$, где $k_j$ – число элементов множества $V$, содержащихся в $B_j, r_i$ – число блоков, содержащих элемент $a_i$, а $λ_{ik}$ – число блоков, содержащих пару элементов $(a_i, a_k)$.

Наиболее изучены т. н. уравновешенные неполные блок-схемы, для которых $$r_i = r,\,\, k_j = r,\,\, λ_{ik} = λ, \,\, i, k=1, …, \,\, v, \ j = 1, …, b.$$Параметры уравновешенной неполной блок-схемы связаны соотношениями $$vr = kb, \ λ(v-1) = r(k-1).$$Уравновешенная неполная блок-схема, для которой $b = v$, называется симметричной блок-схемой или $(v, k, λ)$-конфигурацией. Подклассами уравновешенных неполных блок-схем являются системы Штейнера ($λ = 1$), в частности системы троек Штейнера ($k = 3$), а также адамаровы конфигурации ($v = b = 4t - 1$, $r = k = 2t - 1$, $λ = t - 1$, $t{⩾} 2$). Блок-схемы находят применение в планировании эксперимента, теории игр, теории графов и в теории кодирования.