- аппроксимируемость
- f. approximability
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
ФИНИТНО АППРОКСИМИРУЕМАЯ ГРУППА — группа, аппроксимируемая конечными группами. Пусть G группа, отношение (иначе говоря, предикат) между элементами и множествами элементов, определенное на Gи всех ее гомоморфных образах (напр., бинарное отношение равенства элементов, бинарное… … Математическая энциклопедия
ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… … Математическая энциклопедия
ПОЛУГРУППА С УСЛОВИЕМ КОНЕЧНОСТИ — полугруппа, обладающая нек рым свойством q таким, что всякая конечная полугруппа обладает этим свойством (такое свойство q наз. условием конечности). В определении свойства q могут фигурировать элементы полугруппы, ее подполугруппы и т. п.… … Математическая энциклопедия
Рунге, Карл — Карл Рунге Карл Давид Тольме Рунге (Carl David Tolmé Runge) (30 августа 1856(18560830), Бремен 3 января 1927, Гёттинген) немецкий математик, физик и спектроскопист. Первые годы своей жизни провёл в Гаване, где его отец Юлиус Р … Википедия
Карл Рунге — Карл Давид Тольме Рунге (Carl David Tolmé Runge) (* 30 августа 1856 , Бремен, † 3 января 1927, Геттинген) – немецкий математик и физик. После окончания университета в Берлине, где математику преподавал Вейерштрасс, Рунге был профессором… … Википедия
Рунге Карл — Карл Рунге Карл Давид Тольме Рунге (Carl David Tolmé Runge) (* 30 августа 1856 , Бремен, † 3 января 1927, Геттинген) – немецкий математик и физик. После окончания университета в Берлине, где математику преподавал Вейерштрасс, Рунге был… … Википедия
модальная логика — МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… … Энциклопедия эпистемологии и философии науки