Усовершенствованная Формальная логика / учебник Теории автоматов
Это то, что вы ищете?
def write_vars_to_file(_f, **vars):
for (name, val) in vars.items():
_f.write("%s = %s\n" % (name, repr(val)))
Использование:
>>> import sys
>>> write_vars_to_file(sys.stdout, dict={'one': 1, 'two': 2})
dict = {'two': 2, 'one': 1}
6 ответов
Я слышал хорошие отзывы о введении Майкла Сипсера в теорию вычислений . На самом деле он у меня прямо передо мной, хотя я еще не начал его читать.
Это может быть не совсем то, что вы ищете, но я многому научился у Блэкберна и др. Модальная логика , и то, что я знаю об автоматах, я узнал из книги Джурафски и Мартина «Обработка речи и языка» , особенно. Глава 2. По крайней мере, оба представляют собой отличную основу для дальнейших исследований.
Я помню, как читал об автоматах Бючи в Принципах проверки моделей , что кажется довольно хорошей книгой. Конечно, основное внимание уделяется приложению для проверки модели, но проверка модели в любом случае является в основном логикой.
Это правильно, что вы не можете легко удалить конкретный файл из Mercurial в том смысле, что это приведет к нарушению всех идентификаторов наборов изменений в вашем репозитории. Когда вы меняете идентификаторы ревизий, каждый должен повторно клонировать репозиторий. См. Wiki-страницу о редактировании истории для получения информации о последствиях изменения истории в Mercurial.
Если это вас устраивает (внутренний репозиторий в компании), посмотрите ] преобразовать расширение . Jones & Bartlett Publishers, 2000 (3-е изд.) URL .
и
Джон Э. Хопкрофт и Джеффри Д. Уллман, Введение в теорию автоматов, языки и вычисления , Аддисон Уэсли, 1979, (1-е изд.), ISBN: 0-201-02988-X; URL .
Логика среднего уровня (бакалавриат):
D. Ebbinghaus, Mathematical Logic , Springer, URL .
или
Elliott Mendelson, Introduction to Mathematical Logic , URL
Advanced уровень (выпускник):
Вольфганг Томас, Языки, автоматы и логика , 1996.
Леони Либкин, Элементы теории конечных моделей , Springer, 2004, URL , TOC .
Для исследований
Бенедикт Болли, Формальные модели коммуникационных систем , Springer, 2006, URL .
Grädel, Erich; Томас, Вольфганг; Wilke, Thomas (Eds.), Автоматы, логика и бесконечные игры , Springer, 2002, URL ,
Кажется, у вас есть конкретная тема для книги, поэтому я просмотрел указатель некоторых книг на Amazon. Хотя я никогда не читал эту статью, Theory of Computing Декстера К. Козена может вас заинтересовать.
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 «Автоматы о бесконечных строках и S1S» , первая страница доступна для предварительного просмотра по ссылке.
Вы будете немного удивлены, но я думаю, что вам нужна книга «Основы баз данных» Абитебула, Халла и Виану (также известная как «книга Алисы», потому что Алиса изображена на обложке и появляется во вступительных диалогах с авторами). Это книга не о SQL, а о теории баз данных - логике и ее реализации в программах и функциях - поэтому в ней довольно много тратится на вопросы сложности и вычислимости языков запросов; и авторы прилагают большие усилия, чтобы быть дружелюбными и общительными.