11 - 20 из 79Размер страницы: 10
Сортировать по:: Год публикации
  1. 2015

  2. A Mathematical Notion of a Package of Level Markov-Post Algorithms for Word Processing

    Kosovskii, N. K. & Kosovskaya., T. M., 2015, в: Global Journal of Pure and Applied Mathematics. 11, 6, стр. 4911-4917

    Результаты исследований: Научные публикации в периодических изданиях › статья

  3. Computational Complexity for Some Problems of Two Terms Unification Based on Concatenation

    Kosovskii, N. K., 2015, Proceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015. стр. 56 – 57

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  4. Mutual Upper Bounds of Size and Time for a Turing Machine and a Markov–Post Algorithm for Mutual Simulations

    Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 2015, в: Vestnik St. Petersburg University: Mathematics. 48, 2, стр. 72–74

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. NP-полнота задачи проверки совместности в отрезке целых чисел системы целочисленных линейных уравнений и дизуравнений

    Косовский, Н. К. & Косовский, Н. Н., 2015, Дискретные модели в теории управляющих систем: IX Международная конференция, Москва и Подмосковье, 20 — 22 мая 2915 г.: Труды. МАКС Пресс, стр. 123 — 125

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  6. Systems of Linear Diophantine Equations and Dis-Equations Complexity

    Kosovskii, N. K. & Kosovskii, N. N., 2015, International Journal on Information Theories and Applications. стр. 258 – 265

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике

  7. Математическая логика для программистской специальности на мат-мехе в СПбГУ

    Косовский, Н. К., 2015, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, стр. 45 – 49

    Результаты исследований: Научные публикации в периодических изданиях › Обзор литературы

  8. Совместные ограничения сверху зоны и времени для взаимного моделирования машин Тьюринга и алгоритмов Маркова — Поста

    Косовский, Н. К., Косовская, Т. М. & Косовский, Н. Н., 2015, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 2, стр. 191-194

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  9. 2014

  10. A Language Using Quantifiers for Description of Assertions about Some Number Total Functions

    Kosovskii, N., 2014, в: International Journal on Information Theory and Applications. 21, 2, стр. 120 – 125

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. Polynomial Upper Bounds on the Size of Changes of a RAM+BOOL Program as a Tool for Proving Belonging to FP

    Kosovskii, N. K., 2014, в: Journal of Mathematical Sciences. 199, 1, стр. 53-55

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  12. Паскаль функции на основе числовых и булевых типов данных и сложность задачи вычисления одного подкласса таких функций Т. 1. Ижевск: Изд-во «Удмурдский университет». 2014 — с. 31.

    Косовский, Н. К., 2014, // Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности) — ТИПД-2014. Труды IV Всероссийской научной конференции с международным участием.. стр. 31

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

Назад 1 2 3 4 5 6 7 8 Далее

ID: 194195