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

数学科学：会议：数学和计算机科学中的逻辑方法

• 批准号: 9203905
• 负责人: Richard Shore
• 金额: $ 0.7万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-05-01 至 1993-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9203905&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Meeting; Logical; Methods

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.

逻辑方法在计算机科学和数学的许多领域都起着越来越重要的作用。 逻辑方法在这两个领域的问题上的应用，特别是如何应用逻辑方法来理解计算理论，包括研究数学定理的有效或计算含量，以及如何使用逻辑方法来解决计算机科学中的各种问题。 主题将包括递归理论，递归和多项式时间数学，计算，自动机理论，复杂性理论的一般理论以及计算机科学中逻辑的各种其他应用，包括非经典逻辑，包括时间和动态逻辑，诸如同时进行的，同意的程序，非单调的，非单调的推理，程序验证，程序验证以及杂种控制。 该项目将支持1992年6月1日至3日在康奈尔大学举行的数学和计算机科学逻辑方法会议。这次会议的目的是将来自数学和计算机科学的研究人员汇集在一起​​，以探索逻辑方法在这两个领域的许多应用程序，并增加数学逻辑学家和计算机科学家之间的相互作用。