- разрешимое утверждение
- мат. decidable proposition
Большой англо-русский и русско-английский словарь. 2001.
разрешимое утверждение
Смотреть что такое "разрешимое утверждение" в других словарях:
РАЗРЕШИМОЕ МНОЖЕСТВО — множество конструктивных объектов какого либо фиксированного типа, допускающее проверку принадлежности к нему его элементов при помощи алгоритма. Фактически мы можем ограничиться понятием Р. м. натуральных чисел, т. к. более общий случай может… … Математическая энциклопедия
Перечислимое множество — Не следует путать с счётным множеством. В теории множеств, теории алгоритмов и математической логике, перечислимое множество (эффективно перечислимое, рекурсивно перечислимое, полуразрешимое множество[1]) множество конструктивных объектов… … Википедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Сьюзен Келвин — Susan Calvin Бриджит Мойнахан в рол … Википедия
НАЦИОНАЛИЗМ — духовное самосознание народа, имеющее Божественную основу. Каждый народ имеет национальный инстинкт, данный ему от природы (а это значит и от Бога), и дары Духа, изливаемые в него от Творца. И у каждого народа инстинкт и дух живут по своему и… … Русская история
Три закона роботехники — Айзек Азимов, 1965 Три закона роботехники в научной фантастике обязательные правила поведения для роботов, впервые сформулированные Айзеком Азимовым в рассказе «Хоровод» ( … Википедия
Законы Азимова — На обложке сборника «Я, Робот» А. Азимова робот из рассказа «Хоровод», первого, в котором были описаны Три Закона Три закона роботехники в научной фантастике обязательные правила поведения для роботов, впервые сформулированные Айзеком Азимовым… … Википедия
Первый закон роботостроения — На обложке сборника «Я, Робот» А. Азимова робот из рассказа «Хоровод», первого, в котором были описаны Три Закона Три закона роботехники в научной фантастике обязательные правила поведения для роботов, впервые сформулированные Айзеком Азимовым… … Википедия
Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… … Википедия
Конфликт межнациональный — любая форма гражданского, полит. или вооруженного противоборства, в к ром стороны, или одна из сторон, мобилизуются, действуют или страдают по признаку национ. различий. К. м. сопровождается напряженностью в межнацион. отношениях. Эта… … Психология общения. Энциклопедический словарь
