Mantık Bağlaçları ve Niceleyiciler Konu Anlatımı

Konu anlatımı notları

1. Algoritmada Karar Verme Mekanizması

   Algoritmalar; belirli bir amaca ulaşmak için adım adım tasarlanan mantıksal işlem basamaklarıdır. Gerçek yaşam problemlerinde bir algoritmanın farklı adımlara yönelebilmesi için koşul yapıları kullanılır. Bu koşulların oluşturulmasında önermeler mantığındaki bağlaçlar temel rol oynar.

   Temel Mantık Bağlaçlarının Algoritmik İşlevleri

   • Ve Bağlacı ($\land$): İki veya daha fazla koşulun aynı anda sağlanması gereken durumlarda kullanılır. Karar mekanizmasının bir sonraki adıma geçmesi için tüm önermelerin doğruluk değeri 1 olmalıdır.
   • Veya Bağlacı ($\lor$): Belirtilen koşullardan en az birinin sağlanması yeterlidir. Koşullardan biri doğru olduğunda genel karar olumlu sonuçlanır.
   • Ya Da Bağlacı ($\underline{\lor}$): Belirtilen iki koşuldan sadece ve sadece birinin sağlandığı durumları ayırt etmek için kullanılır. İki koşulun birden sağlandığı veya ikisinin de sağlanmadığı durumlarda karar olumsuzdur.
   • İse Bağlacı ($\Rightarrow$): Bir koşulun gerçekleşmesi durumunda zorunlu olarak tetiklenecek eylemi tanımlar. Algoritmaların temelini oluşturan "Eğer p ise q" yapısının matematiksel karşılığıdır.

   Evrensel ve Varlıksal Niceleyiciler

   Bir veri listesini, tabloyu veya nesne kümesini analiz eden algoritmalar, tekil durumların ötesinde genellemeleri ve varlık kontrollerini değerlendirir. Bu aşamada niceleyiciler devreye girer.

   Niceleyicilerin Algoritmik Anlamları

   • Evrensel Niceleyici ($orall$ - "Her"): Bir veri kümesindeki tüm elemanların belirlenen kuralı eksiksiz karşılamasını şart koşar. Algoritma kümedeki elemanları tararken kuralı sağlamayan tek bir eleman bulduğu anda doğrulama adımı sonlanır ve sonuç yanlış (0) kabul edilir.
   • Varlıksal Niceleyici ($\exists$ - "Bazı / En Az Bir"): Veri kümesinde şartı sağlayan en az bir elemanın bulunmasının yeterli olduğu arama işlemlerinde kullanılır. Algoritma şartı sağlayan bir elemana ulaştığı anda arama başarılı (1) sayılır ve döngü tamamlanabilir.

   Bu iki niceleyici, algoritmaların arama, filtreleme ve doğrulama basamaklarındaki mantıksal altyapısını oluşturur.

   Örnek Olay: Bilim Şenliği Seçim Algoritması

   Bir okulda bilim şenliği proje ekibine seçilecek öğrencileri belirlemek amacıyla bir karar algoritması işletilmektedir. Aday öğrencilerin bilgileri şu şekildedir:

   • Ali: Matematik Notu = 85, Proje Deneyimi = Var, Katıldığı Etkinlik Sayısı = 1
   • Buse: Matematik Notu = 90, Proje Deneyimi = Yok, Katıldığı Etkinlik Sayısı = 3
   • Can: Matematik Notu = 70, Proje Deneyimi = Var, Katıldığı Etkinlik Sayısı = 2
   • Derya: Matematik Notu = 80, Proje Deneyimi = Var, Katıldığı Etkinlik Sayısı = 4

   Karar Algoritması Kuralı

   Bir adayın ekibe kabul edilmesi için tanımlanan mantıksal koşul:

   Matematik Notu \(\ge 80\) \(\land\) Proje Deneyimi = Var] \(\lor\) [Katıldığı Etkinlik Sayısı \(\ge 3\)

   Adım Adım Çözümleme

   1. Ali: (85 $\ge 80$ $\land$ Var) ifadesi doğru (1) sonucunu verir. Veya bağlacı gereği ikinci kısma bakılmaksızın Ali ekibe seçilir.
   2. Buse: (90 $\ge 80$ $\land$ Yok) ifadesinde "ve" bağlacı sağlanmadığından ilk kısım yanlıştır (0). Ancak Etkinlik Sayısı (3 $\ge 3$) doğru (1) olduğundan Buse ekibe seçilir.
   3. Can: (70 $\ge 80$ $\land$ Var) ilk kısmı yanlış (0) yapar. Etkinlik sayısı (2 $\ge 3$) de yanlış (0) olduğundan Can ekibe seçilemez.
   4. Derya: Her iki parantez içi koşulu da sağladığından Derya ekibe seçilir.

   Bu çözümleme sonucunda algoritma Ali, Buse ve Derya'yı seçerek listeyi tamamlar.