数学与逻辑模型的表达方式有_____、_____、_____和_____。