Разрешения проблема

Разрешающая способность (разрешающая сила) оптических приборов, характеризует способность этих приборов давать раздельные изображения двух близких друг к другу точек объекта. Наименьшее линейное или угловое расстояние между двумя точками, начиная с которого их изображения сливаются, называется линейным или угловым пределом разрешения. Обратная ему величина обычно служит количественной мерой Р. С. Вследствие дифракции света. ..

Разрешающая способность фотографирующей системы, характеризует её способность раздельно воспроизводить мелкие детали объекта. Определяется наибольшим значением частоты штрихов регулярной одномерной решётки ≈ миры, при котором в фотоизображении эти штрихи ещё могут быть различены (не сливаются). Р. С. Измеряют с помощью резольвометров и выражают обычно в мм≈1, т. Е. Числом штрихов на 1 мм. Для различных современных фотоматериалов Р. С. Чаще всего заключена в пределах 70≈300 мм ≈1 , а для специаль..

спектральные линии в спектрах атомов и молекул, отвечающие Отбора правилам для дипольных электрических переходов (см. Также Излучение).. ..

в логике, множество, расположенное в некоторой совокупности конструктивных объектов (См. Конструктивные объекты) (т. Е. Множество, составленное из каких-то объектов этой совокупности), для которого существует Алгоритм, разрешающий это множество (относительно объемлющей совокупности) в следующем смысле. Алгоритм применим к любому объекту объемлющей совокупности и даёт в качестве результата ответ на вопрос, принадлежит ли этот объект к рассматриваемому множеству или нет.. ..

алгоритмическая проблема, в к-рой для заданного множества Атребуется построить алгоритм, разрешающий Аотносительно другого множества В, включающего , т. Е. Такой алгоритм , к-рый применим ко всякому элементу из В, причем , если , и , если . Важным классом алгоритмич. Проблем являются Р. П. Для формальных теорий, то есть Р. П. Множества всех доказуемых в теории формул (множество А).относительно множества всех формул теории (множество В). Термин "Р. П." следует отличать от термина "проблема ..

РАЗРЕШЕНИЯ ПРОБЛЕМА. ..

Или. Разрешимости пробле­ма, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфор­мулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой (алгоритмом), называется процедурой разрешения или разрешающей процедурой, а теория, для которой такая процедура существует, — разрешимой теорией. Р. П. Решается в классической логике высказываний с помощью таблиц истинности. Разреша..