Error Logic: Paving Pathways for Intelligent Error Identification and Management

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Liu, Shiyong (Հեղինակ), Guo, Kaizhong (Հեղինակ)
Համատեղ հեղինակ: SpringerLink (Online service)
Ամփոփում:XIV, 610 p. 17 illus., 8 illus. in color.
text
Լեզու:անգլերեն
Հրապարակվել է: Cham : Springer International Publishing : Imprint: Springer, 2023.
Հրատարակություն:1st ed. 2023.
Շարք:Studies in Systems, Decision and Control, 442
Խորագրեր:
Առցանց հասանելիություն:https://doi.org/10.1007/978-3-031-00820-7
Ձևաչափ: Էլեկտրոնային Գիրք
Բովանդակություն:
  • Short Introduction on the Logic
  • Error Sets
  • Transformation Connectives in Error Logic
  • Mathematical Error Propositional Logic
  • Applications of Error Logic
  • Glossary.