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