?
Алгебраическая спецификация программных систем
М. :
ИНЭК, 2012.
Набебин А. А., Тарасиков А. С.
Пособие содержит необходимые сведения из однородных и неоднородных универсальных алгебр, системы аксиом для основных алгебраических структур (арифметика, моноид, полугруппы, группы, частичное упорядочение, кольца, поля). Описывается аксиоматический язык программирования OBJ3 с примерами программ на этом языке. Пособие предназначено для студентов высших учебных заведений, специализирующихся в областях прикладной математики, вычислительной техники, программирования, информатики.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / 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 г.
Добавлено: 21 ноября 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Мещанинов В. П., Strashnov, P., Shevtsov A. и др., / Cornell University. Серия CoRR, arXiv:2403.03726 "Computing Research Repository,". 2025.
Дизайн белков требует глубокого понимания присущей сложности «белкового вселенной». Хотя многие работы ориентируются на условную генерацию или сосредоточены на отдельных семействах белков, базовая задача безусловной генерации остаётся недостаточно изученной и недооценённой. В этой работе мы исследуем именно этот ключевой аспект и представляем DiMA — модель, которая использует непрерывную диффузию по эмбеддингам, полученным из языковой модели для белков ESM-2, ...
Добавлено: 5 октября 2025 г.
Шабалин А. М., Мещанинов В. П., Vetrov D., / Series cs.CL, arXiv:2505.18853 "Computation and Language". 2025.
Диффузионные модели достигли передовых результатов в генерации изображений, аудио и видео, однако их адаптация к тексту остаётся сложной из-за его дискретной природы. Ранее подходы либо применяют гауссовскую диффузию в непрерывных латентных пространствах, что наследует семантическую структуру, но затрудняет декодирование токенов, либо работают в пространстве категориального симплекса, что учитывает дискретность, но игнорирует семантические связи между токенами. ...
Добавлено: 5 октября 2025 г.
Абрамов А. С., Чернышев В. Л., Михайлец Е. В. и др., / Series Social Science Research Network "Social Science Research Network". 2025.
Добавлено: 23 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 07600.
Добавлено: 17 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 20584.
Добавлено: 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 г.