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