Т2-распределение

нумерация,- совокупность приемов представления натуральных чисел. В любой системе счисления (с. С.) нек-рые символы (слова или знаки) служат для обозначения определенных чисел, наз. Узловыми, остальные числа (алгоритмические) получаются в результате каких-либо операций из узловых чисел. С. С. Различаются выбором узловых чисел и способами образования алгоритмических, а с появлением письменных обозначений числовых символов с. С. Стали различаться характером числовых знаков и принципами их записи...

сюръективное отображение множества Ав множество В - отображение f такое, что f(A)=B. Вместо лf сюръективно. ..

Tt- сводимост ь,- специальный вид алгоритмической сводимости. Пусть Аи В - два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение. если существует алгоритм f, к-рый по всякому натуральному числу астроит булеву функцию (функция задается, напр., своей таблицей, число аргументов функции может зависеть от а) и числа b1, . ., b п такие, что принадлежность а к B эквивалентна истинности Отношение является предпорядком на множестве всех подмножеств натурального ряда..

- формула языка исчисления высказываний, принимающая истинностное значение листина. ..