Научно-популярная лекция «A Logical Revolution»
9 марта 2022
Общие новости
Научно-образовательный математический центр Приволжского федерального округа (mathcenter.kpfu.ru) приглашает на научно-популярную лекцию «A Logical Revolution», с которой выступит Моше Яаков Варди (Moshe Y. Vardi - израильский математик и информатик, член Американской Национальной инженерной Академии, Национальной Академии наук США, Европейской Академии, почётный профессор информатики Университета Райса (Хьюстон, Техас, США).
Лекция состоится в четверг 10 марта 2022 г. Начало в 18:00 (мск).
Подключиться к конференции Zoom можно по ссылке:
https://us02web.zoom.us/j/81360035424?pwd=KzljaGE3QndvbjVacEZKMGNBMFF3dz09
Идентификатор конференции: 813 6003 5424
Код доступа: 392551
Аннотация лекции: Mathematical logic was developed in an effort to provide formal foundations for mathematics. In this quest, which ultimately failed, logic begat computer science, yielding both computers and theoretical computer science. But then logic turned out to be a disappointment as foundations for computer science, as almost all decision problems in logic are either unsolvable or intractable. Starting from the mid 1970s, however, there has been a quiet revolution in logic in computer science, and problems that are theoretically undecidable or intractable were shown to be quite feasible in practice. This talk describes the rise, fall, and rise of logic in computer science, describing several modern applications of logic to computing, include databases, hardware design, and software engineering.
Задать вопрос