- рекурсивно-перечислимый
-
рекурсивно-перечислимый
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
рекурсивно-перечислимый
Смотреть что такое "рекурсивно-перечислимый" в других словарях:
Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни … Википедия
НУМЕРОВАННАЯ МОДЕЛЬ — пара , где модель нек рой фиксированной сигнатуры и нумерация основного множества модели Наиболее развитым направлением в изучении Н. м. является конструктивных моделей теория. Другим направлением в теории Н. м. является исследование проблемы… … Математическая энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Рекурсивный язык — В математической логике и информатике рекурсивный язык тип формального языка, также называемый разрешимым или разрешимым по Тьюрингу. Класс всех рекурсивных языков часто обозначается через R, хотя это же обозначение используется для класса RP.… … Википедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
