• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Теория внутренних множеств: аксиоматический подход к нестандартному анализу
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
July 20, 2026
Scientists Create Open Dataset for Studying Concentration
A team of Russian researchers, including scientists from HSE University–St Petersburg, has developed the first open multimodal dataset containing recordings of brain activity, heart function, and video observations to help researchers understand what happens in the human brain during deep concentration. In the future, the dataset could accelerate the development of neural interfaces, rehabilitation technologies, and AI systems. The article has been published in Scientific Data.
July 20, 2026
‘Science Is Universal-It Knows No Borders
Fuad Aleskerov, Tenured Professor and Director of the International Centre of Decision Choice and Analysis at HSE University, together with his colleagues, has developed methods of network analysis in bibliometrics that have made it possible to identify patterns in the appearance and citation of publications in academic journals, as well as their influence on each other. When one or a number of studies are frequently cited by a wide range of journals, this is an indicator that the research is of high quality. By contrast, extensive cross-citation within a limited group of journals increases the likelihood of identifying a network of predatory publications.
July 20, 2026
Scientists Propose Method for More Efficient Resource Use in Machine Learning
An international group of researchers, including mathematicians from the AI and Digital Science Institute at the HSE Faculty of Computer Science, has provided a theoretical justification for a simple and computationally efficient method of estimating uncertainty in Stochastic Gradient Descent (SGD). The paper has been published on the scientific preprint server arXiv.org and presented at AISTATS 2026.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Теория внутренних множеств: аксиоматический подход к нестандартному анализу

M. : MCCME, 2024.
Speranski S. O.
Language: Russian
Text on another site
Keywords: теория множествнестандартный анализ
Теория внутренних множеств: аксиоматический подход к нестандартному анализу
Similar publications
Алгоритм поиска оптимального расположения сенсоров для решения задачи мониторинга пространства
Кочкаров А. А., Yatskin D., Программные продукты и системы 2016 № 3 С. 60–66
This paper is devoted to the task of space monitoring, algorithm and software package for solving it. From this problem the authors go on to the problem of detection, and then – to the problem of geometrical sensors location. It is proposed to use a decentralized robotic network to solve this problem. Limitations and assumptions ...
Added: March 7, 2025
Особенности решения задачи геометрического мониторинга
Кочкаров А. А., Yatskin D., Рахманов О. А., Известия ЮФУ. Технические науки 2016 № 2 С. 158–168
The problem of limited space monitoring is formulated. The connection between the monitoring space and the detection of objects in this space sets up. After introducing some assumptions we conclude the necessity of solving the covering set (connected space) problem. The presence of obstacles in the monitoring area is the characteristic feature of the problem. ...
Added: March 7, 2025
Задача мониторинга и покрытия связных пространств
Кочкаров А. А., Yatskin D., В кн.: Труды III Всероссийской научно-технической конференции «РТИ Системы ВКО-2015».: М.: Издательство МГТУ им. Н.Э. Баумана, 2015. С. 694–702.
Формулируется постановка задачи мониторинга ограниченного пространства. После введения некоторых допущений и перехода на математический язык делается вывод о необходимости решения задачу покрытия множества. Задача покрытия дискретизуется, исследуются свойства и признаки разного рода покрытий. Предложен и обоснован алгоритм построения наименьшего покрытия, рассчитывается его сложность. ...
Added: March 7, 2025
Символ и познание: "Абсолютная бесконечность" у Георга Кантора и Павла Флоренского
Levina T., Философия. Журнал Высшей школы экономики 2018 Т. II № 4 С. 32–50
Pavel Florensky have been influenced by Cantor’s ideas and wrote a paper “On the symbols of infinity”. In this paper he says that transfinite mathematics of Georg Cantor is an example of symbolic vision of God, but not direct. He restates Cantor’s idea from the Grundlagen einer allgemeinen Mannigfaltigkeitslehre: “The absolute can only be acknowledged ...
Added: November 1, 2018
"Парадокс" Банаха-Тарского
Lvovsky S., Губа В. С., М.: МЦНМО, 2016.
В 1924 году выдающиеся польские математики Стефан Банах и Альфред Тарский доказали, что шар в пространстве можно разрезать на конечное число частей, из которых можно сложить шар другого объема. В брошюре мы расскажем, почему эта теорема, производящая впечатление нелепости, не противоречит возможности измерять объемы тел, и познакомим читателя с красивой математикой, стоящей за этим уже ...
Added: October 30, 2018
Парадоксы теории множеств
Yaschenko I., МЦНМО, 2014.
При развитии теории множеств, на которой базируется вся современная математика, возникали парадоксы. Например, парадокс брадобрея, формулируемый следующим образом:     Бреет ли себя брадобрей, если он бреет тех и только тех, кто сам себя не бреет ?   В брошюре рассказывается о том, как теория множеств обходится с подобными ситуациями, а также о других парадоксах, в том числе возникающих при ...
Added: March 2, 2017
The Univalence Axiom in posetal model categories.
Gavrilovich M., Hasson A., Kaplan I., Journal of Logic and Computation 2015 Vol. 25 No. 3 P. 669–682
In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category Qt in which the mapping Hom(w)(Z B;C) : Qt --> Sets is functorial in Z and represented in Qt satis es our homotopy version of the Univalence Axiom, albeit in a rather ...
Added: October 20, 2015
Exercises de style: A homotopy theory for set theory
Gavrilovich M., Hasson A., Israel Journal of Mathematics 2015 Vol. 209
We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of niteness, countability and in nite equi-cardinality. We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic existing methods, and so is ...
Added: October 20, 2015
Лекции по математической логике и теории алгоритмов
Vereshchagin N., Шень А., Beijing: International Press, 2013.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). ...
Added: January 31, 2014
Лекции по математической логике и теории алгоритмов
Vereshchagin N., Shen A., Beijing: Higher Education Press Limited Company, 2013.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает в себя около 150 задач различной трудности. ...
Added: January 31, 2014
Лекции по математической логике и теории алгоритмов
Vereshchagin N., Шень А., М.: МЦНМО, 2008.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает в себя около 150 задач различной трудности. ...
Added: January 31, 2014
Задачи и упражнения (теория множеств, элементы общей алгебры и функционального анализа)
Rybakin A. S., Anisimova N. P., СПб.: ВКАС им. Буденного, 1994.
Added: February 10, 2013
Методические указания к практическим занятиям для подготовительных курсов. Часть 2
Rybakin A. S., СПб.: Издательство СПбГЭТУ "ЛЭТИ", 1997.
Added: February 10, 2013
Методические указания к практическим занятиям для подготовительных курсов. Часть 1
Rybakin A. S., СПб.: Издательство СПбГЭТУ "ЛЭТИ", 1997.
Added: February 10, 2013
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit