RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Непейвода Николай Николаевич

В базах данных Math-Net.Ru
Публикаций: 15
Научных статей: 14

Статистика просмотров:
Эта страница:2765
Страницы публикаций:3516
Полные тексты:1614
Списки литературы:162
профессор
доктор физико-математических наук
E-mail: ,

http://www.mathnet.ru/rus/person28672
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:nepeivoda.nikolay-n
https://mathscinet.ams.org/mathscinet/MRAuthorID/195958

Публикации в базе данных Math-Net.Ru
2017
1. Н. Н. Непейвода, “Аддитивные системы представления чисел: несколько замечаний”, Программные системы: теория и приложения, 8:4 (2017),  101–115  mathnet
2. Н. Н. Непейвода, “Использование локализации и переполнения для управления параллельными и распределёнными вычислениями”, Программные системы: теория и приложения, 8:3 (2017),  87–107  mathnet
2016
3. Н. Н. Непейвода, “О некоторых возможностях локальных вычислений в теории систем и базах данных”, Программные системы: теория и приложения, 7:4 (2016),  145–160  mathnet
2015
4. Н. Н. Непейвода, М. М. Хаткевич, А. А. Цветков, “Рациональные агенты для случая управления сверхбольшими базами данных как взаимодействующие вероятностные автоматы”, Программные системы: теория и приложения, 6:1 (2015),  99–108  mathnet
2014
5. Н. Н. Непейвода, И. Н. Григоревский, Е. П. Лилитко, “О представлении действительных чисел”, Программные системы: теория и приложения, 5:4 (2014),  105–121  mathnet
2013
6. Н. Н. Непейвода, “Алгебраический подход к управлению”, Пробл. управл., 2013, 6,  2–14  mathnet
2001
7. А. Н. Ващенко, Е. Е. Витяев, Н. Г. Загоруйко, А. А. Мальцев, Н. Н. Непейвода, Д. Е. Пальчунов, С. Г. Пыркин, А. В. Ткачев, “Рефлексирующие программные системы”, Сиб. журн. индустр. матем., 4:1 (2001),  22–28  mathnet
1983
8. Н. Н. Непейвода, “Семантика алгоритмических языков”, Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 20 (1983),  95–166  mathnet  mathscinet  zmath; N. N. Nepeivoda, “Semantics of algorithmic languages”, J. Soviet Math., 25:6 (1984), 1558–1606
1982
9. Н. Н. Непейвода, “О некоторых возможностях применения конструктивного анализа к классическому”, Докл. АН СССР, 266:2 (1982),  284–287  mathnet  mathscinet  zmath
1978
10. Н. Н. Непейвода, “Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня”, Докл. АН СССР, 239:3 (1978),  526–529  mathnet  mathscinet  zmath
1975
11. Н. Н. Непейвода, “Язык $\Delta$ с интуиционистскими связками”, Докл. АН СССР, 220:1 (1975),  41–43  mathnet  mathscinet  zmath
1974
12. Н. Н. Непейвода, “Язык $\Delta$ со слабой трехзначной логикой”, Докл. АН СССР, 219:6 (1974),  1325–1327  mathnet  mathscinet  zmath
1973
13. Н. Н. Непейвода, “Новое понятие предикативной истинности и определимости”, Матем. заметки, 13:5 (1973),  735–745  mathnet  mathscinet  zmath; N. N. Nepeivoda, “A new concept of predicative truth and definability”, Math. Notes, 13:5 (1973), 439–445
1971
14. Н. Н. Непейвода, “О вложениях булевых алгебр в алгебру Линденбаума–Тарского”, Докл. АН СССР, 199:1 (1971),  23–25  mathnet  mathscinet  zmath

2007
15. Н. Н. Непейвода, “Математик и прикладник: о взаимо(не)понимании”, Вестн. Удмуртск. ун-та. Матем., 2007, 1,  251–268  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020