АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

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

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

Автор более 150 печатных трудов.

Общие сведения
Николай Николаевич Непейвода
Дата рождения 17 июня 1949(1949-06-17) (77 лет)
Место рождения
Страна  Россия
Научная сфера логика, философия, информатика
Место работы Институт программных систем имени А. К. Айламазяна РАН
Образование
Учёная степень доктор физико-математических наук
Учёное звание профессор
Научный руководитель А. А. Марков, А. Г. Драгалин

Биография

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

В 1990-е годы работал преподавателем Удмуртского государственного университета.

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

Писатель-фантаст.

Научная работа

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

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

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

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

Примечания

  1. ↑ Mathematics Genealogy Project (англ.) — 1997.
  2. ↑ Вестник ИКС. Институт компьютерных систем (11 февраля 2019). Дата обращения: 7 августа 2026.
  3. ↑ Редакционная коллегия. Киберпространство. Дата обращения: 7 августа 2026.

Ссылки

Дополнительно по теме

Категории