【摘 要】
：
Although theoretical computer science has its origin in logic,starting from 80s,methods and results from algebra and combinatorics have taken a leading role
论文部分内容阅读
Although theoretical computer science has its origin in logic,starting from 80s,methods and results from algebra and combinatorics have taken a leading role,particularly dominating the algorithms and complexity research.However,there are a number of recent results showing that logic can indeed help us better understand a few very concrete algorithmic and complexity problems,which at first sight dont seem to be related to logic at all.In this talk,I will explain some of those results connecting logic definability,structural graph theory,and computational complexity.
其他文献
Classic epistemic logic focuses on propositional knowledge(knowing that p).However,various kinds of knowledge are used in everyday life,which suggest non-st
根据向家坝水电站主要工程地质条件、存在的地质问题和工程建设实践，系统介绍了大坝坝基、地下洞室群、高边坡、沉井群和原状坡的岩土处理技术，提出了相关经验总结。
众所周知，利用图灵机人们能够为自然数上的可计算性下一个精确的定义。然而，当我们在更高的类型上(如实数上)谈论算法和可计算性时，事情就不那么简单了。例如，两个有代表性的
岩石高边坡稳定性是水电站建设能否顺利进行的关键问题之一。锦屏一级水电站左岸边坡地应力高、断层裂隙发育、岩体卸荷深度大，地质条件十分复杂，边坡在施工期和运行期的稳
向家坝水电站左岸人工边坡高陡,规模巨大,全长1530m,边坡最大高度约300m.依据边坡岩体特征,以磨刀溪为界,大体可分为2段,磨刀溪上游段主要为T33岩组边坡(局部为T32-6岩组
针对锦屏一级水电站左岸边坡突出的稳定性问题，结合微震监测技术，研究了边坡预警框架、微震预警功能、多元信息融合判据，构建边坡稳定性安全预警体系，提出锦屏一级水电站左岸
布仑口-公格尔水电站地处昆仑山腹地，在强烈的构造运动作用下致使引水发电洞前段存在高地温现象，局部岩温达100多摄氏度，给工程施工带来了巨大的困难和挑战.结合工程特点通
汶川“5.12”地震后至今，岷江流域频发震后次生灾害，主要次生灾害为山体滑坡、河道淤积和泥石流.本文结合岷江流域汶川至映秀段几个水电站的灾后修复工程，介绍了“5.12”地
We navigate the history of philosophy,focus mostly on the so called linguistic turn of modern philosophy.We will also retrospect the development of modern l