Fork Algebras In Algebra, Logic And Computer Science
Seiten
2002
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-4876-5 (ISBN)
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-4876-5 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
Fork algebras are a formalism based on the relational calculus with a particular appeal to computer science. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.
Contents: Introduction and Motivations; Algebras of Binary Relations and Relation Algebras; Proper and Abstract Fork Algebras; Representability and Independence; Interpretability of Classical First-Order Logic; Algebraization of Non-Classical Logics; A Calculus for Program Construction.
| Erscheint lt. Verlag | 1.8.2002 |
|---|---|
| Reihe/Serie | Advances In Logic ; 2 |
| Verlagsort | Singapore |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Algebra | |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| ISBN-10 | 981-02-4876-8 / 9810248768 |
| ISBN-13 | 978-981-02-4876-5 / 9789810248765 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
