• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Алгебраическая спецификация программных систем
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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
  • еще
Тематика
Новости
1 июля 2026 г.
Ученые НИУ ВШЭ выяснили, кто и почему в России питается вне дома
Около трети населения (31,3%) практически не едят вне дома и не покупают готовую еду. Ядро активных потребителей — тех, кто питается вне дома или покупает готовое почти ежедневно или несколько раз в неделю, — составляет всего около 9%. Таковы результаты исследования, проведенного Институтом социальной политики НИУ ВШЭ. Как отмечают авторы, питание вне дома в России перестало быть маркером высокого статуса.
30 июня 2026 г.
Аспирантка НИУ ВШЭ получила премию за выдающуюся научную статью
Международное научное общество по коллективному выбору и экономике благосостояния — Society for Social Choice and Welfare (SSCW) — присудило награду для молодых исследователей Ангелине Юдиной, аспирантке и преподавателю департамента математики ФЭН, младшему научному сотруднику Международного центра анализа и выбора решений НИУ ВШЭ. Ученые отметили ее статью, посвященную решениям задачи выбора наилучших альтернатив на основании результатов их попарных сравнений.
30 июня 2026 г.
«Я хотела бы, чтобы мои исследования помогали делать мир спокойнее и лучше»
Какую бы задачу ни решала младший научный сотрудник Лаборатории методов анализа больших данных Института искусственного интеллекта и цифровых наук ФКН ВШЭ Сараа Али, она думает, какую пользу она может принести людям. О своей большой семье, диагностике трехфазных двигателей и мечте построить на родине детский приют она рассказала проекту «Молодые ученые Вышки».

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Алгебраическая спецификация программных систем

М. : ИНЭК, 2012.
Набебин А. А., Тарасиков А. С.

Пособие содержит необходимые сведения из однородных и неоднородных универсальных алгебр, системы аксиом для основных алгебраических структур (арифметика, моноид, полугруппы, группы, частичное упорядочение, кольца, поля). Описывается аксиоматический язык программирования OBJ3 с примерами программ на этом языке. Пособие предназначено для студентов высших учебных заведений, специализирующихся в областях прикладной математики, вычислительной техники, программирования, информатики.

Приоритетные направления: компьютерно-математическое
Язык: русский
Полный текст
Ключевые слова: системы аксиомарифметикамоноидполугруппагруппачастичное упорядочениекольцополеязык программирования OBJ3алгебраическая спецификацияпараметрическое программирование
Алгебраическая спецификация программных систем
Похожие публикации
Growth in noncommutative algebras and entropy in derived categories
Пионтковский Д. И., / Series arXiv "math". 2026.
Добавлено: 23 июня 2026 г.
Multilinear nilalgebras and the Jacobian theorem
Пионтковский Д. И., / Series arXiv "math". 2025.
Добавлено: 23 июня 2026 г.
ML-based Fast Simulation of FARICH Responses
Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.
Добавлено: 19 мая 2026 г.
Natural hazard database from Internet publications: text mining with a large language model
Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.
Добавлено: 28 апреля 2026 г.
Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena
Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.
Добавлено: 20 апреля 2026 г.
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Implementing Transport Coding in OMNeT++ for Message Delay Reduction
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Профилактика девиантного поведения детей и подростков средствами коллектива и коллективной деятельности
Азыркин П. Д., В кн.: Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников.: М.: Национальный исследовательский университет "Высшая школа экономики", 2025. С. 160–181.
Текст обосновывает актуальность профилактики девиантного поведения детей и подростков на фоне роста острых проявлений рискового поведения, включая школьную травлю, суицидальность и насилие, и фиксирует запрос на обновление воспитательных и профилактических подходов в школе. Автор уточняет понятие девиантности и показывает, что ключевым механизмом её генезиса выступает влияние коллектива сверстников, которое может как усиливать отклоняющиеся стратегии (peer ...
Добавлено: 19 декабря 2025 г.
Потенциал низкопороговых досуговых пространств в контексте социализации подростков и формирования детских коллективов
Азыркин П. Д., Майоров В. С., В кн.: Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников.: М.: Национальный исследовательский университет "Высшая школа экономики", 2025. С. 90–105.
В статье анализируется потенциал низкопороговых досуговых пространств как современных «третьих мест» социализации подростков, способствующих формированию детских коллективов и развитию коллективной субъектности. Авторы опираются на теорию социализации и концепцию «третьего места», рассматривая эволюцию институтов социализации в российском контексте и описывая практики работы подростковых центров. Показано, что низкопороговые подростковые пространства создают условия для безопасного взаимодействия, самоорганизации и ...
Добавлено: 19 декабря 2025 г.
Реконструкция теоретических основ педагогики коллективного воспитания и практических способов ее реализации в советское время — от идей Макаренко к коммунарскому движению
Азыркин П. Д., В кн.: Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников.: М.: Национальный исследовательский университет "Высшая школа экономики", 2025. С. 41–63.
Текст реконструирует теоретические основания советской педагогики коллективного воспитания и показывает, как идея «коллектива» стала центральной для отечественной психолого-педагогической традиции и образовательной политики СССР. В обзоре сопоставляются ключевые определения и модели развития коллектива (Шацкий, Крупская, Макаренко, Уманский, Лутошкин, Петровский), а также способы измерения «коллективности» и анализа внутригрупповой динамики. Отдельный фокус сделан на практических форматах реализации этих ...
Добавлено: 19 декабря 2025 г.
Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников
М.: Национальный исследовательский университет "Высшая школа экономики", 2025.
Этот сборник написан, чтобы показать всю многогранность того, как коллективы, группы и сообщества вносят вклад в социализацию и воспитание детей, подростков и молодежи. Хотя для современности характерны сдвиг к индивидуализму, процессы глобализации и цифровизации, тем не менее коллективные практики остаются значимыми для личностного развития, формирования ценностей и гражданской ответственности. Авторы сборника переосмысливают подходы, опирающиеся на ...
Добавлено: 15 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning
Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.
Добавлено: 21 ноября 2025 г.
Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Бесконечная транзитивность
Аржанцев И. В., МЦНМО, 2025.
Учебное пособие посвящено действиям групп на множествах. Обсуждаются кратно транзитивные группы перестановок, в том числе исключительные группы Матьё. Рассматривается свойство бесконечной транзитивности для групп автоморфизмов аффинных пространств и, в большей общности, аффинных алгебраических многообразий. Материал доступен студентам младших курсов. Изложение сопровождается большим количеством задач. ...
Добавлено: 21 июля 2025 г.
Перстни и кольца из культурного слоя объекта археологического наследия «Егошихинский медеплавильный завод, поселение» (по материалам раскопок на территории бывшего завода имени А. А. Шпагина)
Мингалев В. В., Мингалева М. К., В кн.: Культура русских в археологических исследованиях: сборник научных статей. В 2-х томах: Том 1.: Издательский Дом "Наука", 2024. С. 153–158.
В статье рассматривается часть большой коллекции перстней и колец, найденных во время спасательных археологических работ на территории Перми. Все изделия происходят из культурного слоя XVIII в. Во введении описаны краткая история участка работ со ссылкой на картографические данные, характер вещевого комплекса памятника, а также сделаны общие выводы по результатам раскопок. Далее указан словарь ювелирных терминов, ...
Добавлено: 7 июля 2025 г.
Математические элементы начального образования
Посицельская М. А., Рудченко Т. А., Семенов А. Л., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 511 № 1 С. 21–54
В последние десятилетия в ряде российских школ реализуется уникальная на мировом уровне программа математического образования для начальной школы. В ней мир школьной арифметики радикально расширяется за счет базовых объектов современной математики и информатики. Эти объекты и операции над ними наглядны, что делает их намного более доступными, чем в традиционной арифметике. Расширяется и спектр видов деятельности ...
Добавлено: 14 марта 2024 г.
Институционализация коллективной памяти тайпов/братств в постконфликтной Чеченской Республике
Осмаев А. Д., Горюшина Е. М., История, археология и этнография Кавказа 2023 Т. 19 № 4 С. 1110–1123
В статье анализируется формирование коллективной памяти в чеченском тайпе. Цель – анализ основных механизмов этого процесса. Изучены особенности формирования тайповой идентичности и сохранения традиций в условиях постконфликтного развития Чеченской Республики. В исследовании использовался контент-анализ 24 источников, касающихся чеченских тайпов. Объектом исследования выступает коллективная память тайпа, претерпевшего кардинальные изменения ещё в Позднее Средневековье – первой половине XIX в., но сохраняющегося как устойчивый маркер чеченской идентичности. Предмет исследования – механизм создания, изменения и передачи ...
Добавлено: 9 января 2024 г.
Многомерные калейдоскопы: геометрия, алгебра и комбинаторика
Мещеряков М. В., Математика в высшем образовании 2022 № 20 С. 53–68
Статья содержит наглядное изложение элементов теории групп, порождённых отражениями в конечномерных евклидовых пространствах, основанное на естественнонаучном понятии калейдоскопа. Она предназначена преподавателям линейной алгебры и геометрии, дискретной математики, учителям специализированных физико-математических классов школ и студентам факультетов математики и информатики различных направлений подготовки, включая ряд физических и инженерных специальностей. Через рассмотрение калейдоскопов отмечаются взаимосвязи между несколькими различными ...
Добавлено: 12 октября 2023 г.
The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups
Birget J., Таламбуца А. Л., International Journal of Algebra and Computation 2022 Vol. 32 No. 6 P. 1261–1274
Добавлено: 9 декабря 2022 г.
Invariant measures of torus piecewise isometries
Бланк М. Л., Advances in Mathematics 2022 Vol. 406 Article 108529
Добавлено: 26 июня 2022 г.
Студенты с инвалидностью как агенты поля высшего образования: роль социального капитала
Ярская В. Н., Зайцев Д. В., Ярская-Смирнова Е. Р., Вестник Томского государственного университета. Философия. Социология. Политология 2019 № 51 С. 167–177
Рассматриваются различные виды капиталов в отношении студентов с инвалидно-стью как агентов поля высшего образования и более подробно анализируется роль со-циального капитала в трансформации практик данного поля. Анализ проводится на материалах качественных интервью в пяти городах со студентами с ограничениями опорно-двигательного аппарата, зрения, слуха и преподавателями вузов, имеющими опыт работы в приемных комиссиях ...
Добавлено: 11 декабря 2019 г.
Оценка числа прообразов полиномиального отображения
Вьюгин И. В., Математические заметки 2019 Т. 106 № 2 С. 212–221
В работе получена верхняя оценка числа элементов поля, которые при помощи нескольких заданных многочленов переводятся в корни из единицы фиксированной кратности. Эта оценка обобщает оценку, полученную Вьюгиным и Шкредовым в 2012 г., на случай многочленов степени выше первой. Данная оценка получена как над полем вычетов по простому модулю, так и над комплексным полем. ...
Добавлено: 9 октября 2019 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору