学术探索 探索理论计算机科学的发展

8月1日，Professor Gareth Howells向同学们讲授了关于理论计算机科学的相关内容，他提到“停机问题探讨了是否存在一种通用算法可以判断任意程序在给定输入下会否停止运行。图灵证明了这种算法是不存在的，通过构建一个矛盾程序，如果停机测试器判断程序会停机，它将进入无限循环；如果判断会无限循环，它将停机。”同学们了解到：“停机问题”的发现揭示了计算和逻辑的局限性，表明有些问题是无法决定的，奠定了理解计算可行性限制的基础，并推动了理论计算机科学的发展，也激发了同学们对计算机科学的兴趣。

学术交流与文化体验

与CSEE教授交流与学生体验分享

课程结束后，埃塞克斯大学CSEE学院Professor Reinhold Scherer和Gareth Howells与同学们在Wivenhoe House共进午餐，期间，Reinhold Scherer询问同学们几天来在埃塞克斯大学体验如何，同学们也积极回应，表示“校园环境美丽、日程安排充实”，将这几天的行程与所见所闻分享给Reinhold Scherer和Gareth Howells。与此同时，同学们也对埃塞克斯不懂的地方向两位教授请教，不仅让同学们更加了解埃塞克斯大学以及自己第四年在英的事情，也提高了同学们的英语交流能力。

深度体验

埃塞克斯大学SU的职能与校园文化

午餐后，在Kayleigh Hall的带领下，同学们来到了埃塞克斯大学Student Union。在这里，埃塞克斯大学学联的Joe和Sophie向我们讲述了埃塞克斯大学Student Union的职能以及我们大四赴英学习时，学联能够给予我们的帮助，接着带我们一起观看了Essex Student Union的宣传片，参观了学校的Symbol Cat——Pebbles。在Joe的讲述中，同学们了解到，Student Union是一个自由度很高并且备受重视的学生组织，会接收并施行学生的所有合理诉求，在校园有专门的一堵墙，专门记录了学校建校60年来所有的Student Union干部。