- теорема нормализации
- мат. normalization theorem
Большой англо-русский и русско-английский словарь. 2001.
теорема нормализации
Смотреть что такое "теорема нормализации" в других словарях:
НЁТЕР ТЕОРЕМА — 1) Первая теорема Нётер теорема, устанавливающая связь между янфинитезимальными симметриями функционала вида тде независимые переменные, функции, определенные в нек рой области их частные производные, L нек рая функция (функция Лагранжа), и… … Математическая энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
НОРМАЛЬНОЕ АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — аналитическое пространство, локальные кольца всех точек к рого нормальны, т. е. являются цело вамкнутыми областями целостности. Точка ханалитич. пространства Xназ. нормальной (говорят также, что Xнормально в точке х), если локальное кольцо… … Математическая энциклопедия
СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. и. находит широкое применение в доказательств теории, основаниях математики, при автоматич. поиске вывода. С. и. было предложено Г. Генценом в 1934 (см. [1]). Ниже… … Математическая энциклопедия
АЛГЕБРАИЧЕСКАЯ КРИВАЯ — алгебраическое многообразие размерности 1. А. к. является наиболее изученным объектом алгебраической геометрии. В дальнейшем под А. к. понимается, как правило, неприводимая А. к. над алгебраически замкнутым полем. Наиболее простым и интуитивно… … Математическая энциклопедия
СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… … Математическая энциклопедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
ТЕЗИС — (греч. thesis положение, утверждение) 1) в логике Т. называется утверждение, подлежащее доказательству; 2) в теории аргументации Т. положение, которое доказывающая сторона находит нужным внушить аудитории, сделать составной частью ее убеждений;… … Философская энциклопедия
Нётер, Эмми — Эмми Нётер Amalie Emmy Noether Дата рождения … Википедия
Нетер — Эмми Нётер Амалия Эмми Нётер (нем. Amalie Emmy Noether ; 23 марта 1882, Эрланген, Германия 14 апреля 1935, Брин Мор, Пенсильвания, США) выдающийся немецкий математик, «самая крупная женщина математик, когда либо существовавшая»[1]. Отметим, что… … Википедия
Нетер, Эмма — Эмми Нётер Амалия Эмми Нётер (нем. Amalie Emmy Noether ; 23 марта 1882, Эрланген, Германия 14 апреля 1935, Брин Мор, Пенсильвания, США) выдающийся немецкий математик, «самая крупная женщина математик, когда либо существовавшая»[1]. Отметим, что… … Википедия
