Непейвода, Николай Николаевич
Николай Николаевич Непейвода | |
---|---|
![]() | |
Дата рождения | 17 июня 1949 (75 лет) |
Место рождения | |
Страна |
![]() ![]() |
Род деятельности | математик, специалист в области информатики |
Научная сфера | логика, философия, информатика |
Место работы | Институт программных систем РАН |
Альма-матер | МГУ (мехмат) |
Учёная степень | доктор физико-математических наук |
Учёное звание | профессор |
Научный руководитель | А. А. Марков, А. Г. Драгалин |
![]() |
Никола́й Никола́евич Непейвода́ (род. 17 июня 1949, село Шелаево, Курская область[1]) — советский и российский математик, учёный в области теоретической информатики и математической логики, доктор физико-математических наук, профессор, главный научный сотрудник Института программных систем РАН. Автор более 150 печатных трудов.
Биография
[править | править код]Род Непейвода берёт начало от знаменитого запорожского казацкого полковника.
Окончил сельскую школу, затем мехмат МГУ. Специализировался по логике. Затем стал заниматься программированием, философией, лингвистикой и общим системным и логическим анализом. В 1974 году защитил кандидатскую диссертацию «Предикативные теории второго порядка с неограниченным правилом свертки», а 1988 году — докторскую диссертацию «Анализ и методы доказательного программирования в конструктивных логиках».
Является одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик, создал два из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу.
Активно работал над созданием учебной программы по фундаментальным основам информатики, вёл интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему, считая, что научить настоящему программированию без надлежащего уровня подготовки по математике и философии невозможно. Участвовал в разработке учебных планов и становлении факультета информационных технологий НГУ, выросшего из состава механико-математического факультета. В 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
- nepejvoda-n-n — Непейвода, Николай Николаевич в «Живом Журнале»
- Родившиеся 17 июня
- Родившиеся в 1949 году
- Родившиеся в Курской области
- Выпускники механико-математического факультета МГУ
- Доктора физико-математических наук
- Персоналии по алфавиту
- Учёные по алфавиту
- Математики по алфавиту
- Математики СССР
- Математики России
- Математики XX века
- Математики XXI века
- Родившиеся в Валуйском районе
- Философы России
- Кибернетики России
- Преподаватели Удмуртского государственного университета
- Сотрудники ИПС РАН