31 - 40 out of 79Page size: 10
  1. 2012

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

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

    Research output: Contribution to journal › Article

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article

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

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

    Research output: Book/Report/Anthology › Teaching materials › Education › peer-review

  7. 2011

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

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

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

    Research output: Contribution to journal › Article

  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, p. 310 стр., 2-8

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research

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

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

    Research output: Contribution to journal › Article

Previous 1 2 3 4 5 6 7 8 Next

ID: 194195