Логика первого заказа для полного новичка (рекомендации книги)?
Я записался на класс, который мне не следовало посещать. Так что теперь я слегка облажался, потому что я не понимаю ни одной из обозначений, использованных, когда мой профессор объяснял логику первого порядка. Мне нужны некоторые книжные предложения о том, как заново изучить все эти вещи. Например: я был озадачен тем, что такое "квантификатор" (я знаю после его поиска в Google). Есть хорошие книги с множеством примеров? Спасибо
2 ответа
Джон Барвей и Джон Этчеменди, "Язык логики первого порядка" (CSLI Press, 1992), великолепны. В 2002 году было выпущено пересмотренное и расширенное издание под названием " Язык, доказательство и логика".
У логиков в Калифорнийском университете есть бесплатная книга по логике, которая описывает логику первого порядка
Одна из приятных особенностей этой книги заключается в том, что она написана для использования вместе с бесплатной программой для изучения логики.
Я преподавал три университетских курса по логике и обнаружил, что большинство студентов делают намного лучше, заполняя доказательства и выводы в дополнение к чтению о них. Тем не менее, если вы подходите к обучению логике так же, как к изучению математики или программирования, вы увеличите свои шансы на успех.