Сортировать по названию доклада      

Подсекция «Логика»
  1. Кожемяченко Д.А. - Симуляция непрямых правил вывода в классических пропозициональных исчислениях
  2. Никанорова М.М. - Об интенсиональных семантиках для систем позитивной силлогистики
  3. Петрухин Я.И. - Об одной паранепротиворечивой модификации логики Гёделя-Даммита
  4. Пиманов А.С. - Метод фильтрации для доказательства свойства разрешимости временных логик
  5. Рывкина М.С. - Применение теории игр в коммуникации: сигнальные игры и интерпретация ответов.
  6. Шишов К.В. - Вероятностная семантика для логики QCL
Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2017» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс] — М.: МАКС Пресс, 2017. — 1 электрон. опт. диск (DVD-ROM); 12 см. - Систем. требования: ПК с процессором 486+; Windows 95; дисковод DVD-ROM; Adobe Acrobat Reader. — 1186 Мб. — 9000 экз. ISBN 978-5-317-05504-2