课题基金 / 基金详情

Mathematical Sciences: Southern Wisconsin Logic Colloquium

Mathematical Sciences: Southern Wisconsin Logic Colloquium
数学科学:威斯康星州南部逻辑研讨会
批准号:
9413458
负责人:
Steffen Lempp
金额:
$1.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-12-01 至 1997-11-30

项目摘要

项目成果

Steffen Lempp的其他基金

相似基金

相关文献

中文摘要
翻译
9413458 Lempp南威斯康星逻辑研讨会现已进入第五个年头,仍然是美国最大的区域逻辑研讨会之一,每隔一周举行一到两次讲座,平均吸引了来自威斯康星大学麦迪逊分校、密尔沃基马凯特大学(密尔沃基)、威斯康星大学帕克赛德分校(基诺沙)和威斯康星大学罗克县分校(简斯维尔)的二三十名教职员工和研究生。讲座涵盖了整个逻辑领域,包括数理逻辑的所有领域,以及在计算机科学、语言学和工业中应用的逻辑。***
英文摘要
9413458 Lempp The Southern Wisconsin Logic Colloquium, now in its fifth year, continues to be one of the largest regional logic seminars in the country, meeting every other week for one or two talks and attracting an average of twenty or thirty faculty and graduate students from the University of Wisconsin-Madison, Marquette University (Milwaukee), the University of Wisconsin-Parkside (Kenosha), and the University of Wisconsin Center-Rock County (Janesville). Talks represent the whole spectrum of logic, including all areas of mathematical logic and logic applied in computer science, linguistics, and industry. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability Theory
  • 批准号:
    0555381
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2006
  • 负责人:
    Steffen Lempp
  • 依托单位:
Computability Theory
  • 批准号:
    0140120
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2002
  • 负责人:
    Steffen Lempp
  • 依托单位:
Computability and Effective Constructions in Mathematics
  • 批准号:
    0075899
  • 项目类别:
    Standard Grant
  • 资助金额:
    $3.52万
  • 财政年份:
    2000
  • 负责人:
    Steffen Lempp
  • 依托单位:
Computability, Enumerability, Decidability and Definability
  • 批准号:
    9732526
  • 项目类别:
    Standard Grant
  • 资助金额:
    $9.66万
  • 财政年份:
    1998
  • 负责人:
    Steffen Lempp
  • 依托单位:
国内基金
海外基金
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