klevero9. Sınıf Matematik
Algoritma Temelli Problemler: Akış, Mantık Bağlaçları ve Niceleyiciler
Klevi Matematik Atölyesi · Klevero ekibi · yapay zekâ destekli · Güncellendi:
Kazanımlar
MAT.9.5.1Algoritma temelli yaklaşımlarla problem çözebilmeMAT.9.5.2Algoritmik yapılar içerisindeki mantık bağlaçlarını ve niceleyicileri çözümleyebilmeMAT.9.5.3Mantık bağlaçları ve niceleyicilerin algoritmalarda kullanımına yönelik edindiği deneyimi farklı…
Konu Özeti
Algoritma, bir problemi çözmek için izlenen, adımları açık ve sıralı işlemler dizisidir. Bu konuda problemi nasıl çözümleyeceğimizi, koşul ve döngü yapılarını ve bu yapıların doğruluğunu kontrol eden mantık araçlarını öğreneceksiniz. Her iyi algoritmanın bir girdisi, bir çıktısı ve sonlu sayıda net adımı vardır. Amaç, aynı girdi için her zaman doğru sonucu veren bir yol tasarlamaktır.
Temel Kavramlar
Bir algoritma girdi alır, adımlarını uygular ve çıktı üretir. Adımların sonlu olması ve her adımın net anlaşılması gerekir.
- Problemi anla: verilenleri ve istenenleri belirle.
- Girdi ve çıktıları yaz.
- Çözüm adımlarını sırayla tasarla.
- Gerekirse koşul (eğer ... ise ... değilse ...) ve tekrar (... olduğu sürece) yapılarını kullan.
- Algoritmayı küçük bir örnekle adım adım dene ve sonucu kontrol et.
Temel Algoritmik Yapılar
| Yapı | Anlamı | Örnek |
|---|---|---|
| Sıralı işlem | Adımlar sırayla yapılır | Sayıyı oku, 2 ile çarp, yaz |
| Koşul (seçim) | Koşul doğruysa bir yol, yanlışsa başka yol izlenir | Eğer sayı çift ise 'çift' yaz, değilse 'tek' yaz |
| Döngü (tekrar) | Koşul sağlandıkça adımlar tekrarlanır | 1'den n'ye kadar sayıları topla |
Mantık Bağlaçları
Algoritmadaki koşullar, önermelerin bağlaçlarla birleştirilmesiyle kurulur. Her önermenin doğruluk değeri doğru (D) ya da yanlış (Y) olarak belirlenir.
| Bağlaç | Sembol | Ne zaman doğru? |
|---|---|---|
| Değil | ¬p | p yanlışken |
| Ve | p ∧ q | İkisi de doğruyken |
| Veya | p ∨ q | En az biri doğruyken |
| Ya da (özel veya) | p ⊻ q | Yalnız biri doğruyken |
| Ise (koşul) | p ⇒ q | p doğru, q yanlış olmasının dışında hep doğru |
| Ancak ve ancak | p ⇔ q | İkisinin doğruluk değeri aynıyken |
p ⇒ q ≡ ¬p ∨ q
Niceleyiciler
- Her (∀): Kümenin bütün elemanları için geçerlidir. Tek bir karşı örnek ∀ önermesini yanlış yapar.
- Bazı / vardır (∃): En az bir eleman için geçerlidir. Tek bir sağlayan örnek yeterlidir.
- ∀ önermesinin değili ∃ içerir: 'Her x için P(x)' önermesinin değili 'P(x) olmayan bir x vardır' olur.
- ∃ önermesinin değili ∀ içerir: 'P(x) olan bir x vardır' önermesinin değili 'her x için P(x) değildir' olur.
¬(∀x P(x)) ≡ ∃x ¬P(x) ve ¬(∃x P(x)) ≡ ∀x ¬P(x)
Sık yapılan hata: 'Her sayı çifttir' önermesinin değilini 'Hiçbir sayı çift değildir' yazmak. Doğrusu 'Çift olmayan en az bir sayı vardır' şeklindedir.
Notun devamı (Klevero uygulamasında)
- Adım Adım Örnekler
- Sık Yapılan Hatalar
- Mini Özet Tablo
- Kontrol Soruları