• 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
  • еще
Тематика
Новости
8 июня 2026 г.
«За 12 лет на нашем счету почти 1000 операций с пробуждением»
В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.
5 июня 2026 г.
Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона
Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.
2 июня 2026 г.
От Волги до Янцзы: математики из Нижнего Новгорода и Шанхая изучают устойчивость систем
Математики НИУ ВШЭ в Нижнем Новгороде совместно с коллегами из шанхайского Университета Тунцзи исследуют фундаментальные причины структурной устойчивости систем и механизмы их нарушения. О развитии проекта Qualitative Theory of Systems of Ordinary and Partial Differential Equations в рамках программы НИУ ВШЭ «Международное академическое сотрудничество» «Вышке.Главное» рассказала его руководитель, профессор Ольга Починка, заведующая Международной лабораторией динамических систем и приложений НИУ ВШЭ в Нижнем Новгороде.


 

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

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

?

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

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

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

Приоритетные направления: компьютерно-математическое
Язык: русский
Полный текст
Ключевые слова: системы аксиомарифметикамоноидполугруппагруппачастичное упорядочениекольцополеязык программирования OBJ3алгебраическая спецификацияпараметрическое программирование
Алгебраическая спецификация программных систем
Похожие публикации
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 г.
Solutions of Polynomial Equations in Subgroups of F_p^*
Макарычев С. В., Вьюгин И. В., Arnold Mathematical Journal 2019 Vol. 5 No. 1 P. 105–121
Представлена верхняя оценка числа таких решений алгебраического уравнения P(x,y)=0, что x и y принадлежат некоторому обединению смежных классов по подгруппе мультипликативной группы поля положительной характеристики. Эта оценка обобщает оценку Corvaja и Zannier (J Eur Math Soc 15(5):1927–1942, 2013) на случай объединения смежных классов. Также получена верхняя оценка одного обобщения аддитивной энергии. ...
Добавлено: 13 августа 2019 г.
Социальная психология. Теория и практика: учебник и практикум для СПО
Корягина Н. А., Михайлова Е. В., М.: Юрайт, 2019.
Учебник ≪Социальная психология≫ представляет систематическое изложение основных теоретических направлений социально-психологической науки, ее исторического развития, современную проблематику исследовательских, прикладных и практических вопросов, связанных с пониманием особенностей функционирования психики людей, включенных в социальные группы, а также психологической специфики групп. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям.   Для студентов и преподавателей непсихологических специальностей — ...
Добавлено: 6 февраля 2019 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору