Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Сорокин Алексей Андреевич
В базах данных
Публикаций: 2
Научных статей: 2
Лекций и докладов: 8

Статистика просмотров:
Эта страница:631
Страницы публикаций:341
Полные тексты:136
Списки литературы:29

https://www.mathnet.ru/rus/person76753
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
2025
1. А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1,  23–32  mathnet  elib; A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, 80:1 (2025), 23–33
2011
2. А. А. Сорокин, “О длине совмещающего типа в исчислении Ламбека”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2011, № 3,  10–14  mathnet  mathscinet  zmath; A. A. Sorokin, “The length of joins in Lambek calculus”, Moscow University Mathematics Bulletin, 66:3 (2011), 101–104 1

Доклады и лекции в базе данных Math-Net.Ru
1. Используется ли математическая логика в современной компьютерной лингвистике?
А. А. Сорокин
Однодневный семинар по математической логике
29 июня 2023 г. 12:00   
2. Межфакультетский курс «Категориальные грамматики». Лекция 12
А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
4 мая 2016 г. 17:00   
3. Межфакультетский курс «Категориальные грамматики». Лекция 10
А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
20 апреля 2016 г. 17:00   
4. Межфакультетский курс «Категориальные грамматики». Лекция 5
А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
16 марта 2016 г. 17:00   
5. Межфакультетский курс «Категориальные грамматики». Лекция 4
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
9 марта 2016 г. 17:00   
6. Межфакультетский курс «Категориальные грамматики». Лекция 1
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
17 февраля 2016 г. 17:00
7. Отношение совместимости в исчислении Ламбека с операциями замещения
А. А. Сорокин
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
25 марта 2014 г. 18:30
8. Оценки на длину совмещающего типа в исчислении Ламбека
А. А. Сорокин
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
18 декабря 2012 г. 18:30
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026