Nepeyvoda, Nikolai Nikolaevici
| Nikolai Nikolaevici Nepeyvoda | |
|---|---|
| Data nașterii | 17 iunie 1949 (în vârstă de 73 de ani) |
| Locul nașterii | |
| Țară | URSS → Rusia |
| Sfera științifică | logică, filozofie, informatică |
| Loc de munca | Institutul de sisteme de programe RAS |
| Alma Mater | Universitatea de Stat din Moscova (Mekhmat) |
| Grad academic | Doctor în Științe Fizice și Matematice |
| Titlu academic | Profesor |
| consilier științific | A. A. Markov , A. G. Dragalin |
| Fișiere media la Wikimedia Commons | |
Nikolai Nikolaevich Nepeyvoda (n . 17 iunie 1949 , satul Shelaevo , regiunea Kursk [1] ) este un matematician sovietic și rus , om de știință în domeniul informaticii teoretice și al logicii matematice , doctor în științe fizice și matematice , profesor , șef. cercetător la Institutul de Sisteme de Programe al Academiei Ruse de Științe . Autor a peste 150 de publicații.
Biografie
Clanul Nepeyvod provine din celebrul colonel cazac din Zaporojie.
A absolvit o școală rurală, apoi departamentul de mecanică și matematică a Universității de Stat din Moscova . Specializat în logică . Apoi s-a implicat în programare , filozofie, lingvistică și sisteme generale și analiză logică.
El este unul dintre fondatorii teoriei conceptelor neformalizabile și ai teoriei sintezei logice a programelor bazate pe logici constructive , a creat două dintre cele patru clase cunoscute de logici constructive, a dezvoltat o metodologie pentru o abordare logică care a devenit naturală. alternativă la o abordare sistematică.
A lucrat activ la crearea unui curriculum cu privire la fundamentele informaticii , a efectuat experimente intensive privind restructurarea predării informaticii, considerând-o ca o problemă complexă, considerând că este imposibil să predați programarea reală fără un nivel adecvat de pregătire în matematică și filozofie. A participat la elaborarea curriculei și la formarea Facultății de Tehnologia Informației din NSU , care a luat naștere din Facultatea de Mecanică și Matematică. În anii '90 ai secolului XX a lucrat ca profesor la Universitatea de Stat din Udmurt .
Din 2012 - cercetător șef la Centrul de cercetare pentru sisteme multiprocesoare de la Institutul de sisteme de programe al Academiei Ruse de Științe din Pereslavl-Zalessky .
În timpul liber, este un scriitor de science fiction.
Bibliografie
- Stiluri și metode de programare: Curs de prelegeri: Manual. - Internet University of Information Technology, 2005. - ISBN 5-95560-023-0 .
- Nepeyvoda N. N., Skopin I. N. Fundamentele programării. - 2003. - ISBN 5-93972-299-7 .
- Nepeyvoda N.N. Despre construcția de programe corecte // Întrebări de cibernetică. - 1978. - Nr. 46 . - S. 88-122 .
- Nepeyvoda N. N. Logica aplicata . - Novosibirsk: NSU, 2000. Copie de arhivă din 26 ianuarie 2007 la Wayback Machine
- Publicații pe Wikibooks în secțiunea revistei Potential
Note
- ↑ Acum - în districtul Valuysky , regiunea Belgorod , Rusia .
Link -uri
- Pagina personală a lui N. N. Nepeyvoda
- N. N. Nepeyvoda Arhivat 25 martie 2014 la Wayback Machine de pe site-ul Institutului de sisteme de programe
- Pagina lui N. N. Nepeyvoda pe site-ul revistei „Samizdat” Copie de arhivă din 3 iunie 2011 pe Wayback Machine
nepejvoda-nn - Nepejvoda ,Nikolai Nikolaevich înLiveJournal
 În rețelele sociale | |
|---|---|
| Site-uri tematice |