理论计算机科学中的几个问题应明生.pptVIP

理论计算机科学中的几个问题 应明生 清华大学计算机科学与技术系 智能技术与系统国家重点实验室 EATCS(欧洲理论计算机科学协会)： 主办杂志： Theoretical Computer Science 主办会议：ICALP (International Colloquim on Automata, Languages, and Programming) “Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivations from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies.” Section A: Algorithms, automata, complexity and games Section B: Logic, semantics and theory of