Содержание
58 отношения: Springer Science+Business Media, Transactions of the American Mathematical Society, Квазимногообразие, Кольцо (математика), Кон, Пол Мориц, Континуум (теория множеств), Конгруэнция, Кембридж, Кембриджский университет, Прямое произведение, Плоткин, Борис Исаакович, Полная решётка, Поле (алгебра), Общая алгебра, Обратный элемент, Ассоциативная операция, Арность, Абстрактный тип данных, Алгебра (универсальная алгебра), Алгебра над кольцом, Алгебраическая система, Алгебраическая геометрия, Наука (издательство), Нормальная подгруппа, Робинсон, Абрахам, Решётка (алгебра), Сюръекция, Сёда, Кэндзиро, Система управления базами данных, Сигнатура (математическая логика), Тарский, Альфред, Теория групп, Теория моделей, Уайтхед, Альфред Норт, Унарная операция, Факторсистема, Факторгруппа, Факторкольцо, Хорновский дизъюнкт, Хенкин, Леон, Мультиоператорная группа, Математическая логика, Математический сборник, Марчевский, Эдвард, Мальцев, Анатолий Иванович, Мир (издательство), Многосортная алгебра, Международный конгресс математиков, Идеал, Идеал (алгебра), ... Развернуть индекс (8 больше) »
Springer Science+Business Media
Springer Science+Business Media (до 1999 г. — Springer-Verlag) — международная издательская компания, специализирующаяся на издании академических журналов и книг по естественно-научным направлениям (теоретическая наука, медицина, экономика, инженерное дело, архитектура, строительство и транспорт).
Посмотреть Универсальная алгебра и Springer Science+Business Media
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society — ежемесячный математический журнал, публикуемый Американским математическим обществом.
Посмотреть Универсальная алгебра и Transactions of the American Mathematical Society
Квазимногообразие
Квазимногообра́зие (от quas(i) «наподобие», «нечто вроде») в универсальной алгебре — класс алгебраических систем фиксированной сигнатуры, аксиоматизируемый набором квазитождеств (хорновскими дизъюнктами).
Посмотреть Универсальная алгебра и Квазимногообразие
Кольцо (математика)
Кольцо́ (также ассоциативное кольцо) в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами.
Посмотреть Универсальная алгебра и Кольцо (математика)
Кон, Пол Мориц
Кон, Пол Мо́риц (Paul Moritz Cohn; 8 января 1924, Гамбург — 20 апреля 2006, Лондон) — английский алгебраист, специалист по теории колец (особенно некоммутативных) и универсальной алгебре, ввёл понятия и универсальной локализации некоммутативного кольца.
Посмотреть Универсальная алгебра и Кон, Пол Мориц
Континуум (теория множеств)
Конти́нуум в теории множеств — мощность (или кардинальное число) множества всех вещественных чисел.
Посмотреть Универсальная алгебра и Континуум (теория множеств)
Конгруэнция
Конгруэнция — отношение эквивалентности на алгебраической системе, сохраняющееся при основных операциях.
Посмотреть Универсальная алгебра и Конгруэнция
Кембридж
Ке́мбридж (Cambridge,, дословно «мост через реку Кам») — город в Великобритании, находящийся на востоке Англии, административный центр графства, выделенный в отдельный район со статусом «сити» в южной части неметропольного графства Кембриджшир, один из старейших университетских центров Европы.
Посмотреть Универсальная алгебра и Кембридж
Кембриджский университет
Ке́мбриджский университет (University of Cambridge, Universitas Cantabrigiensis) — университет Великобритании, один из старейших (второй после Оксфордского) и крупнейших в стране.
Посмотреть Универсальная алгебра и Кембриджский университет
Прямое произведение
Прямое или декартово произведение двух множеств — это множество, элементами которого являются все возможные упорядоченные пары элементов исходных множеств.
Посмотреть Универсальная алгебра и Прямое произведение
Плоткин, Борис Исаакович
Борис Исаакович Плоткин (род. 21 октября 1925, Бобруйск) — советский и израильский -алгебраист.
Посмотреть Универсальная алгебра и Плоткин, Борис Исаакович
Полная решётка
Полная решётка — частично упорядоченное множество, в котором всякое непустое подмножество A имеет точную верхнюю и нижнюю грань, называемые обычно объединением и пересечением элементов подмножества A и обозначаемые \vee_ a_ и \land_ a_ (или просто \vee A и \land A) соответственно.
Посмотреть Универсальная алгебра и Полная решётка
Поле (алгебра)
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, вычитания, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций.
Посмотреть Универсальная алгебра и Поле (алгебра)
Общая алгебра
Общая алгебра (также абстрактная алгебра, высшая алгебра) — раздел математики, изучающий алгебраические системы (также иногда называемые алгебраическими структурами), такие как группы, кольца, поля, модули, решётки, а также отображения между такими структурами.
Посмотреть Универсальная алгебра и Общая алгебра
Обратный элемент
Обра́тный элеме́нт — одно из понятий общей алгебры.
Посмотреть Универсальная алгебра и Обратный элемент
Ассоциативная операция
Ассоциати́вная опера́ция — это бинарная операция \circ, обладающая ассоциативностью (associatio — соединение), или сочетательностью: Для ассоциативной операции результат вычисления x_1\circ x_2\circ\ldots\circ x_n не зависит от порядка вычисления (расстановки скобок), и потому позволяется опускать скобки в записи.
Посмотреть Универсальная алгебра и Ассоциативная операция
Арность
А́рность предиката, операции или функции в математике — количество их аргументов, или операндов.
Посмотреть Универсальная алгебра и Арность
Абстрактный тип данных
Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
Посмотреть Универсальная алгебра и Абстрактный тип данных
Алгебра (универсальная алгебра)
Алгебра (универсальная алгебра) — множество A, называемое носителем алгебры, снабжённое набором n-арных алгебраических операций на A, называемым сигнатурой, или структурой алгебры.
Посмотреть Универсальная алгебра и Алгебра (универсальная алгебра)
Алгебра над кольцом
Алгебра над кольцом — алгебраическая система, которая является одновременно модулем над этим кольцом и кольцом сама по себе, причём эти две структуры взаимосвязаны.
Посмотреть Универсальная алгебра и Алгебра над кольцом
Алгебраическая система
Алгебраическая система в универсальной алгебре — множество G (носитель) с заданным на нём набором операций и отношений (сигнатурой).
Посмотреть Универсальная алгебра и Алгебраическая система
Алгебраическая геометрия
Эудженио Тольятти. Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию.
Посмотреть Универсальная алгебра и Алгебраическая геометрия
Наука (издательство)
Профсоюзная, д.nbsp90 — здание издательства «Наука» Издательство «Нау́ка» (полное наименование — Академический научно-издательский, производственно-полиграфический и книгораспространительский центр Российской академии наук «Издательство „Наука“», сокращённое наименование — ФГУП «Издательство „Наука“») — советское и российское академическое издательство книг и журналов.
Посмотреть Универсальная алгебра и Наука (издательство)
Нормальная подгруппа
Норма́льная подгру́ппа (также инвариа́нтная подгру́ппа или нормальный делитель) — подгруппа особого типа, левый и правый смежные классы по которой совпадают.
Посмотреть Универсальная алгебра и Нормальная подгруппа
Робинсон, Абрахам
Абрахам Робинсон (Abraham Robinson, 6 октября 1918 — 11 апреля 1974) — американский, создатель «нестандартного анализа».
Посмотреть Универсальная алгебра и Робинсон, Абрахам
Решётка (алгебра)
Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани.
Посмотреть Универсальная алгебра и Решётка (алгебра)
Сюръекция
Сюръективная функция. Сюръе́кция (от sur «на, над» + jactio «бросаю»), сюръективное отображение — отображение множества X на множество Y (f\colon X\to Y), при котором каждый элемент множества Y является образом хотя бы одного элемента множества X, то есть \forall y\in Y\exists x\in X:y.
Посмотреть Универсальная алгебра и Сюръекция
Сёда, Кэндзиро
— японский -алгебраист.
Посмотреть Универсальная алгебра и Сёда, Кэндзиро
Система управления базами данных
Систе́ма управле́ния ба́зами да́нных (СУБД) — совокупность программных и лингвистических средств общего или специального назначения, обеспечивающих управление созданием и использованием баз данных.
Посмотреть Универсальная алгебра и Система управления базами данных
Сигнатура (математическая логика)
Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы, определяющих её формальный язык.
Посмотреть Универсальная алгебра и Сигнатура (математическая логика)
Тарский, Альфред
Альфред Тарский (Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности.
Посмотреть Универсальная алгебра и Тарский, Альфред
Теория групп
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства.
Посмотреть Универсальная алгебра и Теория групп
Теория моделей
Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями.
Посмотреть Универсальная алгебра и Теория моделей
Уайтхед, Альфред Норт
Альфред Норт Уайтхед (Alfred North Whitehead;,, Кент, Великобритания —,, Массачусетс, США) — британский математик, логик, философ, который вместе с Бертраном Расселом написал фундаментальный труд «Principia Mathematica» (1910—13), составивший основу логицизма и теории типов.
Посмотреть Универсальная алгебра и Уайтхед, Альфред Норт
Унарная операция
Уна́рной опера́цией или одноме́стной опера́цией на множестве M называется отображение множества в себя M \to M, которое каждому элементу множества M, называемому операндом, ставит в соответствие некоторый элемент того же множества, называемый результатом.
Посмотреть Универсальная алгебра и Унарная операция
Факторсистема
Факторсистема в универсальной алгебре — объект, получаемый разбиением алгебраической системы на классы смежности отношением эквивалентности, стабильным по отношению к её основным операциям, и, соответственно, являющийся также алгебраической системой.
Посмотреть Универсальная алгебра и Факторсистема
Факторгруппа
Факторгруппа — множество смежных классов группы по её нормальной подгруппе, само являющееся группой с определённой специальным образом групповой операцией.
Посмотреть Универсальная алгебра и Факторгруппа
Факторкольцо
Факторкольцо́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы.
Посмотреть Универсальная алгебра и Факторкольцо
Хорновский дизъюнкт
Хорновский дизъюнкт — дизъюнктивный одночлен с не более чем одним положительным литералом.
Посмотреть Универсальная алгебра и Хорновский дизъюнкт
Хенкин, Леон
Леон Альберт Хенкин (также в источниках встречается вариант фамилии Генкин; Leon Albert Henkin, 19 апреля 1921 — 1 ноября 2006) — американский математик, один из ведущих специалистов XX века в области математической логики.
Посмотреть Универсальная алгебра и Хенкин, Леон
Мультиоператорная группа
Мультиоператорная группа — произвольная алгебра, снабжённая групповой структурой, обобщающая понятия группы, кольца, тела, (которая, в свою очередь, обобщает модули над кольцами, в частности, векторные пространства).
Посмотреть Универсальная алгебра и Мультиоператорная группа
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Посмотреть Универсальная алгебра и Математическая логика
Математический сборник
Математический сборник — научный журнал, публикующий оригинальные математические исследования; старейший из издающихся в России математических журналов.
Посмотреть Универсальная алгебра и Математический сборник
Марчевский, Эдвард
Эдвард Марчевский (Edward Marczewski, до 1940 года известен как Эдвард Шпильрайн, Edward Szpilrajn; 15 ноября 1907, Варшава — 17 октября 1976, Вроцлав) — польский, представитель, автор трудов по общей топологии, теории меры, дескриптивной теории множеств, универсальной алгебре.
Посмотреть Универсальная алгебра и Марчевский, Эдвард
Мальцев, Анатолий Иванович
Анато́лий Ива́нович Ма́льцев ( —) — советский, основоположник сибирской школы алгебры и логики.
Посмотреть Универсальная алгебра и Мальцев, Анатолий Иванович
Мир (издательство)
Издательство «Мир» — советское и российское издательство, одно из крупнейших государственных издательств в СССР, специализирующееся на переводной научно-технической и научно-популярной литературе, зарубежной фантастике.
Посмотреть Универсальная алгебра и Мир (издательство)
Многосортная алгебра
Многосортная алгебра — алгебраическая система с несколькими носителями.
Посмотреть Универсальная алгебра и Многосортная алгебра
Международный конгресс математиков
Афиша Первого Международного конгресса математиков Международный конгресс математиков (International Congress of Mathematicians, ICM), называемый также Международный математический конгресс — самый влиятельный и массовый съезд ведущих математиков мира.
Посмотреть Универсальная алгебра и Международный конгресс математиков
Идеал
Идеа́л (idealis от ἰδέα — образ, идея) — высшая ценность, наилучшее, завершенное состояние того или иного явления — образец личных качеств, способностей; высшая норма нравственной личности (личностный идеал); высшая степень нравственного представления о благом и должном (аксиологический идеал); совершенство в отношениях между людьми (этический идеал); наиболее совершенное устройство общества (социальный идеал).
Посмотреть Универсальная алгебра и Идеал
Идеал (алгебра)
Идеал — одно из основных понятий общей алгебры.
Посмотреть Универсальная алгебра и Идеал (алгебра)
Издательство Кембриджского университета
Издательство Кембриджского университета (Cambridge University Press, аббр. CUP) — издательство Кембриджского университета в Англии.
Посмотреть Универсальная алгебра и Издательство Кембриджского университета
Биркгоф, Гаррет
Гаррет Би́ркгоф (Биркхоф, Garrett Birkhoff; 19 января 1911, Принстон, Нью-Джерси, США — 22 ноября 1996, Вотермил, Нью-Йорк, США) — американский, основатель универсальной алгебры, известный также работами в области гидродинамики.
Посмотреть Универсальная алгебра и Биркгоф, Гаррет
Бинарная операция
Бина́рная опера́ция (от bi — два) — математическая операция, принимающая два аргумента и возвращающая один результат (то есть с арностью два).
Посмотреть Универсальная алгебра и Бинарная операция
Вторая мировая война
Втора́я мирова́я война́ (1 сентября 1939 — 2 сентября 1945) — война двух мировых военно-политических коалиций, ставшая крупнейшим вооружённым конфликтом в истории человечества.
Посмотреть Универсальная алгебра и Вторая мировая война
Группа (математика)
Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный.
Посмотреть Универсальная алгебра и Группа (математика)
Дистрибутивная решётка
Дистрибутивная решётка — решётка, в которой справедливо тождество равносильное тождествам и Дистрибутивные решётки характеризуются тем, что все их выпуклые подрешётки служат смежными классами конгруэнций.
Посмотреть Универсальная алгебра и Дистрибутивная решётка
1940-е годы
1940-е годы — десятилетие, включающее года с 1940 по 1949.
Посмотреть Универсальная алгебра и 1940-е годы
1941 год
Сталинец № 1 (528) от 1 января 1941 года.
Посмотреть Универсальная алгебра и 1941 год
Также известен как Многообразие (универсальная алгебра), Многообразие алгебраических систем.