陈廷槐
陈廷槐,教授。重庆人。1950年毕业于重庆大学数学系。历任重庆大学讲师、副教授、教授、计算机研究所所长。长期从事计算机诊断、容错、多值逻辑等方面的理论研究,提出四值逻辑与星算法,解决了动态测度问题。著有《数字系统的容错与衣断》、《多值逻辑的理论与应用》、《容错与诊断的系统研究》。
陈廷槐,教授。重庆人。1950年毕业于重庆大学数学系。历任重庆大学讲师、副教授、教授、计算机研究所所长。长期从事计算机诊断、容错、多值逻辑等方面的理论研究,提出四值逻辑与星算法,解决了动态测度问题。著有《数字系统的容错与衣断》、《多值逻辑的理论与应用》、《容错与诊断的系统研究》。