В субботу, 30 марта, в 16:50 в Институте математики и информатики (ул. Краснопрудная, 14, аудитория 301) состоится лекция “Доказательства и вычисления”. Лекцию прочтет Д. Д. Рогозин, разработчик, Serokell OÜ.
Доказательства — это строгие рассуждения, которые используются для подтверждения того факта, что то или иное математическое утверждение верно. В то же время математические вычисления сегодня часто выполняются на компьютере, и значит напрямую связаны с программированием. Казалось бы, эти два понятия не имеют между собой ничего общего, но мы увидим, что доказательства и вычисления в математике тесно связаны. Более того, такая связь имеет массу приложений в реальной жизни, в особенности в программировании, что мы увидим на примере языка Haskell. На лекции мы будем часто обращаться к таким важным разделам математической логики, как теория доказательств и теория алгоритмов, чего бояться совершенно не стоит: все необходимые понятия мы разберем на наглядных примерах. Материал будет доступен учащимся 7-8 классов.