В среду 16 мая в 15 часов 50 минут в актовом зале школы 179 будет прочитана лекция "О красоте теоретической информатики"
Александр Охотин (СПбГУ, образовательная программа "математика") прочитает лекцию "О красоте теоретической информатики"
Теоретическая информатика (theoretical computer science) - это область
на стыке математики и информатики, изучающая абстрактные идеи, лежащие в
основе технологий обработки информации. По форме это математика,
состоящая из определений, теорем и доказательств; при этом изучаются
вопросы, имеющие отношение к представлению информации, моделям
вычислений, алгоритмам решения задач и подобным вещам. В лекции будет
рассказано о нескольких классических результатах, типичных для этой
области: в частности, о том, как можно умножать числа быстрее, чем в
столбик; об описании синтаксиса языков и об ограничениях таких описаний;
о логически обратимых вычислениях, допускающих работу от конца к началу;
о недетерминированных вычислениях, в которых программа может угадать
правильное действие.
Приглашаются все желающие (особенно 10- и 11-классники)!