koob.ru

Гончаров С.С.. Книги онлайн

Гончаров С.С.

Сергей Савостьянович Гончаров (24 сентября 1951 года, Новосибирск, СССР) — советский и российский математик и организатор науки, академик РАН (2016), профессор, специалист в области математической логики и теории вычислимости.

Родился 24 сентября 1951 года в Новосибирске.

В 1973 году окончил с отличием механико-математический факультет Новосибирского государственного университета (НГУ).

В 1974 году — защита кандидатской диссертации, тема: «Конструктивные булевы алгебры».

В 1977 году присвоено учёное звание доцента НГУ.

В 1981 году — защита докторской диссертации, тема: «Неавтоэквивалентные конструктивизации».

В 1985 году присвоено учёное звание профессора НГУ.

В 1991 году — учредитель (выборщик) Российской Академии Наук.

В 1993 году — избран член-корреспондентом Академии Наук Высшей Школы.

В 1995 году — избран действительным членом Международной Академии Наук Высшей Школы.

В 1997 году — избран член-корреспондентом РАН.

В 2002 году — избран действительным членом Европейской Академии Наук.

В 2016 году — избран действительным членом РАН.

Книги (1)

Счётные булевы алгебры и разрешимость
Раздел библиотеки: Математика

Алгебраические основы теории булевых алгебр излагаются основе критерия Воота и доказательства Ершова классификации Кетонена.

Изучаются элементарные теории и алгоритмические свойства булевых алгебр.

Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.

Добавить отзыв об авторе
Библиотека «Куб» Почта