Наши проекты:

Про знаменитості

Микола Миколайович Непейвода: біографія


Микола Миколайович Непейвода біографія, фото, розповіді - математик, логік, філософ, інформатик

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

Біографія

Народився в 1949 році в одному з сіл нинішньої Білгородської області. Рід бере початок від знаменитого російського (запорізького) козацького полковника. Закінчив сільську школу, потім мехмат МДУ. Спеціалізувався по логіці. Потім став займатися програмуванням, філософією, лінгвістикою і загальним системним і логічним аналізом.

Є одним із засновників теорії формалізації понять і теорії логічного синтезу програм на базі конструктивних логік, створив дві з чотирьох відомих класів конструктивних логік, розробив методику логічного підходу, що став природною альтернативою системному підходу.

Більше 15 років веде інтенсивні експерименти по перебудові викладання інформатики, розглядаючи це як комплексну проблему (навчити справжньому програмування без належної математики і філософії неможливо).

Брав участь у розробці навчальних планів і становленні Факультету Інформаційних Технологій НГУ, що виріс зі складу механіко-математичного факультету.

Працював консультантом провідних російських софтверних фірм.

Список ключових праць

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

Зовнішні посилання

  • Особиста сторінка Н. Н. Непейводи
  • Програмний комітет Конференції ТІПД-2008

Комментарии

Сайт: Википедия