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

  2. Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке рефал-5

    Косовский, Н. К., 2012, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 4, стр. 41-49

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

  3. Математические понятия алгоритма, основанные на языке рефал, для доказательств полиномиальной сложности вычислений СПб.: ОАО «Концерн «ЦНИИ «Электроприбор». 2012 – С. 84 – 92. ISBN 978-5-900780-94-8

    Косовский, Н. К., 2012, // Материалы конференции «Информационные технологии в управлении» (ИТУ-2012). ЦНИИ «Электроприбор», стр. 84 – 92

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

  4. Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP

    Косовский, Н. К., 2012, в: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 407, стр. 105 -110

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

  5. Формализованная дискретность в математике как основа обучения информатике

    Косовский, Н. К., 2012, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 6, стр. 57-62

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

  6. Эффективные по времени и памяти алгоритмические приближения чисел и функций

    Яхонтов, С. В., Косовский, Н. К. & Косовская, Т. М., 2012, Издательство Санкт-Петербургского университета.

    Результаты исследований: Книги, отчёты, сборники › учебно-методическое пособие › Рецензирование

  7. 2011

  8. Актуальность систем, обучающих решению задач

    Евграфова, И. В. & Косовский, Н. К., 2011, Учёные записки. Вып. 34. ИИО РАО

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

  9. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами

    Косовский, Н. К., 2011, Алгебра и математическая логика: материалы международной конференции, посвящённой 100-летию со дня рождения профессора В.В. Морозова и молодёжной школы-конференции «Современные проблемы алгебры и математической логики»; Казань, 25-30 сентября 2011.. Казанский Федеральный университет

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

  10. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами

    Косовский, Н. К., 2011, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 1

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

  11. 2010

  12. Polynomial-time decidability of a bounded universal theory of congruences modulo a prime number

    Kosovsky, N. K., 2010, Proof, Categories, and Computations, Essays in Honor of Grigori Mints,. College Publications, стр. 310 стр., 2-8

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

  13. Основы доказательств полиномиальной быстроты простейших математических алгоритмов

    Косовская, Т. М. & Косовский, Н. К., 2010, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2, стр. 3-13

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

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

ID: 194195