- разрешимое высказывание
- мат. decidable sentence, decidable statement
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
Сами боги — The Gods Themselves Жанр: научная фантастика Автор: Айзек Азимов Язык оригинала: английский Публикация: 1972 год … Википедия