Nepeyvoda, Nikolaj Nikolajevič

Nikolaj Nikolajevič Nepeyvoda
Datum narození 17. června 1949( 1949-06-17 ) (73 let)
Místo narození
Země  SSSR Rusko 
Vědecká sféra logika, filozofie, informatika
Místo výkonu práce Ústav programových systémů RAS
Alma mater Moskevská státní univerzita (Mekhmat)
Akademický titul Doktor fyzikálních a matematických věd
Akademický titul Profesor
vědecký poradce A. A. Markov , A. G. Dragalin
 Mediální soubory na Wikimedia Commons

Nikolaj Nikolajevič Nepeyvoda (* 17. června 1949 , obec Šelaevo , Kurská oblast [1] ) je sovětský a ruský matematik , vědec v oboru teoretické informatiky a matematické logiky , doktor fyzikálních a matematických věd , profesor , vedoucí vědecký pracovník Ústavu programových systémů Ruské akademie věd . Autor více než 150 publikací.

Životopis

Klan Nepeyvod pochází ze slavného plukovníka záporožských kozáků.

Vystudoval venkovskou školu, poté katedru mechaniky a matematiky Moskevské státní univerzity . Specializuje se na logiku . Poté se zapojil do programování , filozofie, lingvistiky a obecných systémů a logické analýzy.

Je jedním ze zakladatelů teorie neformalizovatelných pojmů a teorie logické syntézy programů založených na konstruktivní logice , vytvořil dvě ze čtyř známých tříd konstruktivních logik, vyvinul metodologii logického přístupu, který se stal přirozeným alternativa k systematickému přístupu.

Aktivně pracoval na tvorbě kurikula základů informatiky , prováděl intenzivní experimenty na restrukturalizaci výuky informatiky, považoval ji za složitý problém a věřil, že skutečné programování není možné vyučovat bez odpovídající úrovně znalostí. školení v matematice a filozofii. Podílel se na tvorbě učebních osnov a vzniku Fakulty informačních technologií NSU , která vyrostla z Fakulty mechaniky a matematiky. V 90. letech 20. století působil jako učitel na Udmurtské státní univerzitě .

Od roku 2012 - hlavní výzkumný pracovník ve Výzkumném centru pro víceprocesorové systémy v Ústavu programových systémů Ruské akademie věd v Pereslavl-Zalessky .

Ve volném čase je spisovatelem sci-fi.

Bibliografie

Poznámky

  1. Nyní - v okrese Valujsky , oblast Belgorod , Rusko .

Odkazy