图灵机

我们在日常生活中享受着各种智慧产品所带来的方便，由于电脑强大运算能力带来的低延迟，很容易就让人忘记这些方便其实来自于电脑在背后进行的巨量运算，也容易忽略电脑能解决的问题其实有其限制。董世平教授将从简单的数学问题出发，介绍电脑的可算性、可行性，探讨当今电脑科学界数一数二重要的问题，带我们认识现在计算科学的样貌。