RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2004, том 316  

| Общая информация | Содержание |


Теория сложности вычислений. IX


Редактор: Э. А. Гирш

ISSN: 0373-2703, 0234-7482

Образец цитирования: Теория сложности вычислений. IX, Зап. научн. сем. ПОМИ, 316, ред. Э. А. Гирш, ПОМИ, СПб., 2004

Цитирование в формате AMSBIB:
\RBibitem{1}
\book Теория сложности вычислений.~IX
\serial Зап. научн. сем. ПОМИ
\yr 2004
\vol 316
\publ ПОМИ
\publaddr СПб.
\ed Э.~А.~Гирш
\mathnet{http://mi.mathnet.ru/book408}


Образец ссылки на эту страницу:
  • http://mi.mathnet.ru/book408


  • Текст книги: Содержание

    Дополнительная информация

    Теория сложности вычислений. IX
    Сборник работ под редакцией Э. А. ГИРША

    ISSN 0373-2703
    ISSN 0234-7482

    Предисловие редактора

    Настоящий том "Записок научных семинаров ПОМИ" продолжает серию "Теория сложности вычислений" и посвящается пятидесятилетию Дмитрия Юрьевича Григорьева, одного из первых редакторов и постоянного автора этой серии.

    Тематика статей сборника отражает разносторонние математические интересы юбиляра. Статьи А. Айяда и В. Пана посвящены сложности алгоритмов для алгебраических задач (разложения многочлена на множители и вероятностного вычисления определителя); к этой же категории можно отнести и статью С. Басу, Р. Поллака и М.-Ф. Руа о вычислении размерности полуалгебраического множества. Несколько работ посвящено комбинаторной сложности: работа С. А. Евдокимова и И. Н. Пономаренко об ассоциативных схемах, работа В. Баргачева о перестановках, независимых относительно минимума, работа О. Финкеля, Ж.-П. Рессейра и П. Симоне о трассах. Статья Р. Патури и П. Пудлака предлагает новый метод доказательства нижних оценок для арифметических схем.

    Четыре статьи посвящены задачам математической логики. Это статья Г. Минца и А. Кожевникова о системах доказательств для интуиционистской логики, статья В. П. Оревкова о новых разрешимых фрагментах исчисления предикатов, статья А. С. Куликова и С. С. Федина об автоматическом доказательстве оценок времени работы алгоритмов для задачи (максимальной) пропозициональной выполнимости и, наконец, статья В. Крейновича и А. М. Финкельштейна о логических описаниях физических теорий.

    Э. А. Гирш


    Записки научных семинаров ПОМИ
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020