| |
Бочерников Владимир Яковлевич
|
| В базах данных Math-Net.Ru |
| Публикаций: |
1 |
| Научных статей: |
1 |
| Статистика просмотров: |
| Эта страница: | 41 | | Страницы публикаций: | 57 | | Полные тексты: | 20 |
|
|
доцент |
|
кандидат физико-математических наук (1985) |
| Специальность ВАК: |
01.01.06 (математическая логика, алгебра и теория чисел) |
| Дата рождения: |
2.04.1952 |
| Ключевые слова: |
исчисление,
секвенция,
правило вывода,
сложность вывода,
сложность вычисления,
полиномиальная иерархия,
свойства оракульных множеств. |
| Коды УДК: |
510.52 |
Основные темы научной работы |
Логические исчисления, теория доказательств,теория сложности вычислений |
| |
|
| Основные публикации: |
-
Бочерников В. Я., “Некоторые свойства исчисления равенств элементарных по Кальмару функций”, Шестая всесоюзная конференция по математической логике, 1982, 22–25
 -
Бочерников В. Я., “Эквивалентность двух исчислений равенств элементарных по Кальмару функций”, Логика и основания математики, 1982, 17–19
-
Бочерников В. Я., “Закон исключенного третьего и проблема NP равно co-NP”, Сибирский математичекий журнал, 48:2 (1987), 34–48
-
Бочерников В. Я., “Не выводимость некоторых свойств оракульных множеств”, Проблемы современной математики, 34:2 (2017), 34–51
|
|
 |
https://www.mathnet.ru/rus/person127407 |
 |
Список публикаций на Google Scholar |
 |
Список публикаций на ZentralBlatt |
|
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1992 |
| 1. |
В. Я. Бочерников, “Об интуиционистской элементарной арифметике”, Сиб. матем. журн., 33:2 (1992), 22–28 ; V. Ya. Bochernikov, “On intuitionistic elementary arithmetic”, Siberian Math. J., 33:2 (1992), 195–200  |
1
|
|
|
| Организации |
- Институт фундаментальных проблем современной математики
|
Обратная связь: