Академик Сергей Савостьянович Гончаров отмечает 75‑летие!
Академик Сергей Савостьянович Гончаров отмечает 75‑летие! Один из основоположников семантического программирования и признанный лидер в области математической логики. Научная деятельность учёного связана с теорией конструктивных и вычислимых моделей, теорией алгоритмов, теорией моделей и теорией вычислимых нумераций. Его работы повлияли на развитие теории вычислимости, алгебры и применения логики в программировании. Награждён орденом Дружбы и орденом Почёта. Сердечно поздравляем с юбилеем, желаем благополучия и бодрости духа!
831 просмотров