ข้อมูลและตรรกะทางคณิตศาสตร์