Nepeyvoda, Nikolai Nikolajevitš
| Nikolai Nikolajevitš Nepeyvoda | |
|---|---|
| Syntymäaika | 17. kesäkuuta 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
- Ohjelmoinnin tyylit ja menetelmät: Luentokurssi: Oppikirja. - Internet University of Information Technology, 2005. - ISBN 5-95560-023-0 .
- Nepeyvoda N. N., Skopin I. N. Ohjelmoinnin perusteet. - 2003. - ISBN 5-93972-299-7 .
- Nepeyvoda N.N. Oikeiden ohjelmien rakentamisesta // Kybernetiikan kysymyksiä. - 1978. - Nro 46 . - S. 88-122 .
- Nepeyvoda N. N. Sovellettu logiikka . - Novosibirsk: NSU, 2000. Arkistokopio päivätty 26. tammikuuta 2007 Wayback Machinessa
- Julkaisuja Wikikirjoissa Potentiaali-lehden osiossa
Muistiinpanot
- ↑ Nyt - Valuyskyn alueella , Belgorodin alueella , Venäjällä .
Linkit
- N. N. Nepeyvodan henkilökohtainen sivu
- N. N. Nepeyvoda Arkistoitu 25. maaliskuuta 2014 Wayback Machinessa Program Systems Instituten verkkosivuilla
- N. N. Nepeyvodan sivu Samizdat-lehden verkkosivustolla. Arkistokopio 3. kesäkuuta 2011 Wayback Machinessa
nepejvoda-nn - Nepejvoda ,Nikolai NikolaevichLiveJournalissa
 Sosiaalisissa verkostoissa | |
|---|---|
| Temaattiset sivustot |