Z

使用Z.规范、细化和证明。$Z-depth是本书的语言简介。它主要面向用户;背景理论是——除了自然演绎演算,见下文——只有必要的介绍。对于市场上已有的许多$Z$书籍,一个重要的新颖特性是$Z$与精化演算和数据精化的集成。整个演讲很流畅,有许多精选的例子。在整个作者努力使阅读尽可能有趣。然而,有相当多的小的不明确,不一致和错误(在语义和拼写)。这给人的印象是这本书是匆匆写完的。我觉得这本书最不令人满意的是对自然演绎微积分的广泛而乏味的阐述,这在书中没有进一步使用。大多数的证据都被读者的直觉所取代。这是促进形式规范和推理学科发展的一个条件吗?另一个令人失望的是,在那些提供证据的地方,处理往往相当麻烦。特别是,尽管引入了关系演算中所有必要的概念,但并未提及其代数性质;许多关于关系概念的证明可以通过关系代数得到,比书中使用的逐点方式更简单、更优雅。尽管如此,我认为这本书对那些有一定数学倾向的新手来说是有趣的,值得一读。


zbMATH中的参考文献(引用于 274篇文章,1标准件)

显示274的结果1到20。
按年份排序(引用)

1 2 ... 12 13 14 下一个

  1. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  2. Apt,Krzysztof R.;Olderog,Ernst-Rüdiger:霍尔逻辑五十年(2019)
  3. Lin,Yuhui;Bundy,Alan;Grov,Gudmund;Maclean,Ewen:通过涟漪和校样修补自动化Event-B不变量证明(2019)
  4. Ribeiro,Pedro;Cavalcanti,Ana:通过UTP实现CSP的天使工艺(2019年)
  5. 巴瑟,托比亚斯(编辑);克劳斯,亨宁(编辑);斯托亚诺斯卡,维斯纳(编辑):小型研讨会:同伦理论和表征理论中的色现象和二重性。2018年3月4日至10日举行的小型研讨会摘要(2018年)
  6. Bessai,Jan;Chen,Tzu-Chun;Dudenhefner,Andrej;Düdder,Boris;De'liguoro,Ugo;Rehof,Jakob:基于交叉口类型的混合合成(2018)
  7. 布拉特卡,瓦斯科(编辑);唐尼,罗德尼G(编辑);奈特,茱莉亚F.(编辑);莱姆普,斯特芬(编辑):可计算性理论。2018年1月7日至13日(2018年)研讨会摘要
  8. Joosten,Sebastiaan J.C.:通过图饱和寻找模型(2018)
  9. Joosten,Stef:关系代数作为使用与号编译器的编程语言(2018)
  10. Schwammberger,Maike:证明自治城市交通安全的抽象模型(2018)
  11. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  12. Baake,Michael(编辑);Damanik,David(编辑);Kellendonk,Johannes(编辑);Lenz,Daniel(编辑):数学准晶中的光谱结构和拓扑方法。2017年10月1日至7日(2017年)研讨会摘要
  13. Bjørner,《Dines:清单领域:分析和描述》(2017)
  14. Breuillard,Emmanuel(编辑);Hochman,Michael(编辑);Shmerkin,Pablo(编辑):工作会议:加法组合学、熵和分形几何。2017年10月8日至13日工作会议摘要
  15. Buss,Samuel R.(编辑);Iemhoff,Rosalie(编辑);Kohlenbach,Ulrich(编辑);Rathjen,Michael(编辑):数理逻辑:证明理论,建构数学。2017年11月5日至11日(2017年)研讨会摘要
  16. Colvin,Robert J.;Hayes,Ian J.;Meinicke,Larissa A.:为具有并发性的广谱语言设计语义模型(2017)
  17. 何继峰:程序设计理论联系的新路线图(2017)
  18. Joosten,Stef:与和和的关系代数软件开发(2017)
  19. Ribeiro,Pedro;Cavalcanti,Ana;Woodcock,Jim:联系理论的逐步方法(2017)
  20. Smith,Graeme;Winter,Kirsten:关联轨迹精化和线性化(2017)

1 2 ... 12 13 14 下一个