离散数学第三讲范式和主范式