Событие завершено
Давайте посчитаем универсальная характеристика Лейбница, программа Гильберта и доказательство теорем с помощью компьютера, 29 июля 2026 в 18:30


Когда:Событие закончилось
Начало:Среда 29.07, 18:30 GMT+03
Конец:Среда 29.07, 20:00 GMT+03
Формат:
Онлайн
Тип:
Вебинар
Источник:
Timepad
Приглашение на вебинар Андрея Родина
Приглашаем на вебинар, где Андрей Родин расскажет об истории идеи автоматизации рассуждений и её реализации с помощью современных электронных компьютеров.
Мы обсудим вопрос о том, в какой мере автоматизация рассуждений способствует (или, наоборот, мешает) приобретению новых знаний.
О спикере
Андрей Родин — доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний.
Ранее работал в:
- ИФ РАН
- Смольном колледже СПбГУ
Сейчас — в Университете Paris-Cité (Франция).
Онлайн
Бесплатно
Событие завершено
Похожие события
ИИ для магистрантов и аспирантов пишем научные статьи с помощью ИИ (июль-август 2026)
24 июня 2026 в 10:00
Загляни в ИТ (7-9 класс)
19 августа 2026 в 19:30
Загляни в ИТ (10-11 классы)
20 августа 2026 в 18:30
Программирование на R для гуманитарных наук. Базовый курс
21 августа 2026 в 18:00
День открытых дверей липецкого кампуса Школы 21
22 августа 2026 в 11:00
Загляни в ИТ (7-9 класс)
22 августа 2026 в 13:00
Когда:Событие закончилось
Начало:Среда 29.07, 18:30 GMT+03
Конец:Среда 29.07, 20:00 GMT+03
Формат:
Онлайн
Тип:
Вебинар
Источник:
Timepad

