Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
2.04.1952
Телефон: +7(423) 2-99-97-48
Ключевые слова: исчисление,
секвенция,
правило вывода,
сложность вывода,
сложность вычисления,
полиномиальная иерархия,
свойства оракульных множеств.
Коды УДК: 510.52
Основные темы научной работы:
Логические исчисления, теория доказательств,теория сложности вычислений
Основные публикации:
Бочерников В. Я., “Некоторые свойства исчисления равенств элементарных по Кальмару функций”, Шестая всесоюзная конференция по математической логике, 1982, 22–25
Бочерников В. Я., “Эквивалентность двух исчислений равенств элементарных по Кальмару функций”, Логика и основания математики, 1982, 17–19
Бочерников В. Я., “Закон исключенного третьего и проблема NP равно co-NP”, Сибирский математичекий журнал, 48:2 (1987), 34–48
Бочерников В. Я., “Не выводимость некоторых свойств оракульных множеств”, Проблемы современной математики, 34:2 (2017), 34–51
