Nepeyvoda, Nikolai Nikolaevich
| Nikolai Nikolaevich Nepeyvoda | |
|---|---|
| Fødselsdato | 17. juni 1949 (73 år) |
| Fødselssted | |
| Land | USSR → Rusland |
| Videnskabelig sfære | logik, filosofi, datalogi |
| Arbejdsplads | Institut for Programsystemer RAS |
| Alma Mater | Moskva statsuniversitet (Mekhmat) |
| Akademisk grad | Doktor i fysiske og matematiske videnskaber |
| Akademisk titel | Professor |
| videnskabelig rådgiver | A. A. Markov , A. G. Dragalin |
| Mediefiler på Wikimedia Commons | |
Nikolai Nikolaevich Nepeyvoda (født 17. juni 1949 , landsbyen Shelaevo , Kursk-regionen [1] ) er en sovjetisk og russisk matematiker , videnskabsmand inden for teoretisk datalogi og matematisk logik , doktor i fysiske og matematiske videnskaber , professor , chef forsker ved Institute of Program Systems of the Russian Academy of Sciences . Forfatter til mere end 150 publikationer.
Biografi
Nepeyvod-klanen stammer fra den berømte Zaporozhye Cossack oberst.
Han dimitterede fra en landskole, derefter mekanik- og matematikafdelingen ved Moscow State University . Specialiseret i logik . Derefter blev han involveret i programmering , filosofi, lingvistik og generelle systemer og logisk analyse.
Han er en af grundlæggerne af teorien om ikke-formaliserbare begreber og teorien om logisk syntese af programmer baseret på konstruktive logikker , skabte to af de fire kendte klasser af konstruktive logikker, udviklede en metodologi til en logisk tilgang, der er blevet en naturlig alternativ til en systematisk tilgang.
Han arbejdede aktivt på oprettelsen af en læseplan for grundlæggende datalogi , udførte intensive eksperimenter med omstrukturering af undervisningen i datalogi, betragtede det som et komplekst problem, idet han mente, at det var umuligt at undervise i ægte programmering uden et passende niveau af datalogi. undervisning i matematik og filosofi. Deltog i udviklingen af læseplaner og dannelsen af Det Informationsteknologiske Fakultet i NSU , som voksede ud af Fakultetet for Mekanik og Matematik. I 90'erne af det XX århundrede arbejdede han som lærer ved Udmurt State University .
Siden 2012 - chefforsker ved forskningscentret for multiprocessorsystemer ved Institute of Program Systems of the Russian Academy of Sciences i Pereslavl-Zalessky .
I sin fritid er han science fiction-forfatter.
Bibliografi
- Stilarter og metoder til programmering: Forelæsningsforløb: Lærebog. - Internet University of Information Technology, 2005. - ISBN 5-95560-023-0 .
- Nepeyvoda N. N., Skopin I. N. Fundamentals of programmering. - 2003. - ISBN 5-93972-299-7 .
- Nepeyvoda N.N. Om konstruktionen af korrekte programmer // Questions of Cybernetics. - 1978. - Nr. 46 . - S. 88-122 .
- Nepeyvoda N. N. Anvendt logik . - Novosibirsk: NSU, 2000. Arkivkopi dateret 26. januar 2007 på Wayback Machine
- Publikationer på Wikibooks i sektionen Potential magazine
Noter
- ↑ Nu - i Valuysky-distriktet , Belgorod-regionen , Rusland .
Links
- Personlig side af N. N. Nepeyvoda
- N. N. Nepeyvoda Arkiveret 25. marts 2014 på Wayback Machine på webstedet for Program Systems Institute
- Side af N. N. Nepeyvoda på hjemmesiden for magasinet "Samizdat" Arkiveksemplar af 3. juni 2011 på Wayback Machine
nepejvoda-nn - Nepejvoda ,Nikolai Nikolaevich iLiveJournal
 I sociale netværk | |
|---|---|
| Tematiske steder |