2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Посоветуйте расширенный курс по логике
Сообщение02.02.2019, 22:38 
Здравствуйте!

Надеюсь, не ошибся форумом. Господа, не могли бы вы посоветовать книгу/подборку книг на русском или английском, для первокурсника технического вуза по логике с самого начала до логики второго порядка(higher order logic) с последующим уклоном в автоматическое доказательство теорем. Очень желательно, что бы там были задачи/упражнения и вообще великолепно - с ответами. Что бы после этого курса книг было уже базовое понимание как устроены изнутри современные пруф асистансы, типа Coq, Isabelle, HOL. Есть полтора года, которые хочу плотно посвятить этой теме)

 
 
 
 Re: Посоветуйте расширенный курс по логике
Сообщение03.02.2019, 02:42 
Есть такой текст "Teach Yourself Logic 2017: A Study Guide" от Peter Smith - очень хорошо расписано, что читать и в каком порядке.

 
 
 
 Re: Посоветуйте расширенный курс по логике
Сообщение03.02.2019, 04:50 
Вот в этих двух архивах почти все книги по матлогике, изданные в СССР
http://www.mediafire.com/download/cn7hs ... o/djvu.rar
http://www.mediafire.com/download/4g54u ... u8/pdf.rar
(если плохо скачивается, могу выложить на mega.nz)
Смотрите на год написания книги, книги столетней давности пока не читайте.
Собиралось это давно, сейчас многое есть в лучшем качестве на либгене
http://gen.lib.rus.ec/
С прицелом на пруфчекеры вот это почитайте
http://lib1.org/_ads/7399076645A545881D6C2DC106A26A6A
Также в моём учебнике теории категорий главу "Исчисление высказываний" (её до какого-то момента можно читать независимо от предыдущей части книги)
https://github.com/George66/Textbook
Может, потом ещё что-то вспомню.

 
 
 
 Re: Посоветуйте расширенный курс по логике
Сообщение03.02.2019, 16:56 
Спасибо большое всем за советы, фронт работы понятен)

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group