- топологическая формула
- мат. topological formula
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Топологическая семантика — является естественной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Исторически топологическая семантика появилась раньше более распространенной на данной момент семантики Крипке. Основы топологической … Википедия
Орбитально-топологическая эквивалентность — В теории обыкновенных дифференциальных уравнений, два векторных поля (или соответствующих автономных уравнения) называются орбитально топологически эквивалентными, если существует гомеоморфизм фазового пространства одной системы на фазовое… … Википедия
Фойснер, Фридрих Вильгельм — Фридрих Вильгельм Фойснер Дата рождения: 25 февраля 1843(1843 02 … Википедия
Фойснер — Фойснер, Фридрих Вильгельм Фойснер, Фридрих Вильгельм (1843 1928) немецкий ученый и естествоиспытатель. В своих работах «Ueber Stromverzweigung in netzformigen Leitern» и «Zur Berechnung der Stromstarke in netzformigen Leitern»,… … Википедия
БАНАХОВА АЛГЕБРА — топологическая алгебра А над полем комплексных чисел, топология к рой определяется нормой, превращающей Ав банахово пространство, причем умножение элементов непрерывно по каждому из сомножителей. Б. а. наз. коммутативной, если Для всех (см.… … Математическая энциклопедия
Комбинаторика — (Комбинаторный анализ) раздел математики, изучающий дискретные объекты, множества (сочетания, перестановки, размещения и перечисления элементов) и отношения на них (например, частичного порядка). Комбинаторика связана со многими другими… … Википедия
Энтропия динамической системы — В теории динамических систем, энтропия динамической системы число, выражающее степень хаотичности её траекторий. Различают метрическую энтропию, описывающую хаотичность динамики в системе с инвариантной мерой для случайного выбора… … Википедия
ИНДЕКСА ФОРМУЛЫ — соотношения между аналитич. и топологич. инвариантами операторов нек рого класса. Именно, И. ф. устанавливают связь между аналитич. индексом линейного оператора (L0, L1 топологич. векторные пространства), определяемым формулой и измеряющим таким… … Математическая энциклопедия
Топология — (от греч. tоpos место и …логия (См. ...Логия) часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… … Большая советская энциклопедия
ПРЕДСТАВЛЕНИЕ ТОПОЛОГИЧЕСКОЙ ГРУППЫ — непрерывное отображение группы G в топологич. группу гомеоморфизмов нек рого топологич. пространства. Чаще всего под П. т. г. Gпонимается линейное представление, более того такое линейное представление л топологич. группы G в топологич. векторном … Математическая энциклопедия
Модальная логика — Модальная (от лат. – способ, мера) логика логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в… … Википедия