• 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
  • еще
Тематика
Новости
22 мая 2026 г.
Лаборатория живых смыслов: как проект НИУ ВШЭ и СахГУ переосмысляет труд
Проект «Зеркальные лаборатории» НИУ ВШЭ — Пермь и Сахалинского государственного университета (СахГУ) изучает, как культура, среда и технологии формируют и меняют трудовые смыслы. Исследование объединяет индивидуальный опыт, профессиональные нормы, городские проблемы, творческие практики и цифровые условия труда. Руководитель Лаборатории междисциплинарных исследований по антропологии труда НИУ ВШЭ в Перми Лилия Пантелеева рассказала о работе проекта.
21 мая 2026 г.
«Пик глупости» и «долина отчаяния»: экономисты НИУ ВШЭ предложили объяснение эффекта Даннинга - Крюгера
Эффект Даннинга — Крюгера, который описывает резкий всплеск уверенности в своих силах у новичков и такое же стремительное ее падение при наборе опыта, объясняется особенностями процесса обучения и набора новых знаний. К такому выводу пришли сотрудник факультета экономических наук НИУ ВШЭ Андрей Ворчик вместе с независимым исследователем Муратом Мамышевым. Они разработали математическую модель процесса обучения и показали, как формируется и изменяется субъективная уверенность по мере накопления знаний и как  преподаватель может уменьшить «долину отчаяния» для ученика.
20 мая 2026 г.
«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи
Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.

 

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

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

?

Математическая логика и модели вычислений

Н. Новгород : Издательство Нижегородского госуниверситета, 1994.
Таланов В. А.
В учебном пособии содержатся начала логики предикатов и теории алгоритмов Оно предназначено для студентов, обучающихся по специальности прикладная математика и информатика в рамках учебного плана, содержащего кус "Дискретная математика". Основные понятия теории булевых функций из этого курса используются без предварительного напоминания. Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.
Язык: русский
Полный текст
Ключевые слова: модельинтерпретациясинтаксиспредикатдедуктикамодель вычислений
Математическая логика и модели вычислений
Похожие публикации
Современная модель ученических научных обществ в московской системе образования
Ольшанская С. С., Чернилевская О. Н., Михайлов К. А. и др., Научные исследования и разработки. Социально-гуманитарные исследования и технологии 2024 Т. 13 № 4 С. 17–24
Статья посвящена изучению развития научного познания современных школьников. На основании анализа ситуации и с учётом особенностей успешных российских и международных практик авторы статьи спроектировали модель научного общества учащихся города Москвы. ...
Добавлено: 11 мая 2026 г.
Имитационное моделирование. Теория и практика (ИММОД 2025)
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Добавлено: 17 апреля 2026 г.
Размывание понятия «юридическая конструкция» в российской теории права
Матвеев А. Г., EX JURE 2024 № 2
Термин «юридическая конструкция» является широко распространенным в российской юридической науке. Однако обозначаемое им понятие сегодня характеризуется высокой степенью неопределенности. Один из основных подходов к пониманию юридических конструкций - учение профессора А. Ф. Черданцева. Он относил юридические конструкции к числу идеальных моделей. Однако эта точка зрения была размыта последующими ошибочными направлениями юридической мысли. Во-первых, профессор С. ...
Добавлено: 3 марта 2026 г.
Национальная система оказания международной помощи как объект анализа
Бартенев В. И., Международные процессы 2025 Т. 23 № 2 С. 6–29
Статья обобщает результаты разработки концептуальных основ анализа национальных (страновых) систем оказания международной помощи. Предложено оригинальное определение такой системы, которое стремится учесть многоаспектность феномена международной помощи, множественность субъектов, вовлечённых в её оказание в XXI веке, и их ролевых функций. Новизну дефиниции и авторского подхода в целом обеспечивает приоритизация такого параметра, как специализация на вопросах оказания помощи. ...
Добавлено: 30 декабря 2025 г.
Во власти замутнения: языковые модели опыта и феномен искажения смысла
Филатов А. С., Studia Linguistica (Санкт-Петербург) 2019 № 28 С. 100–103
Статья посвящена проблеме природы искажения смысла при интерпретации языковых конструктов. Возможность декодирования любого высказывания в первую очередь связывается с необходимостью актуализации языковых моделей опыта (фреймов), лежащих в основе семантической структуры текста, и соотнесения с ними каждого текстового элемента. В ходе исследований был рассмотрен корпус высказываний, прагматически направленных на интерпретацию сторонних текстов (критические и литературоведческие статьи). ...
Добавлено: 24 ноября 2025 г.
Принцип дистинктивных контекстов при анализе оппозиции имен и глаголов в качестве предикатов на материале китайского позднеклассического текста «Луньхэн» I в. н. э.
Дурыманова А. Д., Acta Linguistica Petropolitana. Труды института лингвистических исследований 2024 Т. 20 № 2 С. 448–489
В статье анализируются синтаксические вариации употребления предположительно именных и глагольных лексем в позиции предиката на материале текста I в. н. э. «Луньхэн». Основными методами анализа являются дистрибутивный и дистинктивный (разработанная нами система разметки вхождений заданных лексем). Результаты показывают, что именные лексемы гораздо реже употребляются в позиции предиката, также существуют ограничения на сочетаемость лексем с дистинктивными контекстами. ...
Добавлено: 1 октября 2025 г.
Интерпретационные проблемы LLM: загадки образного языка
Скрынникова И. В., Когнитивные исследования языка 2024 Т. 2 № 58 С. 638–642
В статье обосновывается важность разрешения проблемы интерпретации в LLM метафорического языка как уникального человеческого способа самовыражения на основе мышления по аналогии.Вопрос о том, как научить систему автоматически понимать метафору и наделить ее способностью делать инференции, до сих пор остается открытым.Выявлено, что неспособность систем ИИ мыслить по аналогии ввиду отсутствия у них физического тела, неумене делать ...
Добавлено: 28 августа 2025 г.
Порядок и изменение в блумерианской социологии: возможности и ограничения
Баранов А. И., Социология власти 2025 Т. 37 № 2 С. 85–107
Внимание символических интеракционистов к спонтанным аспектам социальности нередко рассматривалось критиками как неспособность перспективы осмыслить структуру. Статья рассматривает данный вопрос сквозь призму проблемы социальных изменений, то есть проблемы соотношения между порядком и процессом его трансформации. Работа преследует две цели: различить интерпретации изменения в рамках блумерианской социологии; определить, предусматривают ли трактовки изменения существование механизмов их сдерживания. Для ...
Добавлено: 10 мая 2025 г.
Лингвофилософия отца Павла Флоренского в ракурсе исследований Людмилы Гоготишвили
Гравин А. А., Русская философия 2024 Т. 4 № 8 С. 70–78
В данной работе представлен краткий обзор основных положений творческой рецепции Людмилой Гоготишвили лингвофилософских идей отца Павла Флоренского. Выявлена эволюция исследовательской оптики и оценок творчества Флоренского в работах Гоготишвили раннего (1990-е годы) и позднего (2000–2010-е годы) периодов. Показано, что «ранняя» рецепция Гоготишвили была связана с выявлением гносеологизма Флоренского и исследованием идеи ритмической адеквации, в то время как ...
Добавлено: 5 мая 2025 г.
Элементы горномарийского языка в типологическом освещении
М.: Буки Веди, 2023.
Монография посвящена горномарийскому языку (в другой традиции — горному наречию марийского языка), относящемуся к уральской семье. Центральное место в книге занимает рассмотрение широкого спектра грамматических явлений: семантики именных и глагольных категорий, морфосинтаксиса именных и послеложных групп, актантных преобразований, синтаксиса клауз различных типов, устройства полипредикативных конструкций и др. Дается социолингвистическая справка о горномарийском языке. Приводятся сведения ...
Добавлено: 28 марта 2025 г.
Что нам делать с и без эротического переноса?
Россохин А. В., Журнал клинического и прикладного психоанализа 2023 Т. 4 № 1 С. 26–43
В предлагаемой статье автор утверждает, что амбивалентный интерперенос существует с самого начала психоаналитического процесса и представляет собой динамически изменяющийся баланс между эротической и агрессивной составляющими. Эротический перенос и контрперенос неразрывно связаны с первосценами, соответственно, пациента и аналитика. Способность аналитика поддерживать и прорабатывать эротический перенос без его перехода в «горячие» фазы; выходить из них, если они ...
Добавлено: 10 марта 2025 г.
Психоанализ во Франции. Время, рожденное для удивления
Жибо А., Россохин А. В., Журнал клинического и прикладного психоанализа 2022 Т. 3 № 1 С. 6–37
В статье описаны ключевые концепции французского психоанализа. Рассмотрены различные теоретические и технические аспекты переноса, контрпереноса, интерпретации, химеры бессознательного, après-coup и др. ...
Добавлено: 10 марта 2025 г.
Интерпретации в психоанализе: там, где было Я и Оно, должно стать Иное
Россохин А. В., Журнал клинического и прикладного психоанализа 2020 Т. 1 № 1 С. 5–51
В предлагаемой статье автор продолжает разрабатывать собственную концепцию квантового психоанализа, в рамках которой детально описывает иную квантовую природу интерпереноса, различные состояния которого сосуществуют одновременно в психоаналитическом процессе. В ходе анализа оба участника теряют свою классическую идентичность, чтобы обрести новую двусмысленную (классическую и квантовую) идентичность, и развивают способность оставаться одновременно классическим Собой и квантовым Иным. В ...
Добавлено: 10 марта 2025 г.
Коллизии современного психоанализа: от конфронтации подходов к их динамическому взаимодействию (эволюция теории аналитической техники)
Россохин А. В., Журнал клинического и прикладного психоанализа 2022 Т. 3 № 2 С. 18–81
В предлагаемой статье автор исследует различные концепции переноса и контрпереноса в англосаксонском психоанализе. Детально рассматривается проблема разрешения невроза переноса. Описываются фундаментальные изменения психоаналитической теории и техники, произошедшие с 50-х годов прошлого века. ...
Добавлено: 10 марта 2025 г.
Применение методов теории просачиваемости для решения задач потокового планирования в транспортных сетях с учетом их структурной динамики
Кочкаров А. А., Яцкин Д. В., Кочкаров Р. А., Теоретическая и прикладная экономика 2021 № 1 С. 13–20
В работе рассмотрен теоретико-графовый подход представления транспортно-логистических систем, позволяющий описывать существенные детали и процессы, происходящие в них. Исследованы вопросы поиска эффективного решения транспортно-логистических задач и связи таких решений с пропускной способностью системы и со значением коэффициента просачиваемости. В настоящей работе предложено применении теории просачиваемости в качестве прикладного инструмента описания и решения транспортно-логистических задач, описываемый подход ...
Добавлено: 7 марта 2025 г.
Проектирование транспортно-логистических систем, устойчивых к структурным разрушениям
Кочкаров А. А., Яцкин Д. В., Кочкаров Р. А., Теоретическая и прикладная экономика 2020 № 1 С. 1–9
Статья посвящена проектированию транспортно-логистических систем с заданными характеристиками устойчивости к структурным разрушениям. Показатели устойчивости отражают влияние отказа одного или нескольких узлов (каналов связи) на работоспособность уже функционирующей системы. А также в процессе проектирования системы показатели устойчивости представляют возможности для оптимизации ее структуры с точки зрения заданных представлений о надежности. Авторами уделено внимание моделированию транспортно-логистической системы на ...
Добавлено: 7 марта 2025 г.
Ценностно-оценочная интерпретация терминов когнитивной лингвистики в научной коммуникации
Романова Т. В., В кн.: Современная лингвистика: междисциплинарные исследования. Коллективная монография.Вып. 6.: М.: Флинта, 2024. С. 198–206.
В статье представлена оценочная интерпретация когнитивных терминов по материалам российского научного дискурса. ...
Добавлено: 16 февраля 2025 г.
Сравнительный анализ концепта многополярности в политическом и научном дискурсах России и КНР
Иванова Н. А., Новиков Д. П., Фань С., Вестник Российского университета дружбы народов. Серия: Литературоведение, журналистика 2025 Т. 30 № 1 С. 172–185
Один из возможных сценариев разрешения турбулентности в современной мировой политике – создание многополярного миропорядка. Россия и КНР – крупные державы, которые в международном медийном поле неоднократно заявляли о том, что многополярный мир должен прийти на смену однополярному. Цель статьи – исследовать концепт многополярности в политическом и научном дискурсах России и КНР, отраженный в глобальном медиапространстве. ...
Добавлено: 6 февраля 2025 г.
Электронная инженерия: теория параметрической чувствительности систем
Кофанов Ю. Н., М.: ИНФРА-М, 2024.
Систематизированы методы исследования чувствительности выходных электрических, тепловых, механических и других физических характеристик систем к изменениям внутренних параметров этих процессов, моделирование которых может проводиться в области аналитических, структурных, топологических и морфологических представлений. Для полноты системного подхода автором дополнительно проведена разработка ряд новых методов. Показывается эффективность применения функций параметрической чувствительности в процессе проектирования систем с одновременно протекающими ...
Добавлено: 31 января 2025 г.
Особенности разговорного употребления союза "что": цитативность и другие нестандартные свойства
Летучий А. Б., Вопросы языкознания 2023 № 3 С. 27–59
В статье рассматриваются разговорные конструкции с союзом что — например, Ты скажи, что я же не знал!, Он начал извиняться, что он не хотел и др. Стандартно центром этих разговорных употреблений считается отсутствие сдвига лиц, характерного для косвенной речи и вообще для придаточных. Однако оказывается, что для разговорных конструкций релевантны и две другие черты: возможность ...
Добавлено: 14 января 2025 г.
О модели развития организационно-управленческой компетенции обучающихся педагогического вуза
Еремеева Ю. Д., В кн.: Инновационные процессы в современном образовании: от идеи до практики: Материалы IV Международной научно-практической конференции с использованием дистанционных технологий.: Яр.: Ярославский филиал ПГУПС, 2024. С. 112–116.
В статье раскрываются основные научные характеристики исследования, которое связано с разработкой модели развития организационно-управленческой компетенции у обучающихся педагогического вуза. Анализ направлений педагогического образования, где организационно-управленческая компетенция формируется на базовом уровне или отсутствует, позволил обосновать актуальность проблемы, определить пути ее разрешения в контексте разработки и реализации модели и обозначить практическую значимость результатов исследования. ...
Добавлено: 31 декабря 2024 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору