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