设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文

博文

最新发表的博文| 推荐阅读的博文

科研笔记| 论文交流| 教学心得| 观点评述| 科普集锦| 海外观察| 人物纪事| 图片百科| 人文社科| 诗词雅集| 生活其它| 博客资讯|

证明论 PROOF THEORY: 眭跃飞 2026-3-12 21:40; 证明论 PROOF THEORY Gaisi TAKEUTI 著眭跃飞译 NORTH-HOLLAND PUBLISHING COMPANY，1975 原作者序该书是基于我于1968年在Buffalo举办的Symposiumon Intuitionism and Proof Theory上给的讲座. 在Buffalo会议上发布的讲座是在John Myhill教授和Akiko Kino教授帮助下完 ...; 478 次阅读|没有评论

模型论 Model Theory: 眭跃飞 2026-3-12 21:30; 模型论 Model Theory （第三版） C.C.CHANG H.Jerome KREISLER 著眭跃飞译 NORTH-HOLLAND ，1992 原作者序模型论是数理逻辑的分支讨论一个形式语言和它的解释或模型之间的联系. 在该书中我们将呈现一阶谓词逻辑的模型论, 它是最简单的语言有着应用于数学的主体 ...; 399 次阅读|没有评论

集合论讲义: 特别强调力迫方法: 眭跃飞 2026-3-12 21:13; 集合论讲义: 特别强调力迫方法 Lectures in Set Theory with Particular Emphasis on the Method of Forcing THOMAS J. JECH著 SUI YUEFEI译数学讲义217, Springer-Verlag 1971 原作者序该笔记包括我在state University of New York in Buffalo于1969-70讲授的研究生课程 ...; 397 次阅读|没有评论

保障食物安全需要消费者觉醒: 蒋高明 2026-3-12 20:55; 保障食物安全需要消费者觉醒蒋高明之所以有那么多的化学物质进入食物链，一方面是消费者不知情的结果，另一方面是消费者图便宜或追求美观，客观上鼓励了化学物质进入食物链。其实，不用那么多化学物质，也是能够生产食物的，也能够进行储藏和运输。很多人认为“生态农业不能养活目前的人口”，这是石化农资灌 ...; 430 次阅读|没有评论

高级递归论 Higher Recursion Theory: 眭跃飞 2026-3-12 20:55; 高级递归论 Higher Recursion Theory Gerald E.SACKS著眭跃飞译 Cambridge University Press, 1990 原作者序高级递归论(HRT)是我前二十年的两个主要着迷之一. 尽管如此我的兴趣没有被磨灭. 大概因为, 如Browning宣称的: 最好的是将来的. 我是由G. Kr ...; 407 次阅读|没有评论

递归函数理论以及有效可计算性: 眭跃飞 2026-3-12 20:13; 递归函数理论以及有效可计算性 Theory of Recursive Functions and Effective Computability Hartley ROGERS, Jr. 著眭跃飞译 McGraw-Hill Book Company, 1967 序在1944年对美国数学协会的演讲中, E.L.Post总结说, “的确, 如果一般递归函数是有效可计算性的形式等价, ...; 420 次阅读|没有评论

GRL-24篇 JGR: Solid Earth-8篇: 谭亲平 2026-3-12 19:56; “意得辑” 主要为英文非母语的科研作者提供英文润色、学术翻译、SCI/EI/SSCI发表指导等服务。意得辑拥有2000多名具有专业学科背景的资深英文母语编辑、翻译、发表专家团队。意得辑与地学之家合作以来，致力于为地学用户提供专享优惠：使用优惠代码 GHOAL85 下单，标准润 ...; 467 次阅读|没有评论

价廉物美油焖春笋（5斤19元）: 黄安年 2026-3-12 19:49; 价廉物美油焖春笋（ 5 斤 19 元）黄安年文黄安年的博客 2026 年 3 月 12 日发布，第 3 8952 篇目前正是品尝时新菜春笋的大好时机。昨天由实体店购得三支春笋，每斤 13 元，据东方卫视报道上海春笋每斤 4 元。今 ...; 440 次阅读|没有评论

肖军政、张世祥、龚道明、张运成论文答辩（1994.6.10）【《美国学师友》黄钟律吕书屋出品】: 黄安年 2026-3-12 17:49; 肖军政、张世祥、龚道明、张运成论文答辩（ 1994.6.10）【《美国学师友》黄钟律吕书屋出品】黄安年文黄安年的博客 2026 年 3 月 12 日发布，第 38 9 51 篇【黄钟律吕书屋个人论著 HZLLSW GRLZ20 2 6.0 ...; 453 次阅读|没有评论

1 2 345 6 7 8 9 10 ... 25438 下一页

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2026-3-14 06:34

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部