R-Calculus, IV: Propositional Logic

Li, Wei, Sui, Yuefei

R-Calculus, IV: Propositional Logic
  • 出版商: Springer
  • 出版日期: 2024-03-30
  • 售價: $7,050
  • 貴賓價: 9.5 折 $6,698
  • 語言: 英文
  • 頁數: 252
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 9811986355
  • ISBN-13: 9789811986352
  • 相關分類: 微積分 Calculus

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.

This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

商品描述(中文翻譯)

本書系列的第四卷結合了命題邏輯和R-calculus，提供了一種新的視角來考慮信念修正。它提供了命題邏輯、描述邏輯、命題模態邏輯、邏輯程式設計、⟹-命題邏輯、語意網絡以及三值邏輯等的R-calculus。此外，還介紹了R-calculus在超序列邏輯中的應用。

本書提供了理論與實踐的豐富結合，適合邏輯領域的學生、研究人員和從業者。

作者簡介

Wei Li, is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Prof. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.

Yuefei Sui, is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computability.

作者簡介(中文翻譯)

魏立是北京航空航天大學計算機科學與工程學院的教授，並且是中國科學院的成員。李教授主要從事計算機軟體與理論及互聯網的應用研究，包括程式語言、軟體開發、人工智慧和集成電路設計。

隋月飛是中國科學院計算技術研究所的教授。他的主要研究興趣包括知識表示、應用邏輯和可計算性理論。

類似商品