- формально разрешимый
- мат. formally decidable
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
НЕТЕРОВ ОПЕРАТОР — линейный оператор, одновременно n нормальный и d нормальный (см. Нормально разрешимый оператор). Иначе говоря, Н. о. А это нормально разрешимый оператор с конечной d характеристикой . Индекс Н. о. Атакже является конечным числом. Простейший… … Математическая энциклопедия
Христианство — всемирная религия, первая в настоящее время по числу последователей (около 494 милл.) и по культурно историч. значению своему и принявших ее народов, признающая себя откровением Единого в Троице Истинного Бога, Творца и Промыслителя вселенной,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Голод в России (1891—1892) — Голод в России 1891 1892 годов экономический и эпидемический кризис, охвативший осенью 1891 летом 1892 годов основную часть Черноземья и Среднего Поволжья (17 губерний с населением 36 млн человек[⇨]). Непосредственной причиной… … Википедия