Непейвода Николай Николаевич (Nepeivoda Nikolay Nikolaevich).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


 

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

 ›

Николай Николаевич Непейвода
Дата рождения:

17 июня 1949(1949-06-17) (66 лет)

Место рождения:

село Шелаево, Уразовский район, Курская область, РСФСР, СССР

Страна:

СССР СССРРоссия Россия

Научная сфера:

логика, философия, информатика

Место работы:

Институт программных систем РАН

Учёная степень:

доктор физико-математических наук

Учёное звание:

профессор

Альма-матер:

МГУ (мехмат)

Научный руководитель:

А. А. Марков, А. Г. Драгалин


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

Содержание
  • Биография
  • Библиография
  • Примечания
  • Ссылки
Биография

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

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

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

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

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

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

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

Доп. информация

 

 








Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2015 famous-birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2018-12-13