- табличная сводимость
- мат. truth-table reducedness
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ТАБЛИЧНАЯ СВОДИМОСТЬ — tt сводимост ь, специальный вид алгоритмической сводимости. Пусть Аи В два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение: если существует алгоритм f, к рый по всякому натуральному числу астроит булеву функцию… … Математическая энциклопедия
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия