Error Logic: Paving Pathways for Intelligent Error Identification and Management

Dades bibliogràfiques
Autors principals: Liu, Shiyong (Autor), Guo, Kaizhong (Autor)
Autor corporatiu: SpringerLink (Online service)
Sumari:XIV, 610 p. 17 illus., 8 illus. in color.
text
Idioma:anglès
Publicat: Cham : Springer International Publishing : Imprint: Springer, 2023.
Edició:1st ed. 2023.
Col·lecció:Studies in Systems, Decision and Control, 442
Matèries:
Accés en línia:https://doi.org/10.1007/978-3-031-00820-7
Format: Electrònic Llibre
Taula de continguts:
  • Short Introduction on the Logic
  • Error Sets
  • Transformation Connectives in Error Logic
  • Mathematical Error Propositional Logic
  • Applications of Error Logic
  • Glossary.