Uroczyste zakończenie „Matematycznych potyczek z komputerem”