Интернет-газета

В проекте ВятГУ «Лекции в Политехническом» будем обсуждать вопрос, что такое логика? Кому и зачем она нужна?

  • 25 сентября 2017, 10:06
  • Автор: admin
  • Просмотров 1409

При полном или частичном цитировании гиперссылка на сайт www.vyatsu.ru обязательна!

С темой «Эта «никому не нужная» логика?» выступит известный в академической среде ученый-математик, специалист по информатике, программированию, искусственному интеллекту, математической лингвистике и философии Николай Непейвода.

Логика как другой (не физический и не гуманитарный) взгляд на мир – что это такое? Почему логика теснейшим образом связана с информатикой и не исчерпывается математической логикой? Что может логика и в принципе не могут программы? Эти и другие сложные вопросы – в центре внимания гостя проекта.

Для справки:

Непейвода Николай Николаевич – главный научный сотрудник Института программных систем РАН, д.ф.-м.н., профессор. Автор около 200 работ по логике, информатике, программированию, искусственному интеллекту, математической лингвистике, алгебре, философии

Образование и работа:
- 1965-1973 – МГУ, мехмат, кафедра математической логики 
- 1973-2012 Удмуртский государственный университет, 
- 1981-1983, 2000-2002 Институт математики СО РАН (Новосибирск) 
- с 2012 года – главный научный сотрудник Института программных систем РАН

Области интересов: логика, компьютинг, искусственный интеллект, посткремниевые вычисления.

Приглашаем наших постоянных слушателей и всех желающих на лекцию 29 сентября 2017 года в 17.00 по адресу: ул. Московская, 36, ВятГУ, ауд. 1-128.

Открыта регистрация по адресу art.moskvin@gmail.com (необходимо написать ФИО).

Версия для печати