| 书目名称 | Concrete Abstractions |
| 副标题 | Formalizing and Anal |
| 编辑 | Wolfgang Schreiner |
| 视频video | http://file.papertrans.cn/236/235124/235124.mp4 |
| 概述 | Introduces the main concepts of formal modeling.Presents examples related to computer science, set and graph theory, propositional logic, puzzles and games.Formulates all examples in the language of t |
| 丛书名称 | Texts & Monographs in Symbolic Computation |
| 图书封面 |  |
| 描述 | This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.. |
| 出版日期 | Textbook 2023 |
| 关键词 | logic in computer science; model checking; formal modeling ans reasoning; program specification and ver |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-24934-1 |
| isbn_softcover | 978-3-031-24936-5 |
| isbn_ebook | 978-3-031-24934-1Series ISSN 0943-853X Series E-ISSN 2197-8409 |
| issn_series | 0943-853X |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-14 04:26
发表于 2025-3-21 17:07:19
