单项选择题

A.控制论
B.狭义信息论
C.可计算理论
D.逻辑代数