• 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
  • еще
Тематика
Новости
18 мая 2026 г.
В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского
Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.
15 мая 2026 г.
В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций
Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.
15 мая 2026 г.
Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ
В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.

 

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

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

?

Теория определимости в контексте информационно-коммуникационных систем

С. 61–68.
Семенов А. Л.

В работе обсуждается проблематика определимости и пространств отношений в исторической перспективе, обрисована роль Альфреда Тарского и Ларса Свенониуса, рассматриваются последние результаты, расширяющие полученные ранее для однородных структур, в частности на случай пополнимых вверх. Приложения включают языки описания баз данных, анализ CSP - Constraint Satisfaction Problem (обобщенной выполнимости).

Язык: русский
Полный текст
Текст на другом сайте
Ключевые слова: базы данныхпространства определимоститеория определимостиАльфред Тарскийредуктыполные вверх структурытеорема Свенониусареляционные алгебрыCSP

В книге

Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем"
Тверь: ТвГУ, 2021.
Похожие публикации
Наполнение баз данных сайтов в интернете пользователями: правовые аспекты
Донников Ю. Е., Юрист 2021 № 6 С. 68–74
В статье рассматривается правовой статус действий пользователей сайта, в результате осуществления которых базы данных таких сайтов наполняются содержанием, исследуется вопрос, возникают ли какие-либо права пользователей сайта на базу данных, которая наполняется материалами в результате действий самих пользователей сайта. ...
Добавлено: 5 апреля 2026 г.
Новые возможности анализа революций: представление базы данных революций XXI века
Вадим Устюжанин, Дмитрий Семичев, Леонид Гринин и др., Социологическое обозрение 2026 Т. 25 № 1 С. 9–61
Революционный процесс в XXI веке претерпел существенные изменения и при этом с дестабилизацией демократии и трансформацией миропорядка количество революционных эпизодов лишь увеличилось, приобретая новые цели и формы. В странах Глобального Юга с ростом населения на революционные протесты стали выходить миллионы людей, а на Ближнем Востоке и в Сахеле рост радикального ислама привел к кровавым исламистским ...
Добавлено: 25 марта 2026 г.
Гражданско-правовое значение разметки данных
Калятин В. О., Интеллектуальная собственность. Авторское право и смежные права 2025 Т. 5 С. 53–59
Разметка данных – важный элемент базы данных, обеспечивающий как возможность эффективного поиска информации в базе данных, так и обучение искусственного интеллекта. Настоящая статья посвящена определению места разметки в рамках действующего гражданского законодательства и проблемам обеспечения ее правовой охраны. ...
Добавлено: 17 февраля 2026 г.
Мифология «научных» данных: как журналисты используют символический капитал науки
Хусяинов Т. М., Цифровой ученый: лаборатория философа 2025 Т. 8 № 3 С. 46–53
В статье анализируется проблема использования открытых и краудсорсинговых данных, взятых с таких интернет-порталов, как Numbeo, в средствах массовой информации под видом результатов научных исследований. Рассматривается, как медиа, в условиях постправды и экономики внимания, прибегают к нерепрезентативным данным для создания резонансных материалов, что приводит к формированию искажённого общественного мнения. На примере данных Numbeo показывается, как информация, собранная ...
Добавлено: 28 ноября 2025 г.
Towards accelerating the discovery of efficient iridium(iii) emitters using a novel database and machine learning based only on structural formulas
Tatarin S., Krasnov L., Nykhrikova E. и др., Journal of Materials Chemistry C 2025 Vol. 13 No. 16 P. 8217–8227
Добавлено: 2 июля 2025 г.
Транспарентность в научных журналах по био- и пищевым технологиям: сравнительный анализ редакционных политик на основе принципов COPE, OASPA, WAME и DOAJ
Косычева М. А., Научный редактор и издатель 2024 Т. 9 № 2 С. 179–195
Введение: Вопрос транспарентности редакционных политик научных журналов становится все более актуальным в контексте развития международных стандартов открытого доступа, регламентируемых принципами COPE, OASPA, WAME и DOAJ. От открытости и доступности информации на сайте журнала, а также от корректного оформления самих публикаций зависят не только качество и воспроизводимость исследований, но и доверие научного сообщества к политике журнала в ...
Добавлено: 28 июня 2025 г.
Особенности правового режима интеллектуальной собственности объектов, созданных искусственным интеллектом в медицине
Лебедева Д. А., Труды по интеллектуальной собственности 2025 Т. 53 № 2 С. 111–119
В современном мире технологии искусственного интеллекта (ИИ) активно внедряются в различные сферы деятельности, включая медицину. Технологии ИИ помогают автоматизировать сложные процессы, повышать их точность и эффективность, а также открывают новые возможности для диагностики, лечения и профилактики заболеваний. Однако, с развитием систем искусственного интеллекта возникает необходимость пересмотра действующего законодательства и изменения традиционных норм, регулирующих использование ИИ ...
Добавлено: 10 апреля 2025 г.
К вопросу о переработке программы для ЭВМ и базы данных
Калятин В. О., В кн.: Роль суда в регулировании экономической деятельности. Часть 2: сборник научных статей.: М.: Русайнс, 2024. С. 47–54.
Право на переработку является важной часть правового регулирования, поскольку обеспечивает контроля автора первого произведения за использованием созданных переработанных вариантов его работы. Однако переработка часто вызывает много вопросов, особенно если речь идет о переработке программы для ЭВМ или базы данных – в силу технического характера таких объектов. Но важнейшим из них является установление того, всегда ли ...
Добавлено: 1 октября 2024 г.
Право интеллектуальной собственности. Правовое регулирование баз данных : учебное пособие для вузов
Калятин В. О., Юрайт, 2024.
Информация в современном обществе является одним из наиболее ценных активов. Данный курс посвящен такому важному инструменту работы с информацией, как базы данных. В. Калятин — один из авторов четвертой части Гражданского кодекса, много лет занимающийся данной темой, рассматривает как теоретические, так и практические вопросы создания и использования баз данных, распоряжения правами на базы данных, защиты ...
Добавлено: 5 июля 2024 г.
Социальные сети в контексте законодательства об интеллектуальной собственности
Калятин В. О., В кн.: Цифровая экономика: интеллектуальная собственность и право: Сборник статей к юбилею Марины Максимовны Карели‑ ной.: РГУП, 2023. С. 73–84.
Социальные сети стали одним из самых эффективных инструментов информационного обмена и поэтому очень важно как с точки зрения гражданского законодательства могут рассматриваться права на информацию, находящейся в социальной сети. В данной статье анализируется можно ли рассматривать социальную сеть в качестве базы данных и если да, то какие правовые последствия это будет влечь. Рассматриваются подходы, существующие ...
Добавлено: 21 июня 2024 г.
Создание новой математики школьниками
Семенов А. Л., Сопрунов С. Ф., Иванов-Погодаев И. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 511 № 1 С. 138–143
В работе обсуждается пример учебного проекта современной математики, образовательный процесс которого опирается на создании учащимися новой для них математики. В рассматриваемом примере полученные в результате работы учащихся математические результаты в области теории определимости обладают также “абсолютной” новизной, являются основой для профессиональных публикаций. Описанный курс был построен на базе последних результатов авторов настоящей статьи в теории ...
Добавлено: 14 марта 2024 г.
Вопросы определимости
Семенов А. Л., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Добавлено: 13 марта 2024 г.
Параллельный корпус как грамматическая база данных и Новый Завет как параллельный корпус (предисловие)
Плунгян В. А., Acta Linguistica Petropolitana. Труды института лингвистических исследований 2023 Т. 19 № 3 С. 15–38
Статья является одновременно предисловием и теоретическим введением к последующим статьям данного специального выпуска журнала ALP. В статье дается общая характеристика проекта подготовки базы данных типологически релевантных грамматических контекстов на основе параллельного корпуса переводов Нового Завета. Также приводится краткий обзор состава и содержания публикуемых далее статей. ...
Добавлено: 1 февраля 2024 г.
Право интеллектуальной собственности. Правовое регулирование баз данных
Калятин В. О., Юрайт, 2023.
В книге рассматриваются основные проблемы свзаянные с правовой охраной баз данных, даются практические рекомендации по защите этого объекта. Особое внимание уделено судебной практике. ...
Добавлено: 16 декабря 2023 г.
Цифровые гуманитарные исследования
Антопольский А. Б., Бонч-Осмоловская А. А., Бородкин Л. И. и др., Сибирский федеральный университет, 2023.
Впервые на русском языке комплексно рассмотрено актуальное междисциплинарное направление — цифровые гуманитарные исследования, или digital humanities. Приведены примеры (само)определения направления, дан их обзор. «Цифровой поворот» в гуманитарных исследованиях и масштабные проекты оцифровки историко-культурного наследия описаны в контексте датафикации и вызовов больших данных и машинного обучения. Особое внимание уделено современным подходам к компьютерному анализу текстов и культуромике, направлению исследований культуры и языка с помощью больших текстовых данных. ...
Добавлено: 30 октября 2023 г.
Cоздание научно-образовательного геопортала Бурятского государственного университета
Цыдыпова М. В., В кн.: ИнтерКарто. ИнтерГИС. Геоинформационное обеспечение устойчивого развития территорий: Материалы Международной конференции, Том 27 Часть 2Ч. 2. Т. 27.: М.: Географический факультет МГУ, 2021. Гл. 6 С. 67–74.
Добавлено: 3 октября 2023 г.
Проблемы электронной публикации арабографических рукописей: Проект изучения рукописного собрания проф. СПбУ Шейха Мухаммада ат-Тантави (1810-1861) из фонда Восточного отдела Научной библиотеки им. Горького СПбГУ
Ястребова О. М., Матвеев А. С., В кн.: XXXII Международный конгресс по источниковедению и историографии стран Азии и Африки: Россия и Восток. К 300-летию СПбГУ. 26– 28 апреля 2023 г.: Материалы конгресса.: СПб.: Издательство РХГА, 2023. С. 18–21.
Одной из ключевых проблем современной гуманитарной науки является проблема поиска и отбора информации, в том числе получение доступа к коллекциям документов и материалов на бумажных (не цифровых) носителях, в частности, в рукописной форме. Особенно важно это для изучения арабографического культурного наследия, включающего в себя несколько миллионов рукописей, большая часть которых физически недоступна для исследователей. Разработчики проекта публикации выдающейся коллекции арабских рукописей проф. ...
Добавлено: 26 сентября 2023 г.
В каких пределах можно использовать содержание баз данных: проблемы и перспективы
Калятин В. О., Закон 2023 № 5 С. 53–63
Статья посвящена гражданско-правовым аспектам использования баз данных. Существует большое количество правовых инструментов, относящихся к контролю базы данных, которые предлагается рассматривать в системе. Однако они охватывают лишь использование отдельных структурных элементов базы данных; использование же самой информации, содержащейся в базе данных, может быть свободным. ...
Добавлено: 11 июня 2023 г.
Решетка определимости (редуктов) для целых чисел с операцией следования
Семенов А. Л., Сопрунов С. Ф., Известия РАН. Серия математическая 2021 Т. 85 № 6 С. 245–258
В статье описана решетка определимости для структуры целых чисел с операцией следования (операцией y=x+1). Элементы решетки, также называемые редуктами, образуют три (естественно задаваемых) бесконечных серии отношений. Доказательство использует вариант теоремы Свенониуса для специального вида структур.Библиография: 17 наименований. ...
Добавлено: 11 марта 2023 г.
Решетка определимости. Источники и направления исследований
Семенов А. Л., Сопрунов С. Ф., Чебышевский сборник 2021 Т. 22 № 1(77) С. 304–327
В статье представлены результаты и открытые проблемы, относящиеся к пространствам определимости (редуктам), а также источникам этой области, начиная с XIX века. Исследуются условия конечности и ограничения, в том числе глубина чередования кванторов и число аргументов. Описаны результаты, относящиеся к описанию решеток пространств определимости для числовых и других естественных структур. Методы исследования включают изучение групп автоморфизмов ...
Добавлено: 11 марта 2023 г.
Теория определимости сегодня
Семенов А. Л., Сопрунов С. Ф., В кн.: Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории Материалы XIX Международной конференции, посвящённой 200-летию со дня рождения академика П.Л. Чебышёва.: Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2021. С. 35–39.
Доклад посвящен теории определимости – разделу математической логики, работающему с понятием определения, не менее фундаментальным, чем понятия истины, доказательства, вычисления. ...
Добавлено: 10 марта 2023 г.
Квантитативная онтология и база данных русских предлогов
Захаров В. П., Азарова И. В., Головина А. В. и др., Вестник Российского фонда фундаментальных исследований. Гуманитарные и общественные науки 2022 № 2 (109) С. 17–26
Задачи автоматической обработки текстов на естественном языке, выходящие за пределы представления о нём как «мешке слов», требуют выявления семантико- синтаксических отношений между его компонентами. Данная работа направлена на решение следующих задач: 1) описание совокупности русских предложных кон- струкций как системы взаимосвязанных отношений; 2) сбор данных корпусной ста- тистики, отражающих иерархию значений предлогов; 3) описание значений ...
Добавлено: 1 ноября 2022 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору