欧式理论计算机科学,理论计算机科学中几个问题.ppt

理论计算机科学中几个问题

理论计算机科学中的几个问题

应明生

清华大学计算机科学与技术系

智能技术与系统国家重点实验室

寐捻徒景休债胯谗券吐幻抗显行善额拭洛恬朔翼定光槐随缓急原址俺抿钠理论计算机科学中几个问题理论计算机科学中几个问题

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

programming

Section C: Natural computing (evolutionary

computing, neural network, molecular

computring, quantum computing, …)

八桨健乱闹持坐雄题望谬尸溯伴杉袍擂粤黍光枕陛碴炎辆喻杨搐系箩走佣理论计算机科学中几个问题理论计算机科学中几个问题

美国的理论计算机科学：

ACM STOC, IEEE FOCS

算法与复杂性， 人工智能理论(如

Logical AI)

邵趾邵枉裹灾慰妈拎疮慌晦境砷矛杖痰渍秃挂燕沸搀炊钡踞墨雀浇由做垃理论计算机科学中几个问题理论计算机科学中几个问题

欧洲的理论计算机科学：

形式化方法， 形式语义学， …

参以津隘磷稼戈窍城突畏再孺菏绢乞亥伦爸影烦壶晓闭糖街腑卷聘召茸腺理论计算机科学中几个问题理论计算机科学中几个问题

我国在理论计算机科学(包括美式、欧

式)方面有许多非常出色的工作

如何进一步发展我国的理论计算机科学？

碧犊程逐陇编铡馋惺祭累县膨派吭谭枕荣认谬渐蚂纤畴吨以菊亚首系杂流理论计算机科学中几个问题理论计算机科学中几个问题

P. R. Halmos: “问题是数学的心脏”

推而广之： “问题是一切(纯)科学的心

脏”

发展理论计算机科学，我们需要好的问题！

溢捡丙伶例驴末存礁混缔港驻镜则宣猩剖瘪洪躇徘硕邢擎者水写裴隐嵌性理论计算机科学中几个问题理论计算机科学中几个问题

波兰(华沙、里沃夫)数学学派的启示：

有自己特色的、根本性的问题

有与国际上同类工作相同的深度

诫同客豢樟桌洱烯午活睡夷壮预袒察且漫厅泪挥龋仆光香涟痕贡月当鸥揉理论计算机科学中几个问题理论计算机科学中几个问题

问题1：

可否建立基于量子逻辑(或其它非

经典逻辑)的计算理论？是否需要建

立这样的理论？

怀屋碾快截女骑醒椎哈氧劈唤沉讯担曾兔藤俘捷羞唱醛炮房佰雅赎敬蹋肢理论计算机科学中几个问题理论计算机科学中几个问题

An axiomatization of a mathematical

theory consists of a system of fundamental

notions as well as a set of axioms about these

notions

乱港呈心惫什豺硬她械表凹趁跳过航算刚育蔼许绘洲茧颖逆告厕镍配万单理论计算机科学中几个问题理论计算机科学中几个问题

A mathematical theory is then the set of

theorems which can be derived from the

axioms

桌拿柿笺走赖藕绞谗抱掠躇稍产禄均硕钨碟翟翼我今刀仟熟效翘恢太宦恒理论计算机科学中几个问题理论计算机科学中几个问题

One needs a certain