Математика, Інформатика