Полное описание
>
Митрошин, Владимир Евгеньевич. Математика языка отношений [первые шаги-2] / В. Е. Митрошин. - Гатчина [и др.] : Изд-во Светланы Ермаковой, 2025. - 219 с. : ил. - Библиогр.: с. 215-217 (49 назв.). - 50 экз. - ISBN 978-5-6054630-0-9. - Текст (визуальный) : непосредственный.| ГРНТИ | УДК | |
| 27.03.19 | 510.6 | |
| 27.03.02 | 510.3 | |
| 27.21 | 515.1 |
Рубрики:
Математическая логика
Множеств теория
Топология
Кл.слова (ненормированные): БИНАРНЫЕ ОТНОШЕНИЯ -- ДОКАЗАТЕЛЬСТВА -- ЛОГИЧЕСКИЕ ЗАКОНЫ -- НЕПРЕРЫВНЫЕ ОТОБРАЖЕНИЯ -- ПРОСТРАНСТВА -- ТЕОРИЯ МЕРЫ -- ТЕОРИЯ РАЗМЕРНОСТИ -- ТЕОРИЯ РАССЕЯНИЯ -- ТОПОЛОГИЯ
Аннотация: В монографии a) сквозь призму истории языка отношений рассмотрена b) философия языка математики именно как языка отношений, и на этой основе c) построена его формальная логика. Эта логика радикально отличается от широко распространенных направлений не только своей простотой, но и результатами. В свою очередь это приводит d) к фундаментальным изменениям в классической теории множеств e) и позволяет сформулировать понятие "математическая структура" как совокупность отношений, верхняя грань которой является отношением эквивалентности и названной "фильтром бинарных отношений". Понятие фильтра вбирает в себя, по существу, все известные математические структуры; даже такие разнородные понятия как "группа" и "топологическое пространство" являются различными частными случаями понятия "фильтр". f) Детально изучены фильтры, которые приводят к широкому обобщению топологических структур. Многие теоремы общей топологии становятся простыми следствиями определений, появляются сильные обобщения и даже новые результаты в классической области общей топологии, которая, казалось бы, изучена "вдоль и поперек".
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-25/39365)>
Шифр в сводном ЭК: 09e02711cf6e6d9e286e0bfc5c549c81
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Рынин Н.А. Значение начертательной геометрии и сравнительная оценка главнейших ее методов : монография / Н. А. Рынин, 1907. - 89 с. - Текст : непосредственный.Горбузов В.Н. Ортогональные криволинейные координаты / В. Н. Горбузов, Ю. Ю. Гнездовский, 1997. - 110 с. - Текст : непосредственный.Федорчук В.В. Курс аналитической геометрии и линейной алгебры / В. В. Федорчук, 2001. - 328 с. - Текст : непосредственный.Ершов Ю.В. Обобщения функции расстояния римановых многообразий и двухточечная краевая задача для гироскопических систем : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени канд. физ.-мат. наук / Ю. В. Ершов, 2007. - 13 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Певзнер С.Л. Проективная геометрия / С. Л. Певзнер, 2001. - 83 с. - Текст : непосредственный.Ильин В.А. Аналитическая геометрия / В. А. Ильин, Э. Г. Позняк, 2002. - 240 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Салимов А.А. Полиаффинорные структуры на дифференцируемом многообразии и его тензорном расслоении : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. А. Салимов, 1996. - 30 с. - Текст : непосредственный.Аналитическая геометрия : выставочные материалы / сост. И. Сомов, 1857. - XIII, 243 с. . - Текст : непосредственный.Коробков М.В. Некоторые теоремы жесткости в анализе и геометрии : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : диссертация на соискание ученой степени д-ра физ.-мат. наук / М. В. Коробков, 2008. - 29 с. - Текст : непосредственный.Росошек С.К. Алгебра и геометрия : учеб. пособие. Ч. 1, 2008. - 194 с. - Текст : непосредственный.Михеев В.С. Геометрия / В. С. Михеев, 1996. - 128 с. - Текст : непосредственный.Беляев П.Л. Аффинорные расслоения : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / П. Л. Беляев, 1993. - 13 с. - Текст : непосредственный.Рыбников И.П. Минимальные лагранжевы подмногообразия в проективных комплексных пространствах в терминах функции Бейкера-Ахиезера / И. П. Рыбников, 2011. - 13 с. - Текст : непосредственный.Шафаревич А.И. Классическая дифференциальная геометрия : учебное пособие / А. И. Шафаревич, 2010. - 124 с. - Текст : непосредственный.Орлик С.И. Алгебра и геометрия / С. И. Орлик, Е. В. Никитина, 2004. - 227 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Бычков Ю.А. Топология для физиков / Ю. А. Бычков, 1993. - 105 c. - Текст : непосредственный.Листинг И.Б. Предварительные исследования по топологии / И. Б. Листинг, 2010. - 116 с. - Текст : непосредственный.Васильев В.А. Введение в топологию / В. А. Васильев, 1997. - 127 с. - Текст : непосредственный.Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный.Александрян Р.А. Общая топология / Р. А. Александрян, Э. А. Мирзаханян, 1979. - 336 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный.Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-lineМножества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Алгебра. Топология / ВИНИТИ. Т. 29, 1991. - 192 с. - Текст : непосредственный.Яковлев Е.И. Вычислительная топология / Е. И. Яковлев, 2005. - 213 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный.
Показать все результатыСеменов П.В. Непрерывные селекции паравыпуклозначных отображений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / П. В. Семенов, 1998. - 24 с. - Текст : непосредственный.Ершов Ю.В. Обобщения функции расстояния римановых многообразий и двухточечная краевая задача для гироскопических систем : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени канд. физ.-мат. наук / Ю. В. Ершов, 2007. - 13 с. - Текст : непосредственный.Мантуров В.О. Геометрия и комбинаторика виртуальных узлов : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. О. Мантуров, 2008. - 32 с. - Текст : непосредственный.Шведов И.А. Проблемы исчисления дифференциальных форм на римановых многообразиях : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Шведов, 2008. - 26 с. - Текст : непосредственный.Онищенко А.Ю. Когомологии пространства свободных петель односвязных 4-многообразий / А. Ю. Онищенко, 2011. - 8 с. - Текст : непосредственный.Бычков Ю.А. Топология для физиков / Ю. А. Бычков, 1993. - 105 c. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Овчинников М.А. Построение специальных спайнов многообразий Вальдхаузена : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Овчинников, 2000. - 20 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Осипов А.В. Пространства непрерывных отображений в множественно-открытых топологиях : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени д-ра физ.-мат. наук / А. В. Осипов, 2012. - 31 с. - Текст : непосредственный.Листинг И.Б. Предварительные исследования по топологии / И. Б. Листинг, 2010. - 116 с. - Текст : непосредственный.Bonner mathematische Schriften. Nr. 393 : Generalized snaith splittings : diss. / J. Wang, 2009. - IV, 85 p. - Текст : непосредственный.Постников М.М. Лекции по алгебраической топологии. Теория гомотопий клеточных пространств / М. М. Постников, 2010. - 335 с. - Текст : непосредственный.Постников М.М. Лекции по алгебраической топологии. Основы теории гомотопий / М. М. Постников, 2010. - 416 с. - Текст : непосредственный.Васильев В.А. Введение в топологию / В. А. Васильев, 1997. - 127 с. - Текст : непосредственный.Александрян Р.А. Общая топология / Р. А. Александрян, Э. А. Мирзаханян, 1979. - 336 c. - Текст : непосредственный.Скорпан А. Удивительный мир четырехмерных многообразий / А. Скорпан, 2016. - 647 с. - Текст : непосредственный.Васильев В.А. Лагранжевы и лежандровы характеристические классы / В. А. Васильев, 2000. - 312 с. - Текст : непосредственный.Матвеев С.В. Алгоритмические и компьютерные методы в трехмерной топологии / С. В. Матвеев, А. Т. Фоменко, 1998. - 303 с. - Текст : непосредственный.Алгебра. Топология / ВИНИТИ. Т. 29, 1991. - 192 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽