9. Sınıf Matematik · Ünite 3
Algoritmalarda Mantık ve Niceleyicilerin Gücü
Mantık bağlaçları ve niceleyicilerin bilgisayar algoritmalarındaki kullanımını keşfedecek, problem çözme ve ispat süreçlerindeki rolünü öğreneceğiz.
Kazanım MAT.9.3.3 · 40 dk okuma
Algoritmalar ve Mantığın Buluşması
Merhaba sevgili gençler! Bilgisayarların, akıllı telefonların ve hatta karmaşık matematik problemlerinin arka planında çalışan gizli bir kahraman var: Algoritmalar. Algoritma, bir problemi çözmek veya bir görevi tamamlamak için izlenen adım adım, kesin yönergeler dizisidir. Peki, bu adımlar nasıl kararlar alıyor? İşte burada matematiksel mantık bağlaçları ('ve', 'veya', 'ise') ve niceleyiciler ('her', 'bazı') devreye giriyor. Mantık, algoritmaların beynidir.
Mantık Bağlaçlarıyla Karar Verme
Bir algoritmada sık sık karar noktalarıyla karşılaşırız. Örneğin bir telefon uygulamasına giriş yaparken hem kullanıcı adınızın doğru olması 'VE' hem de şifrenizin doğru olması istenir. Matematiksel olarak bu durum iki önermenin 've' bağlacı ile bağlanmasıdır.
Eğer sistem size 'Kullanıcı adı VEYA telefon numarası ile giriş yapabilirsiniz' diyorsa, bu da 'veya' bağlacıdır. Sadece birinin doğru olması, sisteme giriş yapmanız (sonucun 1 olması) için yeterlidir.
Niceleyicilerin Algoritmalardaki Yeri
Bazen bir koşulun bir gruptaki tüm elemanlar için mi yoksa sadece bazı elemanlar için mi geçerli olduğunu kontrol etmemiz gerekir. Algoritmalar bunu niceleyiciler kullanarak yapar.
- Evrensel Niceleyici (Her - ∀): Bir sınıftaki *tüm* öğrencilerin devamsızlık sınırını aşıp aşmadığını kontrol eden bir sistem '∀' mantığıyla çalışır. Eğer tek bir öğrenci bile sınırı aşmışsa, 'sınıftaki herkes kurallara uydu' önermesi yanlış (0) olur.
- Varlıksal Niceleyici (En az bir/Bazı - ∃): Bir listede *en az bir* tane hatalı şifre bulmaya çalışan bir virüs tarama programı '∃' yapısını kullanır. İlk hatalı dosyayı bulduğunda aramayı durdurup 'tehlike var' (1) uyarısı verebilir.
Algoritma Akış Şeması Örneği
Bir sayının hem 2'ye hem de 3'e bölünebilme durumunu kontrol eden basit bir akış şemasını inceleyelim. Burada p: 'Sayı 2'ye bölünür' ve q: 'Sayı 3'e bölünür' olsun. Koşulumuz p VE q olacaktır. Şemadaki elmas şekli, mantıksal karar anını temsil eder.
Şifreleme ve İspatlarda Algoritmik Yaklaşım
Günümüzde dijital şifreleme yöntemleri, asal sayılar ve devasa mantıksal işlemler dizisi kullanılarak oluşturulan algoritmalardır. Matematikte bir teoremi ispatlarken de aslında beynimizde bir algoritma çalıştırırız. 'Eğer bir sayı çift ise, karesi de çifttir' önermesini ispatlamak için adım adım mantıksal çıkarımlar yaparız. Mantık dili, uzun ve karmaşık durumları matematiksel sembollerin o muazzam yalınlığı ve kesinliğiyle ifade etmemizi sağlar.
Algoritmalarda Mantık ve Niceleyicilerin Gücü: Alıştırma Soruları
1. Bir bina güvenlik sistemi, kapının açılması için kişinin 'hem yüz taramasının eşleşmesini' 'hem de parmak izinin onaylanmasını' zorunlu kılmaktadır. Bu algoritmik şart matematikte hangi mantık bağlacı ile ifade edilir?
- A) A) Veya (∨)
- B) B) Ve (∧)
- C) C) İse (⇒)
- D) D) Ancak ve ancak (⇔)
Cevabı göster
Doğru cevap: B) B) Ve (∧)
Her iki koşulun da aynı anda, birlikte sağlanması gerektiği durumlar matematikte 've' bağlacıyla temsil edilir.
2. Bir kelime işlemci programında yazım denetimi yapan bir algoritma, metindeki kelimeleri taramakta ve 'en az bir tane' hatalı yazılmış kelime bulduğunda taramayı durdurarak 'Yazım Hatası Var' uyarısı vermektedir. Bu algoritmanın çalışma mantığı hangi niceleyici ile doğrudan ilişkilidir?
- A) A) Evrensel Niceleyici (∀)
- B) B) Varlıksal Niceleyici (∃)
- C) C) Koşullu Önerme (⇒)
- D) D) De Morgan Kuralları
Cevabı göster
Doğru cevap: B) B) Varlıksal Niceleyici (∃)
Algoritmanın tüm elemanları hatasız bulması gerekmez, sadece 'en az bir' hatalı eleman bulduğunda işlem yapması varlıksal niceleyici (bazı/en az bir) ile ilgilidir.
3. Bir alışveriş sitesindeki indirim algoritması şu kurala göre çalışmaktadır: Eğer müşterinin sepet tutarı 500 TL'den büyükse (x > 500) VEYA müşteri 'Premium' üye ise (y = 1), kargo bedava olmaktadır. Aşağıdaki müşteri profillerinden hangisi bu algoritmaya göre kargo ücreti ödemek zorundadır?
- A) A) Sepet tutarı 600 TL, Premium üye değil
- B) B) Sepet tutarı 200 TL, Premium üye
- C) C) Sepet tutarı 800 TL, Premium üye
- D) D) Sepet tutarı 450 TL, Premium üye değil
Cevabı göster
Doğru cevap: D) D) Sepet tutarı 450 TL, Premium üye değil
'Veya' (∨) bağlacının yanlış (0) sonuç vermesi için her iki koşulun da aynı anda yanlış olması gerekir. 450 TL (500'den büyük değil) ve Premium değil durumu ikisini de sağlamaz.
4. Matematiksel ispat yöntemlerini bir bilgisayar algoritması gibi düşünen bir öğrenci, 'p ⇒ q' (p ise q) yapısını kullanmaktadır. Bu bağlaç algoritmik bir akış şemasında genel olarak hangi yapıya karşılık gelir?
- A) A) Belirli bir şarta bağlı olarak yönlendirme yapmaya (Eğer ... ise, ... yap)
- B) B) İşlemi sonsuz bir döngüye sokmaya
- C) C) Gelen veriyi kalıcı olarak silmeye
- D) D) Her iki durumu da tamamen birbirinden bağımsız çalıştırmaya
Cevabı göster
Doğru cevap: A) A) Belirli bir şarta bağlı olarak yönlendirme yapmaya (Eğer ... ise, ... yap)
Mantıktaki 'ise' bağlacı koşullu bir önermedir. Algoritmalarda karar yapılarındaki 'If [şart] Then [sonuç]' komutlarının tam karşılığıdır.
5. Bir nükleer santralin soğutma sistemi algoritması, p: 'Sıcaklık normal' ve q: 'Su basıncı normal' olmak üzere, ~(p ∧ q) koşulu doğru (1) olduğunda acil durum alarmı verecek şekilde programlanmıştır. De Morgan kurallarını da düşünerek, bu alarm hangi durumda çalar?
- A) A) Sadece sıcaklık ve basınç aynı anda normal olduğunda
- B) B) Sıcaklık normal değilse veya su basıncı normal değilse
- C) C) Sadece sıcaklık normal değilken (basınçtan bağımsız)
- D) D) Sıcaklık ve su basıncının ikisi de kesinlikle normal değilken
Cevabı göster
Doğru cevap: B) B) Sıcaklık normal değilse veya su basıncı normal değilse
De Morgan kuralına göre ~(p ∧ q) ≡ ~p ∨ ~q şeklindedir. Yani 'sıcaklık normal değil VEYA su basıncı normal değil' şartlarından biri bile gerçekleşirse alarm çalar.