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 日在康奈尔大学举行的数学和计算机科学逻辑方法会议。该会议的目的是汇集数学和计算机科学领域的研究人员，探讨逻辑方法的许多应用。解决这两个领域问题的逻辑方法，并增加数理逻辑学家和计算机科学家之间的互动。