Algebraic and relational structures
Algebraic and relational structures
批准号:
RGPIN-2015-05661
负责人:
Valeriote, Matthew
金额:
$1.82万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2017
资助国家:
加拿大
项目状态:
已结题
起止时间:
2017-01-01 至 2018-12-31
中文摘要
代数和关系结构出现在许多不同的环境中,不仅在数学中,而且在大多数科学中,甚至在日常生活中。例如,被称为群的代数被用来表示晶体和其他物理系统的对称性,布尔代数被用来编纂逻辑规则。许多其他常见的系统,特别是那些由计算机科学问题引起的系统,可以用代数的方式来看待。因此,对代数和关系结构的研究可以对科学的几个分支产生影响,特别是对计算机科学。
英文摘要
Algebraic and relational structures arise in many different contexts, not only within mathematics, but in most of the sciences, and even in day to day life. For example, algebras known as groups are used to represent the symmetries of crystals and other physical systems and Boolean algebras are used to codify rules of logic. Many other common systems, in particular those arising from questions in computer science can be viewed in an algebraic way. Thus research on algebraic and relational structures can have an impact on several branches of the sciences and in particular on computer science.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Algebra, logic, and complexity
-
批准号:RGPIN-2020-05714
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2022
-
负责人:Valeriote, Matthew
-
依托单位:
Algebra, logic, and complexity
-
批准号:RGPIN-2020-05714
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2021
-
负责人:Valeriote, Matthew
-
依托单位:
Algebra, logic, and complexity
-
批准号:RGPIN-2020-05714
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2020
-
负责人:Valeriote, Matthew
-
依托单位:
Algebraic and relational structures
-
批准号:RGPIN-2015-05661
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2019
-
负责人:Valeriote, Matthew
-
依托单位:
Algebraic and relational structures
-
批准号:RGPIN-2015-05661
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2018
-
负责人:Valeriote, Matthew
-
依托单位:
Algebraic and relational structures
-
批准号:RGPIN-2015-05661
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2016
-
负责人:Valeriote, Matthew
-
依托单位:
Algebraic and relational structures
-
批准号:RGPIN-2015-05661
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2015
-
负责人:Valeriote, Matthew
-
依托单位:
Algebric and relational structures
-
批准号:124205-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2014
-
负责人:Valeriote, Matthew
-
依托单位:
Algebric and relational structures
-
批准号:124205-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2013
-
负责人:Valeriote, Matthew
-
依托单位:
Algebric and relational structures
-
批准号:124205-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2012
-
负责人:Valeriote, Matthew
-
依托单位:
Algebric and relational structures
-
批准号:124205-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2011
-
负责人:Valeriote, Matthew
-
依托单位:
Algebric and relational structures
-
批准号:124205-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2010
-
负责人:Valeriote, Matthew
-
依托单位:
The structure of finite algebras
-
批准号:124205-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2009
-
负责人:Valeriote, Matthew
-
依托单位:
The structure of finite algebras
-
批准号:124205-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2008
-
负责人:Valeriote, Matthew
-
依托单位:
The structure of finite algebras
-
批准号:124205-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2007
-
负责人:Valeriote, Matthew
-
依托单位:
The structure of finite algebras
-
批准号:124205-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2006
-
负责人:Valeriote, Matthew
-
依托单位:
The structure of finite algebras
-
批准号:124205-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2005
-
负责人:Valeriote, Matthew
-
依托单位:
Structure theorems for equational classes and finite algebras
-
批准号:124205-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.22万
-
财政年份:2004
-
负责人:Valeriote, Matthew
-
依托单位:
Structure theorems for equational classes and finite algebras
-
批准号:124205-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.22万
-
财政年份:2003
-
负责人:Valeriote, Matthew
-
依托单位:
Structure theorems for equational classes and finite algebras
-
批准号:124205-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.22万
-
财政年份:2001
-
负责人:Valeriote, Matthew
-
依托单位:
海外基金