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

Непейвода Николай Николаевич
Николай Николаевич Непейвода - российский математик, педагог, ученый.

Ученая степень, звание: доктор физико-математических наук, профессор.
Место работы (университет, кафедра): Институт программных систем им. А.К. Айламазяна РАН, главный научный сотрудник.
Область научных интересов: логика; философия; информатика.
Об авторе: Родился в селе Шелаево Курской области. Род Непейвода берёт начало от знаменитого запорожского казацкого полковника.
Окончил сельскую школу, затем мехмат МГУ. Специализировался по логике. Затем стал заниматься программированием, философией, лингвистикой и общим системным и логическим анализом.
Является одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик, создал два из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу.
Активно работал над созданием учебной программы по фундаментальным основам информатики, вёл интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему, считая, что научить настоящему программированию без надлежащего уровня подготовки по математике и философии невозможно. Участвовал в разработке учебных планов и становлении факультета информационных технологий НГУ, выросшего из состава механико-математического факультета. В 90-е годы XX века работал преподавателем Удмуртского государственного университета.
С 2012 года — главный научный сотрудник исследовательского центра мультипроцессорных систем Института программных систем РАН в Переславле-Залесском.
В свободное время — писатель-фантаст.

Книги автора
Непейвода Н. Н.Основания программирования. (2003, соавтор)
Непейвода Н. Н. О построении правильных программ // Вопросы кибернетики. (1978)
Читать далее

Книги