разрешимое утверждение

мат. decidable proposition

Большой англо-русский и русско-английский словарь. 2001.

Смотреть что такое "разрешимое утверждение" в других словарях:

  • РАЗРЕШИМОЕ МНОЖЕСТВО — множество конструктивных объектов какого либо фиксированного типа, допускающее проверку принадлежности к нему его элементов при помощи алгоритма. Фактически мы можем ограничиться понятием Р. м. натуральных чисел, т. к. более общий случай может… …   Математическая энциклопедия

  • Перечислимое множество — Не следует путать с счётным множеством. В теории множеств, теории алгоритмов и математической логике, перечислимое множество (эффективно перечислимое, рекурсивно перечислимое, полуразрешимое множество[1])  множество конструктивных объектов… …   Википедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • Сьюзен Келвин — Susan Calvin Бриджит Мойнахан в рол …   Википедия

  • НАЦИОНАЛИЗМ — духовное самосознание народа, имеющее Божественную основу. Каждый народ имеет национальный инстинкт, данный ему от природы (а это значит и от Бога), и дары Духа, изливаемые в него от Творца. И у каждого народа инстинкт и дух живут по своему и… …   Русская история

  • Три закона роботехники — Айзек Азимов, 1965 Три закона роботехники в научной фантастике  обязательные правила поведения для роботов, впервые сформулированные Айзеком Азимовым в рассказе «Хоровод» ( …   Википедия

  • Законы Азимова — На обложке сборника «Я, Робот» А. Азимова  робот из рассказа «Хоровод», первого, в котором были описаны Три Закона Три закона роботехники в научной фантастике  обязательные правила поведения для роботов, впервые сформулированные Айзеком Азимовым… …   Википедия

  • Первый закон роботостроения — На обложке сборника «Я, Робот» А. Азимова  робот из рассказа «Хоровод», первого, в котором были описаны Три Закона Три закона роботехники в научной фантастике  обязательные правила поведения для роботов, впервые сформулированные Айзеком Азимовым… …   Википедия

  • Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… …   Википедия

  • Конфликт межнациональный — любая форма гражданского, полит. или вооруженного противоборства, в к ром стороны, или одна из сторон, мобилизуются, действуют или страдают по признаку национ. различий. К. м. сопровождается напряженностью в межнацион. отношениях. Эта… …   Психология общения. Энциклопедический словарь

Книги

Другие книги по запросу «разрешимое утверждение» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.