Nepeyvoda, Nikolai Nikolajevitš

Nikolai Nikolajevitš Nepeyvoda
Syntymäaika 17. kesäkuuta 1949( 17.6.1949 ) (73-vuotias)
Syntymäpaikka
Maa  Neuvostoliitto Venäjä 
Tieteellinen ala logiikka, filosofia, tietojenkäsittelytiede
Työpaikka Institute of Program Systems RAS
Alma mater Moskovan valtionyliopisto (Mekhmat)
Akateeminen tutkinto Fysikaalisten ja matemaattisten tieteiden tohtori
Akateeminen titteli Professori
tieteellinen neuvonantaja A. A. Markov , A. G. Dragalin
 Mediatiedostot Wikimedia Commonsissa

Nikolai Nikolajevitš Nepeyvoda (s . 17. kesäkuuta 1949 , Shelaevon kylä , Kurskin alue [1] ) on neuvosto- ja venäläinen matemaatikko , teoreettisen tietojenkäsittelytieteen ja matemaattisen logiikan tutkija , fysiikan ja matemaattisten tieteiden tohtori , professori , päällikkö tutkija Venäjän tiedeakatemian ohjelmajärjestelmien instituutissa . Yli 150 julkaisun kirjoittaja.

Elämäkerta

Nepeyvod-klaani on peräisin kuuluisalta Zaporozhyen kasakkojen everstiltä.

Hän valmistui maaseutukoulusta, sitten Moskovan valtionyliopiston mekaniikan ja matematiikan laitoksesta . Erikoistunut logiikkaan . Sitten hän osallistui ohjelmointiin , filosofiaan, kielitieteeseen ja yleisiin järjestelmiin ja loogiseen analyysiin.

Hän on yksi ei-formalisoitavien käsitteiden teorian ja konstruktiiviseen logiikkaan perustuvan ohjelmien loogisen synteesin teorian perustajista , loi kaksi neljästä tunnetusta konstruktiivisen logiikan luokasta, kehitti metodologian loogista lähestymistapaa varten, josta on tullut luonnollinen. vaihtoehto systemaattiselle lähestymistavalle.

Hän työskenteli aktiivisesti tietojenkäsittelytieteen perusteita käsittelevän opetussuunnitelman luomiseksi , suoritti intensiivisiä kokeita tietojenkäsittelytieteen opetuksen uudelleenjärjestelystä pitäen sitä monimutkaisena ongelmana uskoen, että todellista ohjelmointia on mahdotonta opettaa ilman asianmukaista tasoa. matematiikan ja filosofian koulutus . Osallistui opetussuunnitelmien kehittämiseen ja mekaniikka-matematiikan tiedekunnasta kasvaneen NSU :n tietotekniikan tiedekunnan muodostamiseen. 1990- luvulla hän työskenteli opettajana Udmurtin osavaltion yliopistossa .

Vuodesta 2012 - Venäjän tiedeakatemian ohjelmajärjestelmien instituutin moniprosessorijärjestelmien tutkimuskeskuksen päätutkija Pereslavl-Zalesskyssa .

Vapaa-ajallaan hän on tieteiskirjailija.

Bibliografia

Muistiinpanot

  1. Nyt - Valuyskyn alueella , Belgorodin alueella , Venäjällä .

Linkit