Лекция, 2 октября 2012, 19:00

Microsoft Z3: как научить компьютер доказывать теоремы и тестировать программы

бесплатно
Описание встречи

Возможно ли научить компьютер доказывать теоремы? Оказывается, существуют специальные системы, такие как Z3, которые не только автоматически доказывают теоремы, но также тестируют программное обеспечение, анализируют и проверяют его. На научно-техническом семинаре Николай Бьернер расскажет про открытую систему автоматического доказательства теорем Microsoft Z3 и ее применении. После семинара у слушателей будет возможность пообщаться с докладчиком в неформальной обстановке. Семинар пройдет на английском языке. Регистрация обязательна (http://events.yandex.ru/events/science-seminars/Bjorner-oct-2012/).

Посетили
Показать Всех
Смотрите также