-
21 рекурсивно перечислимый подкласс
Русско-английский научно-технический словарь Масловского > рекурсивно перечислимый подкласс
-
22 рекурсивно перечислимый предикат
Русско-английский научно-технический словарь Масловского > рекурсивно перечислимый предикат
-
23 рекурсивно перечислимый цилиндр
Русско-английский научно-технический словарь Масловского > рекурсивно перечислимый цилиндр
-
24 вполне рекурсивно перечислимый класс
Mathematics: completely recursively enumerable classУниверсальный русско-английский словарь > вполне рекурсивно перечислимый класс
-
25 вполне рекурсивно перечислимый
Русско-английский научно-технический словарь Масловского > вполне рекурсивно перечислимый
-
26 перечислимый
прил. denumerable, countable, enumerable -
27 перечислимый
adj. denumerable, countable; рекурсивно перечислимый, счётно перечислимый, recursively enumerableРусско-английский словарь математических терминов > перечислимый
-
28 перечислимый
adj. denumerable, countable;
рекурсивно перечислимый, счётно перечислимый - recursively enumerable -
29 перечислимый
Русско-английский словарь по информационным технологиям > перечислимый
-
30 перечислимый
Бизнес, юриспруденция. Русско-английский словарь > перечислимый
-
31 перечислимый
adj.denumerable, countableрекурсивно перечислимый, счётно перечислимый — recursively enumerable
-
32 перечислимый
-
33 перечислимый
Авиация и космонавтика. Русско-английский словарь > перечислимый
-
34 рекурсивно
-
35 счетно перечислимый
Русско-английский военно-политический словарь > счетно перечислимый
-
36 счетно перечислимый
Русско-английский словарь по информационным технологиям > счетно перечислимый
-
37 частичноный рекурсивный
Русско-английский новый политехнический словарь > частичноный рекурсивный
-
38 рекурсивный
1. recursively2. recursiveРусско-английский словарь по информационным технологиям > рекурсивный
- 1
- 2
См. также в других словарях:
рекурсивно-перечислимый — рекурсивно перечислимый … Орфографический словарь-справочник
Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни … Википедия
НУМЕРОВАННАЯ МОДЕЛЬ — пара , где модель нек рой фиксированной сигнатуры и нумерация основного множества модели Наиболее развитым направлением в изучении Н. м. является конструктивных моделей теория. Другим направлением в теории Н. м. является исследование проблемы… … Математическая энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Рекурсивный язык — В математической логике и информатике рекурсивный язык тип формального языка, также называемый разрешимым или разрешимым по Тьюрингу. Класс всех рекурсивных языков часто обозначается через R, хотя это же обозначение используется для класса RP.… … Википедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки