Nepeyvoda, Nikolai Nikolaevich

Nikolai Nikolaevich Nepeyvoda (född 17 juni 1949 , byn Shelaevo , Kursk-regionen [1] ) är en sovjetisk och rysk matematiker , vetenskapsman inom teoretisk datavetenskap och matematisk logik , doktor i fysikaliska och matematiska vetenskaper , professor , chef. forskare vid Institutet för programsystem vid Ryska vetenskapsakademin . Författare till mer än 150 publikationer.

Biografi

Nepeyvod-klanen kommer från den berömda Zaporozhye kosacköversten.

Han tog examen från en landsbygdsskola, sedan avdelningen för mekanik och matematik vid Moskvas statliga universitet . Specialiserad på logik . Sedan blev han involverad i programmering , filosofi, lingvistik och allmänna system och logisk analys.

Han är en av grundarna av teorin om icke-formaliserbara begrepp och teorin om logisk syntes av program baserad på konstruktiv logik , skapade två av de fyra kända klasserna av konstruktiv logik, utvecklade en metodik för ett logiskt tillvägagångssätt som har blivit en naturlig alternativ till ett systematiskt tillvägagångssätt.

Han arbetade aktivt med att skapa en läroplan för grunderna i datavetenskap , genomförde intensiva experiment för att omstrukturera undervisningen i datavetenskap, och betraktade det som ett komplext problem, och trodde att det var omöjligt att lära ut riktig programmering utan en lämplig nivå av utbildning i matematik och filosofi. Deltog i utvecklingen av läroplaner och bildandet av fakulteten för informationsteknologi vid NSU , som växte fram ur fakulteten för mekanik och matematik. På 90-talet av XX-talet arbetade han som lärare vid Udmurt State University .

Sedan 2012 - chefsforskare vid forskningscentret för multiprocessorsystem vid Institutet för programsystem vid Ryska vetenskapsakademin i Pereslavl-Zalessky .

På fritiden är han science fiction-författare.

Bibliografi

• Stilar och metoder för programmering: Föreläsningskurs: Lärobok. - 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 av korrekta program // Questions of Cybernetics. - 1978. - Nr 46 . - S. 88-122 .
• Nepeyvoda N. N. Tillämpad logik . - Novosibirsk: NSU, 2000. Arkivexemplar daterad 26 januari 2007 på Wayback Machine
• Publikationer på Wikibooks i sektionen Potential magazine

Anteckningar

1. ↑ Nu - i Valuysky-distriktet , Belgorod-regionen , Ryssland .

Länkar

• Personlig sida för N. N. Nepeyvoda
• N. N. Nepeyvoda Arkiverad 25 mars 2014 på Wayback Machine på webbplatsen för Program Systems Institute
• Sida av N. N. Nepeyvoda på webbplatsen för tidningen "Samizdat" Arkivexemplar av 3 juni 2011 på Wayback Machine
• nepejvoda-nn - Nepejvoda ,Nikolai Nikolaevich iLiveJournal

I sociala nätverk	Livejournal Facebook
Tematiska platser	Matematisk släktforskning Scopus zbMATH Öppna Helrysk matematisk portal