Nepeyvoda, Nikolaj Nikolajevič
| Nikolaj Nikolajevič Nepeyvoda | |
|---|---|
| Datum narození | 17. června 1949 (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
- Styly a metody programování: Průběh přednášek: Učebnice. - Internetová univerzita informačních technologií, 2005. - ISBN 5-95560-023-0 .
- Nepeyvoda N. N., Skopin I. N. Základy programování. - 2003. - ISBN 5-93972-299-7 .
- Nepeyvoda N.N. O konstrukci správných programů // Otázky kybernetiky. - 1978. - č. 46 . - S. 88-122 .
- Nepeyvoda N. N. Applied Logic . - Novosibirsk: NSU, 2000. Archivní kopie ze dne 26. ledna 2007 na Wayback Machine
- Publikace na Wikiknihách v sekci časopisu Potenciál
Poznámky
- ↑ Nyní - v okrese Valujsky , oblast Belgorod , Rusko .
Odkazy
- Osobní stránka N. N. Nepeyvody
- N. N. Nepeyvoda Archivováno 25. března 2014 ve Wayback Machine na stránkách Program Systems Institute
- Stránka N. N. Nepeyvody na webu časopisu "Samizdat" Archivní kopie z 3. června 2011 na Wayback Machine
nepejvoda-nn - Nepejvoda ,Nikolaj Nikolajevič vLiveJournalu
 V sociálních sítích | |
|---|---|
| Tematické stránky |