Time & Logic: A Computational Approach
暫譯: 時間與邏輯:計算方法探討

Bolc, Leonard, Szalas, Andrzej

  • 出版商: Routledge
  • 出版日期: 2020-03-04
  • 售價: $5,870
  • 貴賓價: 9.5$5,577
  • 語言: 英文
  • 頁數: 332
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 0367336537
  • ISBN-13: 9780367336530
  • 海外代購書籍(需單獨結帳)

商品描述

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.

商品描述(中文翻譯)

最初於1995年出版的《時間與邏輯》探討了時間邏輯的理解與應用,並以計算術語呈現。書中強調提供廣泛的計算應用方法。所使用的技術在許多情況下也適用於超越時間邏輯的形式化,並希望能促進對多種不同程式邏輯的適應。全書始終考慮到以實作為導向的解決方案。書籍以時間邏輯的基本概念介紹開始,隨後的章節探討了時間理論計算領域的特定方面,並將其應用與熟悉的研究領域相關聯,例如隨機過程理論、自動機理論、既有的證明系統、模型檢查、關係邏輯和古典謂詞邏輯。這是所有理論計算機科學家圖書館中不可或缺的補充。這是一部權威著作,能夠滿足對該領域熟悉的專家和新手的需求。