計算機科學中的邏輯學

內容簡介

本書介紹了數理邏輯的基本內容和針對計算機的套用而發展起來的各種邏輯——模態邏輯、時態邏輯、動態邏輯、模糊邏輯、非單調邏輯等，並介紹了入一演算和組合邏輯。全書共分12章、除第八章非單調邏輯外均有一定數量的習題。

本書特別適合計算機專業有關人員，內容豐富，且深入淺出，可作為計算機各專業本科生、研究生數理邏輯課程的教材和教學參考書，亦可供計算機科學工作者參考。另外，由於本書在許多地方使用了集合論的概念、術語和記號，因此要求讀者有集合論基礎知識。