Kniha momentálne nie je na sklade
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Autori
Viac o knihe
The book focuses on formal modeling of mathematical domains, particularly in discrete mathematics, logic, algebra, and computer science, using a first-order logic-based language. It introduces RISCAL, a mathematical model checker that enables automatic validation of formulas and algorithms. Readers can engage with the content through specification files compatible with the freely available RISCAL software, enhancing their understanding of mathematical theorems and algorithmic correctness while providing practical tools for analysis.
Nákup knihy
Concrete Abstractions, Wolfgang Schreiner
- Jazyk
- Rok vydania
- 2024
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Concrete Abstractions
- Podtitul
- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Jazyk
- anglicky
- Autori
- Wolfgang Schreiner
- Vydavateľ
- Springer International Publishing
- Vydavateľ
- 2024
- Väzba
- mäkká
- Počet strán
- 284
- ISBN13
- 9783031249365
- Kategórie
- Matematika
- Anotácia
- The book focuses on formal modeling of mathematical domains, particularly in discrete mathematics, logic, algebra, and computer science, using a first-order logic-based language. It introduces RISCAL, a mathematical model checker that enables automatic validation of formulas and algorithms. Readers can engage with the content through specification files compatible with the freely available RISCAL software, enhancing their understanding of mathematical theorems and algorithmic correctness while providing practical tools for analysis.