Афиша Места Город Фотоотчеты
КИРОВ
Обзор Расписание Фотографии Комментарии

Николай Непейвода

0+ Лекция

Вятский госуд... ул. Московская, 36, аудитория 128 www.vyatsu.ru

Нет оценок
еще нет оценок, поставь свою
Оцени

Напиши отзыв, чтобы поставить оценку события

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

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

Для справки:

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

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

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

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

Источник: www.vyatsu.ru

Событие уже прошло

Место Время
Стоимость билета
Телефоны для справки
Бронь
Автоинформатор
Касса
Николай Непейвода - фото 1 Николай Непейвода - фото 2 Николай Непейвода - фото 3 Николай Непейвода - фото 4
Комментарии