1,0×
5 просмотров · 9 лет назад
00:00/01:07:59
Описание
012. A Logical Revolution - Moshe Vardi
9 лет назад • 5 просмотров
Моше Варди — профессор компьютерных наук университета Райса, лауреат премии Гёделя. Автор более 500 научных статей, а также соавтор двух книг: «Reasoning about Knowledge» и «Finite Model Theory and Its Applications». Является одним из ведущих специалистов в области многоагентных систем, а также в теориях баз данных, конечных моделей и верификации. В докладе «A Logical Revolution» Варди рассказал о том, как практическое приложение логики в компьютерных науках привело к смене парадигм и «тихой революции» в этих областях.