2870 Klasa matematyczno-informatyczna: komputer wsparciem dla rozumowania i wnioskowania matematycznego