Непейвода́ Никола́й Никола́евич (род. 1949) — советский и российский учёный в области теоретической информатики и математической логики, Доктор физико-математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов. Преподаватель Удмуртского государственного университета.

Биография

Родился в 1949 году в одном из сёл нынешней Белгородской области. Род берёт начало от знаменитого русского (запорожского) казацкого полковника. Закончил сельскую школу, затем мехмат МГУ. Специализировался по логике. Затем стал заниматься программированием, философией, лингвистикой и общим системным и логическим анализом.

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

Более 15 лет ведёт интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему (научить настоящему программированию без надлежащей математики и философии невозможно).

Участвовал в разработке учебных планов и становлении факультета информационных технологий НГУ, выросшего из состава механико-математического факультета.

Работал консультантом ведущих российских софтверных фирм^{[уточнить]}.

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

Список ключевых трудов

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

Ссылки

• Личная страничка Н. Н. Непейводы
• Страница Н. Н. Непейводы на сайте журнала «Самиздат»
• Блог Н. Н. Непейводы