Logic, Abstraction and Construction
逻辑、抽象和构造
基本信息
- 批准号:DP0556827
- 负责人:
- 金额:$ 7.7万
- 依托单位:
- 依托单位国家:澳大利亚
- 项目类别:Discovery Projects
- 财政年份:2005
- 资助国家:澳大利亚
- 起止时间:2005-01-01 至 2009-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.
这是一个纯粹的逻辑研究项目。它的目的是提高我们对世界本质的核心问题的理解,以及我们如何正确地推理它。然而,逻辑中发展起来的技术不可避免地在计算机科学、语言学、数学和相关领域中找到了应用。 特别是,这个项目将开发工具,用于现实地推理人们在数学中发现的各种抽象或构造的对象,以及我们在日常话语中使用的模糊或矛盾的概念。 此外,该项目将为研究生提供研究培训,并将加强一个已经得到国际认可的哲学逻辑研究中心。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Prof Greg Restall其他文献
Prof Greg Restall的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Prof Greg Restall', 18)}}的其他基金
Meaning in Action—new techniques for language, logic and information
行动的意义——语言、逻辑和信息的新技术
- 批准号:
DP150103801 - 财政年份:2015
- 资助金额:
$ 7.7万 - 项目类别:
Discovery Projects
Options For Proofs: New Perspectives on Propositional Logic
证明选项:命题逻辑的新视角
- 批准号:
DP0343388 - 财政年份:2003
- 资助金额:
$ 7.7万 - 项目类别:
Discovery Projects
相似海外基金
CAREER: Precise Mathematical Modeling and Experimental Validation of Radiation Heat Transfer in Complex Porous Media Using Analytical Renewal Theory Abstraction-Regressions
职业:使用分析更新理论抽象回归对复杂多孔介质中的辐射传热进行精确的数学建模和实验验证
- 批准号:
2339032 - 财政年份:2024
- 资助金额:
$ 7.7万 - 项目类别:
Continuing Grant
Abstraction as Natural Process: Whitehead's Pluralistic Philosophy of Nature
作为自然过程的抽象:怀特海的多元自然哲学
- 批准号:
22KJ0670 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
Grant-in-Aid for JSPS Fellows
The geometry of neural representations reflecting abstraction in humans
反映人类抽象的神经表征的几何形状
- 批准号:
10682315 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
An Abstraction-based Technique for Safe Reinforcement Learning
一种基于抽象的安全强化学习技术
- 批准号:
EP/X015823/1 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
Research Grant
Patterns of Trauma: Lebanese Women Artists and the Aesthetics of Abstraction in times of War
创伤模式:黎巴嫩女艺术家与战争时期的抽象美学
- 批准号:
2876423 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
Studentship
SHF: Small: Circuit Support for Maintaining the Continuous-power Abstraction in Energy Harvesting Systems
SHF:小型:用于维持能量收集系统中的连续功率抽象的电路支持
- 批准号:
2240744 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
Standard Grant
CSR: Small: RUI: Octopus OS: A High-Performance Cloud OS with Accurate Resource Abstraction.
CSR:小型:RUI:Octopus OS:具有准确资源抽象的高性能云操作系统。
- 批准号:
2324923 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
Standard Grant
CAREER: Rebuilding the Virtual Memory Abstraction Across Hardware and Operating Systems
职业:跨硬件和操作系统重建虚拟内存抽象
- 批准号:
2239311 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
Continuing Grant
SHF: Small: Compositional Certified Concurrent Abstraction Layers
SHF:小型:组合认证的并发抽象层
- 批准号:
2313433 - 财政年份:2023
- 资助金额:
$ 7.7万 - 项目类别:
Standard Grant
Unsupervised Abstraction for Better Generalization in Artificial Agents
无监督抽象以更好地泛化人工代理
- 批准号:
547986-2020 - 财政年份:2022
- 资助金额:
$ 7.7万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral