0N8 第阶段：史前期 http://robolab.sjtu.edu.cn 冬数理逻辑 爱尔兰数学家布尔(Geor ge Bo01e,1815-1864)发明了布尔 代数，将逻辑学由哲学变成了数 学。将符号语言与运算结合，可 表示任何事物，为逻辑推理建立 了严密的形式语言。 10 RIR.SJTU数理逻辑  爱尔兰数学家布尔（George Boole,1815-1864）发明了布尔 代数，将逻辑学由哲学变成了数 学。将符号语言与运算结合，可 表示任何事物，为逻辑推理建立 了严密的形式语言。 10 http://robolab.sjtu.edu.cn RIR.SJTU 第1阶段：史前期