Продвинутая формальная логика/Учебник теории автоматов

Я знаю, что это вопрос Math/Formal Language/Automata/Computer science, а не программирующий, но я надеюсь, что смогу получить совет по приемлемому учебнику (а не неразборчивой монографии) по формальной логике за пределы предложения и исчисления предикатов. Мне особенно интересна монадическая логика второго порядка и Büchi Automata​​strong > .

В настоящее время Ive обнаружил Теорию автоматов и ее приложения Бахадыр Хусаинов, Анил Нероде. Автоматы, логика и бесконечные игры Эрих Грэдель, Томас Вилк (ред.). И Официальные модели коммуникационных систем: языки, автоматы и монадическая логика второго порядка Бенедикт Боллиг.... Путь над моей головой.

Ответы

Ответ 1

Итак, это лучший учебный план, в который я могу прийти:

Для начинающих в логике:

Питер Дж. Камерон, наборы, логика и категории, Springer, Springer, Matrix Series, 1999, URL.

Джеймс Л. Хейн, дискретные структуры, логика и вычислимость, Jones and Bartlett Publishers, 2009 (3-е изд.) URL.

Логика для компьютерного ученого.

Для начинающих в автоматах и ​​формальном Langugage:

Майкл Сипсер, Введение в теорию вычислений, Технология курса, 2005 (2), URL.

и

Алан П. Паркс, Введение в языки, машины и логику, Springer, 2002.

и

Питер Линц, введение в формальные языки и автоматы, Jones and Bartlett Publishers, 2000 (3 ed) URL.

и

Джон Э. Хопкрофт и Джеффри Д. Ульман, Введение в теорию автоматов, языки и вычисления, Эддисон Уэсли, 1979, (1-е изд.), ISBN: 0-201-02988-X; URL.

Промежуточный уровень Логика (бакалавриат):

Д. Ebbinghaus, Математическая логика, Springer, URL.

или

Эллиот Мендельсон, Введение в математическую логику, URL

Расширенный уровень (выпускник):

Вольфганг Томас, Языки, автоматы и логика, 1996 г.

Леони Либкин, Элементы теории конечных моделей, Springer, 2004, URL, TOC.

Для исследований

Бенедикт Болли, Официальные модели коммуникационных систем, Springer, 2006, URL.

Грэдель, Эрих; Томас, Вольфганг; Wilke, Thomas (Eds.), Automata, логики и бесконечные игры, Springer, 2002, URL,

Ответ 2

Я слышал хорошие вещи об Michael Sipser Введение в теорию вычислений. Я действительно имею это прямо передо мной, хотя я еще не начал читать его.

Ответ 3

У вас, кажется, есть определенная тема, которую вы хотите от книги, поэтому я просмотрел индекс некоторых книг в Amazon. Хотя я никогда не читал этого, Теория вычислений от Dexter C. Kozen может вас заинтересовать.

Büchi automation, 155, 159, 161, 283, 298, 343
      determinization, 167-170

monadic second-order theory
    of n successors, 154
    of successor, 154-159

Закрытые страницы находятся в Лекция 25 Automata on Infinite Strings и S1S, первая страница доступна для предварительного просмотра по ссылке.

Теория вычислений http://ecx.images-amazon.com/images/I/51JKHJGWBRL._BO2,204,203,35,-76_AA240_SH20_OU01_.jpg

Ответ 4

Это может быть не совсем то, что вы ищете, но я многому научился у Blackburn et al. Modal Logic, и я узнал, что я знаю о автоматах от Юрафского и Мартина Речевая и языковая обработка, особенно. Глава 2. Если ничего другого, обе они обеспечивают отличную основу для дальнейших исследований.

Ответ 5

Я помню, как читал о Büchi Automata в Принципы проверки моделей, который кажется довольно хорошей книгой. Конечно, основное внимание уделяется приложению к проверке модели, но в любом случае проверка модели в основном логична.

Ответ 6

Вы будете немного удивлены, но я думаю, что книга, которую вы ищете, это Основы баз данных Abiteboul, Hull и Vianu (также известные как "Книга Алисы", потому что Алиса написана на обложке и звезды в диалогах с главами с авторами). Это не книга о SQL, а о теории баз данных - логике и ее реализации в программах и функциях - поэтому она много тратит на проблемы сложности и вычислимости языков запросов; и авторы прилагают большие усилия, чтобы быть дружественными и коммуникативными.