Николай Николаевич Непейвода
Главный научный сотрудник, Институт программных систем РАН
- Советский и российский математик
- Учёный в области теоретической информатики и математической логики
- Доктор физико-математических наук, профессор
- Являюсь одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик.
- Создал два из четырёх известных классов конструктивных логик.
- Разработал методику логического подхода, ставшего естественной альтернативой системному подходу.
- Активно работал над созданием учебной программы по фундаментальным основам информатики.
- Автор более 150 печатных трудов
- В свободное время — писатель-фантаст
Каждый из тех, кто занимается информатикой, должен ответить на следующие вопросы:
1. Что он хочет: программировать или решать задачи?
2. Хочет ли он быть в подчинении у других или быть независимым?
3. Что он будет делать через 10 лет, когда не сможет уже столь быстро кодировать, а жизни впереди еще много-много?
Рассмотрим типичные развилки в жизни, которые могут стоять перед программистами, и какие психологические особенности и знания в каком случае нужны:
- вы хотите программировать;
- вы хотите решать задачи;
- вы хотите решать неточные и неправильные задачи;
- вы хотите, чтобы вами руководили;
- вы хотите сами принимать решения.