9. Sınıf Matematik Algoritma, Mantık Bağlaçları ve Niceleyiciler Konu Anlatımı

Rehberli anlatımda söylenen yönlendirmeler dâhil tam metin. Düşünme araları sessizdir.

1. Giriş

   Konuya başlayalım. Algoritma, bir problemi çözüme götüren açık, sıralı ve sonlu adımlar bütünüdür. Matematiksel bir işlemi, rota seçimini, veri aramasını veya basit bir şifrelemeyi algoritmik olarak ifade etmek; belirsizliği azaltır ve çözümün başkaları tarafından yeniden uygulanabilmesini sağlar. Karar adımlarında “ve”, “veya”, “değil” ve “ise” gibi mantık bağlaçları kullanılır. “Her” ve “bazı” niceleyicileri ise bir önermenin kaç eleman için ileri sürüldüğünü belirler. Algoritma ve mantık birlikte ele alındığında yalnız doğru cevaba ulaşmak değil, yöntemin neden çalıştığını, nerede başarısız olabileceğini ve nasıl doğrulanacağını açıklamak mümkün olur.

2. Ayrıntılı anlatım

   Algoritmanın temel özellikleri. İyi bir algoritmanın girdileri ve beklenen çıktıları belirli, adımları uygulanabilir ve sırası açık olmalıdır. Aynı geçerli girdi için aynı kurallar izlenmeli ve süreç sonlu sayıda adımda bitmelidir. “Sayıyı uygun biçimde işle” belirsizdir; “sayıyı 2 ile çarp, 3 ekle ve sonucu yaz” açıktır. Bir problemi algoritmaya dönüştürmeden önce problem bileşenleri, değişkenler ve sınır koşulları belirlenir. Sıfıra bölme, boş liste veya negatif uzunluk gibi özel durumlar algoritmanın başlangıcında denetlenerek geçersiz işlemler önlenir. Doğal dil, sözde kod ve akış şeması. Algoritmik doğal dil adımları günlük ifadelerle, sözde kod ise programlama diline bağlı olmayan düzenli komutlarla gösterir. Akış şemasında oval başlangıç-bitişi, dikdörtgen işlemi, paralelkenar girdi-çıktıyı ve eşkenar dörtgen karar noktasını temsil eder. Temsil değişse de algoritmanın mantığı aynı kalmalıdır. Bir döngü tekrar koşulunu ve güncelleme adımını açıkça göstermelidir; aksi hâlde sonsuz döngü oluşabilir. Temsiller arasında geçiş yapmak, eksik karar kolunu veya yanlış sıradaki işlemi fark etmeyi kolaylaştırır. İzleme, test ve doğrulama. Bir algoritma küçük ve sınır değerlerden oluşan test girdileriyle adım adım izlenir. Her adım sonrası değişkenlerin değeri izleme tablosuna yazılır. Beklenen sonuç ile gerçek çıktı karşılaştırılır. Tek bir başarılı örnek algoritmanın her durumda doğru olduğunu kanıtlamaz; farklı sınıflardan girdiler gerekir. Öklid algoritmasında büyük sayı küçük sayıya bölünür, kalan sıfır olana kadar sayı çifti güncellenir ve son sıfır olmayan kalan en büyük ortak böleni verir. Sonuç iki başlangıç sayısını da tam bölerek bağımsız biçimde doğrulanabilir. Mantık bağlaçları ve karar yapıları. p∧q “p ve q” önermesi yalnız iki bileşen de doğruyken doğrudur. p∨q kapsayıcı “veya”dır ve en az biri doğruysa doğrudur. Özel veya, p ile q’dan tam biri doğruyken doğrudur. ¬p, p’nin doğruluk değerini tersine çevirir. p⇒q koşullu önermesi yalnız p doğru ve q yanlışken yanlıştır. Algoritmada “yaş en az 18 ve kimlik geçerli” koşulu iki şartı da gerektirir. Parantezler karmaşık mantık ifadelerinde işlem sırasını ve kararın kapsamını açıklar. Niceleyiciler, değilleri ve karşı örnek. ∀x P(x), tanım kümesindeki her x için P’nin doğru olduğunu; ∃x P(x), en az bir x için doğru olduğunu söyler. “Her doğal sayının karesi negatiftir” önermesi tek bir doğal sayı karşı örneğiyle çürütülebilir. Evrensel önermenin değili “P’yi sağlamayan en az bir x vardır”; varlık önermesinin değili “hiçbir x sağlamaz”, yani her x için P yanlıştır. Niceleyicinin tanım kümesi belirtilmezse önerme belirsizleşebilir. Bilgisayarlı tarama sonlu kümelerde bütün örnekleri denetleyebilir, ancak sonsuz kümede genel ispatın yerini her zaman tutmaz. Çizge, arama ve şifreleme uygulamaları. Çizgede düğümler nesneleri veya yerleri, kenarlar aralarındaki bağlantıları temsil eder; ağırlıklı kenarlar süre veya maliyet taşıyabilir. En kısa rota probleminde toplam ağırlık karşılaştırılır. Sıralı listede ikili arama, ortadaki elemanı hedefle karşılaştırıp arama aralığını her adımda yarıya indirir; listenin sıralı olması zorunludur. Basit kaydırmalı şifrelemede her harf sabit sayıda ötelenir ve şifre çözmede ters yönde aynı miktar kullanılır. Bu uygulamalar algoritmanın açık kural, tekrar, karar ve tersine çevrilebilirlik özelliklerini somutlaştırır.

3. Sık sorulanlar

   Sık sorulan sorular. Soru: Bir çözüm adımlarının algoritma sayılması için hangi özellikler gerekir? Cevap: Adımlar açık, sıralı, uygulanabilir ve sonlu olmalı; geçerli girdiler ile beklenen çıktıların anlamı belirlenmelidir. Soru: Sözde kod ile gerçek programlama kodu arasındaki fark nedir? Cevap: Sözde kod belirli bir dilin sözdizimine bağlı olmadan algoritmanın mantığını açıklar; doğrudan bilgisayarda çalıştırılmaz. Soru: Kapsayıcı veya ile özel veya nasıl ayrılır? Cevap: Kapsayıcı veya en az bir koşul doğruyken, özel veya ise iki koşuldan yalnız biri doğruyken doğru sonuç verir. Soru: Her niceleyicisi içeren bir önerme nasıl çürütülür? Cevap: Tanım kümesinden önermeyi sağlamayan tek bir geçerli karşı örnek göstermek evrensel iddiayı çürütmeye yeterlidir. Soru: Bir algoritmanın doğruluğu yalnız tek test girdisiyle kanıtlanabilir mi? Cevap: Hayır. Tek test yalnız o girdi için kanıt sunar; sınır durumları ve farklı girdi sınıfları denenmeli, mümkünse genel gerekçe kurulmalıdır.

4. Bölüm 4

   Şimdi öğrendiğini dene. Kısa testi çöz; her seçenekteki açıklamayla doğru yöntemi pekiştir. Teste başla.