- разрешимая система
- мат. decidable system, solvable system
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… … Математическая энциклопедия
ЛИ ПОЛУПРОСТАЯ АЛГЕБРА — алгебра Ли, не имеющая ненулевых разрешимых идеалов (см. Ли разрешимая алгебра). В дальнейшем рассматриваются конечномерные Ли п. а. над полем kхарактеристики 0 (о Лн п. а. над полем ненулевой характеристики см. Ли алгебра). Полупростота… … Математическая энциклопедия
ТЕМПЕРАЦИЯ — (лат. systema participatum, нем. Temperatur, франц. tempérament), так называется выравнивание неизбежных в практической музыке уклонений от акустической чистоты интервалов. Каждый консонирующий аккорд (мажорный или минорный) состоит из главного… … Музыкальный словарь Римана
Микроскоп — оптический прибор, основанный на преломлении (диоптрический М.) световых лучей и служащий для получения сильно увеличенных действительных или мнимых изображений небольших, не различаемых невооруженным глазом предметов; изображения эти, полученные … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Микроскоп* — оптический прибор, основанный на преломлении (диоптрический М.) световых лучей и служащий для получения сильно увеличенных действительных или мнимых изображений небольших, не различаемых невооруженным глазом предметов; изображения эти, полученные … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ГРУППА — множество, на к ром определена операция, наз. умножением и удовлетворяющая спец. условиям (групповым аксиомам): в Г. существует единичный элемент; для каждого элемента Г. существует обратный; операция умножения ассоциативна. Понятие Г. возникло… … Физическая энциклопедия
ГРУППА — один из основных типов алгебраических систем. Теория Г. изучает в самой общей форме свойства алгебраич. операций, наиболее часто встречающихся в математике и ее приложениях (примеры таких операций умножение чисел, сложение векторов,… … Математическая энциклопедия
СВОБОДНАЯ ГРУППА — группа F с системой Xпорождающих элементов такая, что любое отображение множества Xв любую группу G продолжается до гомоморфизма Fв G. Такая система Xназ. с и с т е м о й с в о б о д н ы х п о р о ж д а ю щ и х; ее мощность наз. р а н г о м с в о … Математическая энциклопедия
Паскаль Блэз — (Pascal) один из величайших мыслителей Франции (1623 62), род. в Клермон Ферране; с ранних лет обнаруживал большую пытливость и замечательную способность к математическим наукам (см. ниже). Усиленные занятия сильно расстроили слабое от природа… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
РЕГУЛЯРНЫЙ TOP — алгебраический тор в связной алгебраич. группе G, содержащийся лишь в конечном число борелевских подгрупп. Максимальные торы в G всегда регулярны. В общем случае тор SМ G является регулярным тогда и только тогда, когда его централизатор С G(S)… … Математическая энциклопедия
Тьюринг, Алан — Алан Тьюринг Alan Mathison Turing … Википедия