Итак, это лучшая учебная программа, с которой я могу прийти:
Для новичков в логике:
Питер Дж. Кэмерон, Множества, логика и категории, Springer, Серия математики для студентов бакалавриата Springer, 1999 г., URL.
Джеймс Л. Хайн, Дискретные структуры, логика и вычислимость, издательство Jones & Bartlett Publishers, 2009 г. (3-е изд.) URL.
Логика для компьютерщика.
Для начинающих изучать автоматы и формальный язык:
Майкл Сипсер, Введение в теорию вычислений, курс технологии, 2005 (2-й), URL.
и
Алан П. Паркс, Введение в языки, машины и логику, Springer, 2002.
и
Питер Линц, Введение в формальные языки и автоматы, Jones & Bartlett Publishers, 2000 (3-е изд.) URL.
и
Джон Э. Хопкрофт и Джеффри Д. Ульман, Введение в теорию автоматов, языки и вычисления, Addison Wesley, 1979, (1-е изд.), ISBN: 0-201-02988-X; URL.
Логика среднего уровня (бакалавриат):
Д. Эббингауз, Mathematical Logic, Springer, URL.
или
Эллиотт Мендельсон, Введение в математическую логику, URL
Продвинутый уровень (выпускник):
Вольфганг Томас, Языки, автоматы и логика , 1996.
Леони Либкин, Elements of Finite Model Theory, Springer, 2004, URL, TOC.
Для исследований
Бенедикт Болли, Формальные модели коммуникационных систем, Springer, 2006 г., URL.
Гредель, Эрих; Томас, Вольфганг; Уилке, Томас (ред.), Автоматы, логика и бесконечные игры, Springer, 2002 г., URL,
person
anno
schedule
23.06.2009
