Mantık bağlaçları ve niceleyicilerin algoritmalarda kullanımı Ders Notu

9. Sınıf Matematik: Mantık Bağlaçları ve Niceleyicilerin Algoritmalarla İlişkisi

Mantık, matematiksel düşüncenin temelini oluşturur ve algoritmaların anlaşılmasında kritik bir rol oynar. 9. sınıfta öğrendiğimiz mantık bağlaçları ve niceleyiciler, bilgisayar bilimlerinde ve programlamada kullanılan algoritmaların mantıksal yapısını kurmamıza yardımcı olur. Bu bölümde, bu temel mantık kavramlarının algoritmalarla nasıl birleştiğini inceleyeceğiz.

Mantık Bağlaçları ve Algoritmalar

Mantık bağlaçları, önermeleri birleştirerek daha karmaşık önermeler oluşturmamızı sağlar. Algoritmalar, belirli adımları izleyerek bir problemi çözen talimatlar dizisidir. Bu talimatlar genellikle koşullu ifadeler içerir ve bu koşulların doğruluğunu veya yanlışlığını belirlemek için mantık bağlaçları kullanılır.

Temel Mantık Bağlaçları:

• Ve (∧): İki önermenin de doğru olması durumunda sonuç doğrudur. Algoritmada, birden fazla koşulun aynı anda sağlanması gerektiğini belirtmek için kullanılır.
• Veya (∨): İki önermeden en az birinin doğru olması durumunda sonuç doğrudur. Algoritmada, birden fazla koşuldan herhangi birinin sağlanmasının yeterli olduğunu belirtmek için kullanılır.
• Değil (¬): Bir önermenin doğruluk değerini tersine çevirir. Algoritmada, bir koşulun sağlanmadığı durumu kontrol etmek için kullanılır.
• İse (→): Birinci önerme doğru, ikinci önerme yanlış ise sonuç yanlıştır. Diğer durumlarda doğrudur. Algoritmada, bir koşul gerçekleştiğinde ne yapılacağını belirtmek için kullanılır (örneğin, "eğer hava yağmurluysa, şemsiye al").
• Ancak ve Ancak (↔): İki önermenin doğruluk değerleri aynı ise sonuç doğrudur. Algoritmada, iki koşulun birbirine denk olduğunu veya aynı anda hem gerçekleşip hem de gerçekleşmeme durumlarını ifade etmek için kullanılabilir.

Algoritmalarda Kullanım Örnekleri:

Bir öğrencinin sınavdan geçip geçmediğini kontrol eden bir algoritma düşünelim:

• Önerme P: Öğrencinin notu 50'den büyük veya eşittir. \( P \equiv \text{not} \ge 50 \)
• Önerme Q: Öğrencinin devamsızlığı yoktur. \( Q \equiv \text{devamsızlık yok} \)

Öğrencinin geçmesi için hem notunun yeterli olması hem de devamsızlığının olmaması gerekiyorsa, bu durum "P ve Q" ile ifade edilir. Algoritmada bu şöyle görünebilir:

EĞER (not >= 50 VE devamsızlık yok) İSE

Öğrenci GEÇTİ

DEĞİLSE

Öğrenci KALDI

BİTİR EĞER

Başka bir örnek: Bir mağaza indirimi için, müşterinin hem üye olması YA DA alışveriş tutarının belirli bir miktarın üzerinde olması gerekebilir.

• Önerme A: Müşteri üyedir. \( A \equiv \text{üye} \)
• Önerme B: Alışveriş tutarı 200 TL'den fazladır. \( B \equiv \text{tutar} > 200 \)

İndirimden yararlanmak için "A veya B" koşulu sağlanmalıdır. Algoritmada:

EĞER (üye VEYA tutar > 200) İSE

İndirim uygula

BİTİR EĞER

Niceleyiciler ve Algoritmalar

Niceleyiciler, bir kümedeki elemanların tamamı veya bir kısmı hakkında genellemeler yapmamızı sağlar. Algoritmalarda, diziler veya listeler gibi veri yapıları üzerinde işlem yaparken niceleyiciler dolaylı olarak kullanılır.

Temel Niceleyiciler:

• Her (∀) - Evrensel Niceleyici: Bir kümedeki tüm elemanlar için bir özelliğin doğru olduğunu ifade eder. Algoritmada, bir dizinin tüm elemanları için belirli bir kontrolün yapılması gerektiğinde bu mantık kullanılır.
• Bazı (∃) - Varoluşsal Niceleyici: Bir kümede en az bir eleman için bir özelliğin doğru olduğunu ifade eder. Algoritmada, bir dizide belirli bir koşulu sağlayan en az bir eleman olup olmadığını ararken bu mantık kullanılır.

Algoritmalarda Kullanım Örnekleri:

Bir listedeki tüm sayıların pozitif olup olmadığını kontrol eden bir algoritma:

FONKSİYON tumuPozitifMi(liste):

EĞER liste BOŞ ise

DOĞRU DÖN

HER eleman İÇİN liste'de:

EĞER eleman <= 0 İSE

YANLIŞ DÖN

BİTİR EĞER

BİTİR HER

DOĞRU DÖN

BİTİR FONKSİYON

Bu algoritma, "her eleman için (eleman > 0)" koşulunu kontrol eder. Eğer bu koşul bir eleman için bile sağlanmazsa, fonksiyon YANLIŞ döndürür.

Bir listede çift sayı olup olmadığını kontrol eden bir algoritma:

FONKSİYON ciftSayiVarMi(liste):

BAZI eleman İÇİN liste'de:

EĞER eleman MOD 2 == 0 İSE

DOĞRU DÖN

BİTİR EĞER

BİTİR BAZI

YANLIŞ DÖN

BİTİR FONKSİYON

Bu algoritma, "bazı elemanlar için (eleman mod 2 = 0)" koşulunu arar. Eğer böyle bir eleman bulunursa, fonksiyon hemen DOĞRU döndürür.

Mantık bağlaçları ve niceleyiciler, algoritmaların daha açık, anlaşılır ve doğru bir şekilde tasarlanmasını sağlar. Bu kavramları iyi anlamak, problem çözme becerilerimizi geliştirir ve bilgisayar bilimlerinin temelini oluşturan mantıksal düşünceyi güçlendirir.