Непейвода

Непейвода

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

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

17 июня 1949
Научная сфера:

математика, логика, философия, информатика
Альма-матер:

МГУ

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

Биография

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

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

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

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

Внешние ссылки


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "Непейвода" в других словарях:

  • Непейвода Н. — Непейвода Николай Николаевич (род. 1949) математик, логик, философ, информатик. Доктор физико математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.… …   Википедия

  • Непейвода Н. Н. — Непейвода Николай Николаевич (род. 1949) математик, логик, философ, информатик. Доктор физико математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.… …   Википедия

  • Непейвода, Николай — Непейвода Николай Николаевич (род. 1949) математик, логик, философ, информатик. Доктор физико математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.… …   Википедия

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

  • Непейвода, Николай Николаевич — Николай Николаевич Непейвода Дата рождения: 17 июня 1949(1949 06 1 …   Википедия

  • Николай Непейвода — Непейвода Николай Николаевич (род. 1949) математик, логик, философ, информатик. Доктор физико математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.… …   Википедия

  • Николай Николаевич Непейвода — Непейвода Николай Николаевич (род. 1949) математик, логик, философ, информатик. Доктор физико математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.… …   Википедия

  • ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… …   Философская энциклопедия

  • интуиционизм —         ИНТУИЦИОНИЗМ одно из трех главных направлений (наряду с логицизмом и формализмом), традиционно выделяемых в основаниях математики. Для общей характеризации направлений, выросших из И., часто пользуются термином «конструктивизм». Поэтому… …   Энциклопедия эпистемологии и философии науки

  • интуиционистская логика —         ИНТУИЦИОНИСТСКАЯ ЛОГИКА первоначально появилась как логика интуиционистской математики, но затем область ее применения чрезвычайно расширилась. Неформально И.л. начал развивать Л. Брауэр в 1907; первую интерпретацию, независимую от… …   Энциклопедия эпистемологии и философии науки


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»