COMPUTATIONAL PROSPECTS OF INFINITY - PART II:PRESENTED TALKS(LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)

无限元计算前景:第二部分--当前讨论

数理逻辑与数学基础

原   价:
1748.00
售   价:
1311.00
发货周期:预计3-5周发货
作      者
出  版 社
出版时间
2008年06月03日
装      帧
精装
ISBN
9789812796547
复制
页      码
432
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 49 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability theory) and set theory. Topics covered include the structure theory of various notions of degrees of unsolvability, algorithmic randomness, reverse mathematics, forcing, large cardinals and inner model theory, and many others. Key Features • Includes contributions by many of the leading researchers covering a wide spectrum of contemporary research in two of the major areas of mathematical logic • Contains expository articles that serve as useful guides for first-year and advanced graduate students in logic to the current active areas of research in recursion theory and set theory
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个