11 мая 2013 года состоится очередное заседание математического Студенческого научного общества «Интеграл».

11 мая 2013 года (в субботу), в 11.30, в аудитории № 215 состоится очередное заседание математического Студенческого научного общества  «Интеграл» при кафедре Информатики и математики.

Тема: «Машинные доказательства теорем»

Приглашаются все желающие.