Finite and Algorithmic Model Theory

有限和算法模型理论

• 批准号: EP/D056853/1
• 负责人: Iain Stewart
• 金额: $ 2.42万
• 依托单位: Durham University
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2006
• 资助国家: 英国
• 起止时间: 2006 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FD056853%2F1
• 关键词: Finite; Algorithmic; Model; Theory

Mathematics plays an important role in computer science, especially logic. The study of the logical aspects of computer science enables us to prove things about computers and computer programs. The study of logic in computer science has enabled us to develop new programming languages, new techniques to solve problems and new ways of solving problems. This workshop is an opportunity for mathematicians, who sometimes dont concern themselves with computer science, and computer scientists to get together and see how they can further develop the role of mathematics within computer science.

数学在计算机科学中起着重要的作用，尤其是逻辑学。对计算机科学逻辑方面的研究使我们能够证明有关计算机和计算机程序的事情。计算机科学中的逻辑研究使我们能够开发新的编程语言，解决问题的新技术和解决问题的新方法。这个研讨会是一个机会，数学家，谁有时不关心自己与计算机科学，和计算机科学家聚在一起，看看他们如何能够进一步发展数学在计算机科学中的作用。