RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Непейвода Николай Николаевич

Публикации в базе данных Math-Net.Ru

  1. Аддитивные системы представления чисел: несколько замечаний

    Программные системы: теория и приложения, 8:4 (2017),  101–115
  2. Использование локализации и переполнения для управления параллельными и распределёнными вычислениями

    Программные системы: теория и приложения, 8:3 (2017),  87–107
  3. О некоторых возможностях локальных вычислений в теории систем и базах данных

    Программные системы: теория и приложения, 7:4 (2016),  145–160
  4. Рациональные агенты для случая управления сверхбольшими базами данных как взаимодействующие вероятностные автоматы

    Программные системы: теория и приложения, 6:1 (2015),  99–108
  5. О представлении действительных чисел

    Программные системы: теория и приложения, 5:4 (2014),  105–121
  6. Алгебраический подход к управлению

    Пробл. управл., 2013, № 6,  2–14
  7. Рефлексирующие программные системы

    Сиб. журн. индустр. матем., 4:1 (2001),  22–28
  8. Семантика алгоритмических языков

    Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 20 (1983),  95–166
  9. О некоторых возможностях применения конструктивного анализа к классическому

    Докл. АН СССР, 266:2 (1982),  284–287
  10. К теории синтеза программ

    Тр. Ин-та математики, 2 (1982),  159–175
  11. Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня

    Докл. АН СССР, 239:3 (1978),  526–529
  12. Язык $\Delta$ с интуиционистскими связками

    Докл. АН СССР, 220:1 (1975),  41–43
  13. Язык $\Delta$ со слабой трехзначной логикой

    Докл. АН СССР, 219:6 (1974),  1325–1327
  14. Об одном обобщении иерархии Клини–Мостовского

    Докл. АН СССР, 212:2 (1973),  295–297
  15. Соотношение предикативной осмысленности и интуиции всеобщности

    Докл. АН СССР, 212:1 (1973),  40–43
  16. Новое понятие предикативной истинности и определимости

    Матем. заметки, 13:5 (1973),  735–745
  17. О вложениях булевых алгебр в алгебру Линденбаума–Тарского

    Докл. АН СССР, 199:1 (1971),  23–25

  18. Математик и прикладник: о взаимо(не)понимании

    Вестн. Удмуртск. ун-та. Матем., 2007, № 1,  251–268


© МИАН, 2024