51 - 60 out of 79Page size: 10
  1. 2006

  2. Нижняя оценка длины записи интерпретатора n-программ.

    Косовский, Н. К., 2006, Материалы XVI Международной школы-семинара "Синтез и сложность управляющих систем" (СПб, 26-30 июня 2006 г.). Издательство Московского университета, p. 48-52

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

  3. Оценка памяти, необходимой для исключения бесконечного зацикливания в Паскаль-программах, выполняемых на компьютере.

    Косовский, Н. К. & Фам, Т. Л., 2006, Материалы XVI Международной школы-семинара "Синтез и сложность управляющих систем" (СПб, 26-30 июня 2006 г.). Издательство Московского университета, p. 53-54

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

  4. Оценка сложности истинно полиномиального алгоритма проверки совместности систем линейных двучленных неравенств.

    Герасимов, А. С. & Косовский, Н. К., 2006, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 2, p. 16-21

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

  5. Параметризация NP-полной задачи по проверке совместности в {0,1} числах систем неравенств.

    Косовский, Н. К., 2006, 2-я Российская научно-методическая конференция "Совершенствование подготовки IT-специалистов по направлению "Прикладная информатика" на основе инновационных технологий и E-LEARNING". Сб.научн.трудов.. p. 100-104

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

  6. 2005

  7. Обучение нестандартному решению прагматических задач.

    Косовский, Н. К., 2005, Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности). Сборник трудов научно-технической конференции с международным участием в рамках форума "Высокие технологии - 2004".. Научно-издательский центр "Регулярная и хаотическая динамика", p. 245-248

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

  8. 2004

  9. Качественная предикатная логика Поста.

    Косовский, Н. К. & Герасимов, А. С., 2004, "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференции. Издательство Санкт-Петербургского университета, p. 494-497

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

  10. Объединенные логики компьютерных миров.

    Косовский, Н. К., 2004, Труды 5-й Международной научно-технической конференции "Компьютерное моделирование 2004", часть1,. p. 342-346

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

  11. О полиномиальных алгоритмах решения диофантовых систем линейных уравнений и сравнений.

    Косовский, Н. К. & Косовская, Т. М., 2004, Материалы VIII Международного семинара "Дискретная математика и ее приложения". p. 72-74

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

  12. Полиномиальные и псевдополиномиальные алгоритмы в дискретной математике.

    Косовский, Н. К., 2004, Материалы VIII Международного семинара "Дискретная математика и ее приложения". p. 14-18

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

  13. Полнота системы булевых функций на примере отличается от NP-полноты задачи выполнимости их суперпозиций, если P

    Косовский, Н. К., 2004, Материалы XV Международной школы-семинара "Синтез и сложность управляющих систем".. p. 50-53

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

Previous 12 3 4 5 6 7 8 Next

ID: 194195