数理逻辑与计算机科学 1946年，德国数学家Von Neumann提 出计算机模型 ■计算机模型根植于数理逻辑、图林机与 布尔代数。 ■Turing机：数字电子计算机的抽象雏形 布尔代数：设计数字电子计算机的数学 工具 55 数理逻辑与计算机科学 n 1946年，德国数学家Von Neumann提 出计算机模型 n 计算机模型根植于数理逻辑、图林机与 布尔代数。 n Turing机：数字电子计算机的抽象雏形 n 布尔代数：设计数字电子计算机的数学 工具