Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Сорокин Алексей Андреевич

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

Публикации в базе данных Math-Net.Ru Цитирования
2011
1. А. А. Сорокин, “О длине совмещающего типа в исчислении Ламбека”, Вестн. Моск. ун-та. Сер. 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
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024