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


Русская Википедия - свободная энциклопедияDownload this dictionary
Непейвода, Николай Николаевич
Непейвода́ Никола́й Никола́евич (род. 1949) — математиклогикфилософ, информатик. Доктор физико-математических наукпрофессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.

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


Продолжение на Wikipedia.οrg...


© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU