ул. Льва Толстого, 16

Математическая логика в компьютерных науках

Регистрация закрыта

21 июля в Яндексе выступили выдающиеся специалисты по использованию математической логики в компьютерных науках Моше Варди (Moshe Y. Vardi) и Сэмюэл Басс (Samuel R. Buss).

Сэмюэл Басс — профессор математики Калифорнийского университета в Сан-Диего. Занимается исследованиями в области сложности вычислений и сложности доказательств. Является одним из создателей Bounded Arithmetic — направления, которое объединяет теории сложности вычислений и доказательств с формальной арифметикой. Также известен своими работами по численным методам и компьютерной графике. В докладе «The power of diagonalization for separating of complexity classes» Басс рассказал о старых и новых результатах применения метода диагонализации в задачах о разделении сложностных классов.

Моше Варди — профессор компьютерных наук университета Райса, лауреат премии Гёделя. Автор более 500 научных статей, а также соавтор двух книг: «Reasoning about Knowledge» и «Finite Model Theory and Its Applications». Является одним из ведущих специалистов в области многоагентных систем, а также в теориях баз данных, конечных моделей и верификации. В докладе «A Logical Revolution» Варди рассказал о том, как практическое приложение логики в компьютерных науках привело к смене парадигм и «тихой революции» в этих областях.

21 июля в Яндексе выступили два выдающихся специалиста по использованию математической логики в компьютерных науках: Моше Варди (Moshe Y. Vardi) и Сэмюэл Басс (Samuel R. Buss).

Спикеры

Samuel Buss
Moshe Vardi
the Ken Kennedy Institute for Information Technology Institute at Rice University

Программа

21 июля в 18:00
ул. Льва Толстого, 16

Математическая логика в компьютерных науках

Регистрация закрыта

Если вы нашли ошибку, пожалуйста, сообщите нам.
Яндекс может помочь с проведением вашего мероприятия. Подробнее
Подпишитесь:
Все материалы доступны по лицензии CC BY-NC 3.0 с обязательным указанием © ООО «Яндекс»
Wed Sep 23 2020 17:59:55 GMT+0300 (Moscow Standard Time)