Home

Семинар 10 октября 2008 года

Пятница, 10 октября, комната 106. Начало в 18:00.

Докладчик: К. Шмаков.

Тема: "Вполне натуральные" доказательства.

Abstract

В докладе будет рассказано о "натуральных" свойствах булевых функций и приведены некоторые примеры их использования: как позитивные, так и негативные.