课题基金 / 基金详情

Mathematical Sciences: Universal Algebra and Lattice Theory

Mathematical Sciences: Universal Algebra and Lattice Theory
数学科学:通用代数和格论
批准号:
8800290
负责人:
Bjarni Jonsson
金额:
$6.35万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-06-15 至 1990-11-30

项目摘要

项目成果

Bjarni Jonsson的其他基金

相似基金

相关文献

中文摘要
翻译
本研究的长远目标是提供一种统一处理由布尔代数和附加运算组成的各种代数结构的方法。一个主要的努力将是在这个框架内发展对计算程序和相关概念的解释,它比动态代数的概念更忠实地代表这些概念的操作特性。这将导致关于布尔代数上各种算子类的其他普遍感兴趣的问题。这项研究是在广泛的接口逻辑,代数和计算机科学。通用代数和格的主题将被研究为它们自己的权利和它们在理论计算机科学中的应用。
英文摘要
The long range goal of this research is to provide a unified treatment of various algebraic structures consisting of a Boolean algebra with additional operations. A major effort will be made to develop within that framework an interpretation of computing programs and of related concepts that represents more faithfully the operational properties of these concepts than does the notion of a dynamic algebra. This will lead to other questions of general interest concerning various classes of operators on a Boolean algebra. This research is at the broad interface of logic, algebra and computer science. The subject of universal algebra and lattices will be studied for their own right and for their applications to theoretical computer science.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Mathematical Sciences: Universal Algebra and Lattice Theory
  • 批准号:
    8600251
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $5.61万
  • 财政年份:
    1986
  • 负责人:
    Bjarni Jonsson
  • 依托单位:
Mathematical Sciences: Universal Algebra and Lattice Theory
  • 批准号:
    8300107
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $8.16万
  • 财政年份:
    1983
  • 负责人:
    Bjarni Jonsson
  • 依托单位:
Universal Algebra and Lattice Theory
  • 批准号:
    7901735
  • 项目类别:
    Standard Grant
  • 资助金额:
    $8.21万
  • 财政年份:
    1979
  • 负责人:
    Bjarni Jonsson
  • 依托单位:
Universal Algebra and Lattice Theory
  • 批准号:
    7606447
  • 项目类别:
    Standard Grant
  • 资助金额:
    $8.57万
  • 财政年份:
    1976
  • 负责人:
    Bjarni Jonsson
  • 依托单位:
国内基金
海外基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
  • 批准号:
    12226504
  • 项目类别:
    数学天元基金项目
  • 资助金额:
    20.0万元
  • 批准年份:
    2022
  • 负责人:
    黄朝凌
  • 依托单位:
SCIENCE CHINA: Earth Sciences
Journal of Environmental Sciences
SCIENCE CHINA Information Sciences