Sayısal Mantık Konu Anlatımı

Konu anlatımı notları

1. Sayısal Mantığa Giriş

   Sayısal mantık, standart formül ezberinden ziyade verilen kuralları anlama, değişkenler arasındaki mantıksal bağıntıları kurgulama ve tümevarım ya da tümdengelim yöntemleriyle sonuca ulaşma becerisini inceler.

   Sayısal akıl yürütme problemlerinde üç temel aşama izlenir:

   • Kuralı ve Kısıtları Belirleme: Metinde tanımlanan sembollerin, sınır koşullarının ve işlem sırasının eksiksiz listelenmesi.
   • Durum Analizi ve Sadeleştirme: Verilen parametrelerin tek tek veya gruplanarak olası durum sayısının azaltılması.
   • Doğrulama: Elde edilen değerin soruda verilen sınır koşulları ve varsayımlarla çelişmediğinin denetlenmesi.

   Özel Tanımlı İşlemler

   Bu soru türünde, alışılmış dört işlem sembolleri yerine yeni bir sembol tanımlanır ve bu sembolün cebirsel kuralı açıkça verilir.

   Örneğin reel sayılar kümesinde tanımlı bir işlem şu şekilde verilebilir:

   $a \,\Delta\, b = 2a + 3b - ab$

   Bu tür yapılarda dikkat edilmesi gereken hususlar:

   • İşlem Önceliği: Parantez içi işlemler her zaman ilk basamakta uygulanır.
   • Birim ve Ters Eleman Analizi: İşlemin birim (etkisiz) elemanı $e$ için her $a$ değerinde $a \,\Delta\, e = a$ eşitliği sağlanmalıdır.
   • Yutan Eleman: Her $a$ için $a \,\Delta\, y = y$ şartını sağlayan $y$ elemanıdır.

   Örüntü ve Dizi Analizi

   Sayı dizilerinde ardışık terimler arasındaki farklar, oranlar veya terimlerin indisleriyle olan fonksiyonel ilişkileri incelenir.

   Temel örüntü yaklaşımları:

   • Fark Dizisi: Terimler arasındaki fark sabit değilse farkların farkı alınarak kural ikinci dereceden modellenebilir.
   • Fibonacci Tipi İlişkiler: Bir terim, kendinden önceki iki veya daha fazla terimin toplamı ya da doğrusal birleşimi olabilir: $a_n = a_{n-1} + a_{n-2}$.
   • Algoritmik Adım Kuralları: Bir sayının tek veya çift olmasına göre farklı kuralların uygulandığı ardışık algoritmalar kurulabilir.

   Tablo ve Matris Yardımıyla Analiz

   Birden çok değişkenin birbiriyle eşlendiği veya satır-sütun toplamlarının belirli kurallara bağlandığı problemler sistematik bir matris kurgusu gerektirir.

   Çözüm adımları:

   • Değişken Matrisi Kurma: Kişiler, nesneler veya sayılar için kesişim tabloları oluşturularak kesin olan bilgiler doğrudan yerleştirilir.
   • Dışlama Yöntemi: Sağlanması imkânsız olan durumlar tablo üzerinde elenerek seçenekler daraltılır.
   • Uç Değerleri Deneme: Sayı yerleştirme düzeneklerinde en büyük veya en küçük sayının alabileceği konumlar incelenerek sınır kısıtları test edilir.