Соколов Павел Павлович

Доклады и лекции в базе данных Math-Net.Ru

1. Утверждения как сессии
   П. П. Соколов
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   22 апреля 2025 г. 16:00   
2. Проверка моделей как средство верификации нейронных сетей
   П. П. Соколов
   Однодневный семинар по математической логике
   24 июня 2024 г. 14:30   
3. Формальная верификация на Arend
   П. П. Соколов
   Однодневный семинар по математической логике
   29 июня 2023 г. 16:00