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


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

