Tam bir yeni kullanıcı için İlk Sipariş Mantığı (kitap önerileri)?

Question

Sahip olmamam gereken bir sınıfa kaydoldum. Yani şimdi biraz sıkıldım çünkü profesörüm ilk sipariş mantığını açıklarken kullanılan notasyonların hiçbirini anlamıyorum. Tüm bu şeylerin nasıl yeniden öğrenileceğine dair kitap önerilerine ihtiyacım var. Örneğin: Bir "niceleyici" nin ne olduğu konusunda kafam karışmıştı (Googling'den sonra biliyorum). Çok sayıda örneği olan iyi kitaplar var mı? Teşekkürler

Answer 1

Jon Barwise & John Etchemendy, Birinci Mertebeden Mantığın Dili (CSLI Press, 1992) harikadır. Gözden geçirilmiş ve genişletilmiş bir baskı, 2002 yılında Dil, Prova ve Mantıksal başlıklı yayınlandı.

Answer 2

UCLA'daki logisyenler, birinci derece mantıksal here'u kapsayan ücretsiz bir mantık kitabına sahiptir.

Kitapla ilgili güzel şeylerden biri, mantığı öğrenmek için free software program ile birlikte kullanılmak üzere yazılmış olmasıdır.

Üç üniversite mantığı dersi verdim ve öğrencilerin çoğunluğunun, okumaya ek olarak kanıtları ve türevleri tamamlayarak çok daha iyi olduğunu öğrendim. Bu, eğer öğrenme mantığına matematik veya programlama öğrenmekle aynı şekilde yaklaşırsanız, başarı şansınızı arttıracaksınız.