Никола́й Никола́евич Непейвода́ (род. 17 июня 1949 , село Шелаево , Курская область ) — советский и российский математик , учёный в области теоретической информатики и математической логики , доктор физико-математических наук , профессор , главный научный сотрудник Института программных систем РАН . Автор более 150 печатных трудов.

Биография

Род Непейвода берёт начало от знаменитого запорожского казацкого полковника.

Окончил сельскую школу, затем мехмат МГУ . Специализировался по логике . Затем стал заниматься программированием , философией, лингвистикой и общим системным и логическим анализом.

Является одним из основателей и на базе конструктивных логик , создал два из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу.

Активно работал над созданием учебной программы по фундаментальным основам информатики , вёл интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему, считая, что научить настоящему программированию без надлежащего уровня подготовки по математике и философии невозможно. Участвовал в разработке учебных планов и становлении факультета информационных технологий НГУ , выросшего из состава механико-математического факультета. В 90-е годы XX века работал преподавателем Удмуртского государственного университета .

С 2012 года — главный научный сотрудник исследовательского центра мультипроцессорных систем Института программных систем РАН в Переславле-Залесском .

В свободное время — писатель-фантаст.

Библиография

• Стили и методы программирования: Курс лекций: Учебное пособие. — Интернет-университет информационных технологий, 2005. — ISBN 5-95560-023-0 .
• Непейвода Н. Н., Скопин И. Н. Основания программирования. — 2003. — ISBN 5-93972-299-7 .
• Непейвода Н. Н. О построении правильных программ // Вопросы кибернетики. — 1978. — № 46 . — С. 88-122 .
• Непейвода Н. Н. . — Новосибирск: НГУ, 2000. от 26 января 2007 на Wayback Machine
• Публикации в в разделе

Примечания

Ссылки

• от 25 марта 2014 на Wayback Machine на сайте Института программных систем
• от 3 июня 2011 на Wayback Machine
• — Непейвода, Николай Николаевич в « Живом Журнале »