高级形式逻辑/自动机理论教科书

Question

我知道这是一个数学/形式语言/自动机/计算机科学问题,而不是一个编程问题,但我希望我能在关于命题和谓词演算之外的形式逻辑上获得一些可理解的教科书(不是难以理解的专着)的建议.我对monadic二阶逻辑和BüchiAutomata特别感兴趣.

目前,我只发现 了Bakhadyr Khoussainov,Anil Nerode的Automata理论及其应用.自动机,逻辑和无限游戏作者:ErichGrädel,Thomas Wilke(编辑).和传播系统的正式模型:语言,自动机和 Monadic 二阶逻辑 Benedikt Bollig ......超越我的脑海.

Answer 1

所以这是我能提供的最好的课程:

对于逻辑中的初学者:

Peter J. Cameron,集合,逻辑和类别,Springer,Springer本科数学系列,1999,URL.

James L. Hein,Discrete Structures,Logic and Computability,Jones&Bartlett Publishers,2009(第3版)URL.

计算机科学家的逻辑.

对于Automata和Formal Langugage的初学者:

Michael Sipser,计算理论导论,课程技术,2005(第二版),URL.

和

Alan P. Parkes,语言,机器和逻辑导论,Springer,2002.

和

Peter Linz,正式语言和自动机的介绍,Jones&Bartlett Publishers,2000(3 ed)URL.

和

John E. Hopcroft和Jeffrey D. Ullman,Automata Theory,Languages and Computation Introduction,Addison Wesley,1979,(第1版),ISBN:0-201-02988-X; 网址.

中级逻辑(本科):

D. Ebbinghaus,数学逻辑,Springer,URL.

要么

Elliott Mendelson,数学逻辑导论,URL

高级(研究生):

Wolfgang Thomas,语言,自动机和逻辑,1996年.

Leoni Libkin,有限模型理论的要素,Springer,2004,URL,TOC.

用于研究

Benedikt Bolli,通信系统的正式模型,Springer,2006,URL.

格雷德尔,埃里希; 托马斯,沃尔夫冈; Wilke,Thomas(编辑),Automata,逻辑和无限游戏,Springer,2002,URL,

Answer 2

我听说过 Michael Sipser 的《计算理论导论》，这本书很不错。事实上，它就在我面前，尽管我还没有开始阅读它。