Nepeyvoda, Nyikolaj Nyikolajevics
| Nyikolaj Nyikolajevics Nepeyvoda | |
|---|---|
| Születési dátum | 1949. június 17. (73 évesen) |
| Születési hely |
|
| Ország | Szovjetunió → Oroszország |
| Tudományos szféra | logika, filozófia, számítástechnika |
| Munkavégzés helye | Programrendszerek Intézete RAS |
| alma Mater | Moszkvai Állami Egyetem (Mekhmat) |
| Akadémiai fokozat | a fizikai és matematikai tudományok doktora |
| Akadémiai cím | Egyetemi tanár |
| tudományos tanácsadója | A. A. Markov , A. G. Dragalin |
| Médiafájlok a Wikimedia Commons oldalon | |
Nyikolaj Nyikolajevics Nepeyvoda ( 1949. június 17., Selaevo falu , Kurszk régió [1] ) szovjet és orosz matematikus , az elméleti számítástechnika és a matematikai logika tudósa, a fizikai és matematikai tudományok doktora , professzor , vezető. az Orosz Tudományos Akadémia Programrendszerek Intézetének kutatója . Több mint 150 publikáció szerzője.
Életrajz
A Nepeyvod klán a híres zaporozsjei kozák ezredestől származik.
Vidéki iskolában végzett, majd a Moszkvai Állami Egyetem mechanika és matematika szakán végzett . Logikára specializálódott . Ezután programozással , filozófiával, nyelvészettel és általános rendszerekkel és logikai elemzéssel foglalkozott.
A nem formalizálható fogalmak elméletének és a konstruktív logikán alapuló programok logikai szintézisének elméletének egyik megalapítója , a konstruktív logikák négy ismert osztálya közül kettőt megalkotott, módszertant dolgozott ki a természetessé vált logikai megközelítéshez. a szisztematikus megközelítés alternatívája.
Aktívan dolgozott a számítástechnika alapjainak tantervének megalkotásán , intenzív kísérleteket végzett a számítástechnika oktatásának átalakításával kapcsolatban, összetett problémának tekintve, mivel úgy gondolta, hogy megfelelő szintű programozás nélkül lehetetlen valódi programozást tanítani. matematikai és filozófiai képzés . Részt vett a tantervek kidolgozásában és az NSU Informatikai Karának megalakításában , amely a Mechanikai és Matematikai Karból nőtt ki. A XX. század 90-es éveiben tanárként dolgozott az Udmurt Állami Egyetemen .
2012 óta az Orosz Tudományos Akadémia Pereslavl-Zalessky- i Programrendszerek Intézetének Multiprocesszoros Rendszerek Kutatóközpontjának főkutatója .
Szabadidejében tudományos-fantasztikus író.
Bibliográfia
- A programozás stílusai és módszerei: Előadások menete: Tankönyv. - Internet University of Information Technology, 2005. - ISBN 5-95560-023-0 .
- Nepeyvoda N. N., Skopin I. N. A programozás alapjai. - 2003. - ISBN 5-93972-299-7 .
- Nepeyvoda N.N. A helyes programok felépítéséről // A kibernetika kérdései. - 1978. - 46. sz . - S. 88-122 .
- Nepeyvoda N. N. Alkalmazott logika . - Novoszibirszk: NSU, 2000. Archív másolat 2007. január 26-án a Wayback Machine -nél
- Publikációk a Wikikönyvekben a Potenciális magazin rovatban
Jegyzetek
- ↑ Most - a Valuysky kerületben , Belgorod régióban , Oroszországban .
Linkek
- N. N. Nepeyvoda személyes oldala
- N. N. Nepeyvoda archiválva : 2014. március 25. a Wayback Machine -nél a Program Systems Institute honlapján
- N. N. Nepeyvoda oldala a "Samizdat" magazin honlapján A Wayback Machine 2011. június 3-i archív példánya
nepejvoda-nn - Nepejvoda ,Nikolai Nikolaevich aLiveJournalban
 A közösségi hálózatokon | |
|---|---|
| Tematikus oldalak |