Mathematical Sciences: Meeting: Logical Methods in Mathematics and Computer Science

逻辑方法正在发挥越来越重要的作用 在计算机科学和数学的许多领域。 的 应用逻辑方法的问题，在这两个领域， 特别是，逻辑方法可以应用于 理解计算理论，包括研究 数学中定理的有效或计算内容， 如何用逻辑方法来解决各种问题， 计算机科学是这次会议活动的重点。 主题将包括递归理论，递归和多项式 时间数学，通用计算理论，自动机， 复杂性理论，以及其他各种逻辑应用 计算机科学，包括非经典逻辑，如时态逻辑 动态逻辑、并发编程、非单调 推理、程序验证和混合控制。 该项目将支持逻辑方法会议， 数学和计算机科学将在康奈尔大学举行 1992年6月1日至3日。 本次会议的目的是带来 来自数学和计算机科学的研究人员 探索逻辑方法在解决问题中的许多应用 在这两个领域，并加强相互作用， 数学逻辑学家和计算机科学家。

Logical methods are playing an increasingly important role in many areas of computer science and mathematics. The applications of logical methods to problems in both areas, in particular, the ways in which logical methods can be applied to understand the theory of computation including the study of the effective or computational content of theorems in mathematics and how logical methods can be used to solve a variety of problems in computer science are the foci of this conference activity. Topics will include recursion theory, recursive and polynomial time mathematics, the general theory of computation, automata, complexity theory, and various other applications of logic within computer science including non-classical logics such as temporal and dynamic logic, concurrent programming, nonmonotonic reasoning, program verification, and hybrid control. This project will support the Meeting on Logical Methods in Mathematics and Computer Science to be held at Cornell University from June 1-3, 1992. The purpose of this conference is to bring together researchers from both mathematics and computer science to explore the many applications of logical methods to problems in both areas and to increase the interaction between mathematical logicians and computer scientists.