С темой «Эта «никому не нужная» логика?» выступит известный в академической среде ученый-математик, специалист по информатике, программированию, искусственному интеллекту, математической лингвистике и философии Николай Непейвода.
Логика как другой (не физический и не гуманитарный) взгляд на мир – что это такое? Почему логика теснейшим образом связана с информатикой и не исчерпывается математической логикой? Что может логика и в принципе не могут программы? Эти и другие сложные вопросы – в центре внимания гостя проекта.
Для справки:
Непейвода Николай Николаевич – главный научный сотрудник Института программных систем РАН, д.ф.-м.н., профессор. Автор около 200 работ по логике, информатике, программированию, искусственному интеллекту, математической лингвистике, алгебре, философии.
Образование и работа:
— 1965-1973 – МГУ, мехмат, кафедра математической логики
— 1973-2012 Удмуртский государственный университет,
— 1981-1983, 2000-2002 Институт математики СО РАН (Новосибирск)
— с 2012 года – главный научный сотрудник Института программных систем РАН
Области интересов: логика, компьютинг, искусственный интеллект, посткремниевые вычисления.
Приглашаем наших постоянных слушателей и всех желающих на лекцию 29 сентября 2017 года в 17.00 по адресу: ул. Московская, 36, ВятГУ, ауд. 1-128.
Открыта регистрация по адресу art.moskvin@gmail.com (необходимо написать ФИО)