离散数学,形式化逻辑语言,计算机奠基。。。。。