检索结果(列表显示) 点击切换之【表格方式显示】 【返回上一页】

  

  

搜索 郁文生 获得约2条结果，以下是第1-10条。 (用时 00.748 秒)  



O171/G815
  • 分析基础机器证明系统/郁文生，付尧顺，郭礼权著.--科学出版社,2022
  • ISBN:978-7-03-070671-3
  • 内容摘要:本书共6章，内容包括：引言、分析基础的形式化系统实现、实数完备性等价命题的机器证明、闭区间上连续函数性质的机器证明、第三代微积分的形式化实现、总结与注记。
  • 复本数:[1] 可外借数:[1] 已外借数:[0] 历史借阅次数:[0]
    •

TP181/Y849
  • 自然数的紧化延伸机器证明系统/郁文生，窦国威著.--科学出版社,2024
  • ISBN:978-7-03-077545-0
  • 内容摘要:本书共6章，内容包括：引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。
  • 复本数:[1] 可外借数:[1] 已外借数:[0] 历史借阅次数:[0]
    •