TGViewer
Math-Net.Ru Math-Net.Ru @mathnetru · 3.93K subscribers
Post #5776 423
Сегодня, 9 февраля 2026 г., в 16:00 пройдет доклад:

Т. Л. Яворская, О семантике логики свидетельств первого порядка со связывающими модальностями.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar",
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн

#СеминарыМИАН
Open in Telegram All posts from @mathnetru
More from @mathnetru
  1. Oct 13, 2026Сегодня, 13 октября 2026 г., пройдут доклады конференции: Международная конференция "Персп…
  2. Oct 13, 2026Сегодня, 13 октября 2026 г., пройдут доклады конференции: Стохастика, искусственный интелл…
  3. Oct 13, 2026Сегодня, 13 октября 2026 г., пройдут занятия НОЦ МИАН: 16:00 В. Б. Шехтман, Д. С. Шамканов…
  4. Oct 13, 2026Сегодня, 13 октября 2026 г., в 18:30 пройдет доклад: С. А. Мелихов, Магнитные поля и кабли…
  5. Oct 13, 2026Сегодня, 13 октября 2026 г., в 18:00 пройдет доклад: И. В. Тихонов, В. Б. Шерстюков, Приме…
  6. Oct 13, 2026Сегодня, 13 октября 2026 г., в 18:00 пройдет доклад: А. Ю. Савин, Теория Морса-Виттена (ча…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →