📄 9. Sınıf Matematik: Algoritmada ispat Çalışma Kağıdı
📌 1. Doğru / Yanlış
1. Bir algoritmanın doğruluğunu ispatlamak için sadece birkaç rastgele girdi ile test etmek matematiksel olarak her zaman yeterlidir.
2. Algoritmada ispat sürecinde, algoritmanın sonlu sayıda adımda duracağının gösterilmesine sonluluk (termination) denir.
3. Döngü değişmezi (loop invariant), bir döngünün her adımından önce ve sonra doğru kalan matematiksel bir ifadedir.
4. Bir algoritmanın her girdi için doğru çıktıyı ürettiğini tümevarım yöntemiyle ispatlamak mümkündür.
5. Akış şemalarındaki karar kutuları (eşkenar dörtgen) sadece tek bir çıkış yoluna sahip olmak zorundadır.
✏️ 2. Boşluk Doldurma
🔗 3. Kavram Eşleştirme
✍️ 4. Kısa Cevaplı Sorular
1. Bir algoritmanın doğruluğunu ispatlarken kullanılan üç temel aşama sırasıyla hangileridir?
2. Ardışık tek sayıların toplamını bulan bir algoritmanın doğruluğunu ispatlamak için hangi matematiksel ispat yöntemi en uygundur?
3. Bir algoritmanın sonlu olduğunu ispatlamak için neyin gösterilmesi gerekir?
🎯 5. Çoktan Seçmeli Sorular
1. Bir algoritmanın doğruluğunu ispatlamak isteyen bir öğrenci, döngü değişmezi (loop invariant) yöntemini kullanmaktadır. Bu yöntemin geçerli olabilmesi için aşağıdaki aşamalardan hangilerinin doğru olması gerekir?
I. Başlangıçta (döngü başlamadan önce) değişmezin doğru olması
II. Döngünün her adımında değişmezin doğruluğunun korunması
III. Döngü bittiğinde elde edilen sonucun algoritmanın doğruluğunu kanıtlaması
2. Girdisi pozitif bir \(n\) tam sayısı olan ve \(1\)'den \(n\)'ye kadar olan ardışık doğal sayıların toplamını hesaplayan bir algoritmanın doğruluğu ispatlanırken, hangi matematiksel formülün doğruluğu temel alınır?
3. Aşağıdakilerden hangisi bir algoritmanın 'sonluluk' (termination) özelliğini doğrudan tehlikeye atan bir durumdur?
4. Bir algoritmanın doğruluğunu ispatlamak amacıyla yapılan işlemlerle ilgili olarak aşağıda verilen ifadelerden hangisi yanlıştır?
5. Aşağıda adımları verilen algoritmanın amacı \(a\) ve \(b\) pozitif tam sayılarının en büyük ortak bölenini (EBOB) bulmaktır:
1. Adım: Başla.
2. Adım: \(a\) ve \(b\) sayılarını oku.
3. Adım: Eğer \(a = b\) ise 6. Adıma git.
4. Adım: Eğer \(a > b\) ise \(a = a - b\) yap ve 3. Adıma git.
5. Adım: Eğer \(b > a\) ise \(b = b - a\) yap ve 3. Adıma git.
6. Adım: Yaz \(a\) ve dur.
Bu algoritmanın doğruluğunu ispatlarken kullanılan temel matematiksel teorem aşağıdakilerden hangisidir?
📝 6. Açık Uçlu Klasik Sorular
1. Bir \(n\) pozitif tam sayısı girdi olarak alındığında, \(1\)'den \(n\)'ye kadar olan sayıların toplamını bulan bir döngü algoritması tasarlanmıştır. Bu algoritmanın her adımında toplamı tutan değişken \(S\) ve döngü sayacı \(i\) olmak üzere, döngünün her adımında \(S = \frac{i \times (i + 1)}{2}\) eşitliğinin korunduğu bilinmektedir. Bu ifadenin bir 'döngü değişmezi' (loop invariant) olduğunu varsayarak, algoritma sonlandığında (yani \(i = n\) olduğunda) elde edilen sonucun doğruluğunu açıklayarak ispatlayınız.
2. Bir algoritmanın 'sonluluk' (termination) özelliğinin ne anlama geldiğini açıklayınız ve her adımda pozitif bir \(x\) tam sayısını \(1\) azaltarak sıfıra ulaştığında duran bir algoritmanın neden sonlu olduğunu kısaca ispatlayınız.
3. İki pozitif tam sayının çarpımını sadece toplama işlemi kullanarak bulan bir algoritma yazınız ve bu algoritmanın doğruluğunu matematiksel olarak nasıl ispatlayabileceğinizi adımlarıyla açıklayınız.
|
Ad Soyad: .................................. Sınıf / No: ....... / ......... Tarih: .... / .... / 202...
Algoritmada ispat Çalışma Kağıdı
|
PUAN
|
A. Doğru (D) / Yanlış (Y) Bölümü
| ( .... ) | Bir algoritmanın doğruluğunu ispatlamak için sadece birkaç rastgele girdi ile test etmek matematiksel olarak her zaman yeterlidir. |
| ( .... ) | Algoritmada ispat sürecinde, algoritmanın sonlu sayıda adımda duracağının gösterilmesine sonluluk (termination) denir. |
| ( .... ) | Döngü değişmezi (loop invariant), bir döngünün her adımından önce ve sonra doğru kalan matematiksel bir ifadedir. |
| ( .... ) | Bir algoritmanın her girdi için doğru çıktıyı ürettiğini tümevarım yöntemiyle ispatlamak mümkündür. |
| ( .... ) | Akış şemalarındaki karar kutuları (eşkenar dörtgen) sadece tek bir çıkış yoluna sahip olmak zorundadır. |
B. Boşluk Doldurma Bölümü
| 1) | Bir algoritmanın belirli bir girdi kümesi için her zaman doğru sonucu verdiğini matematiksel olarak gösterme işlemine .................... denir. |
| 2) | Döngü içeren algoritmaların doğruluğunu ispatlamak için genellikle .................... değişmezi kavramı kullanılır. |
| 3) | Algoritmanın adımlarının sonsuza kadar gitmeyip bir yerde durması özelliğine .................... adı verilir. |
| 4) | Bir algoritmanın adımlarını geometrik şekillerle görselleştiren şemalara .................... şeması denir. |
| 5) | Doğal sayıların toplamını bulan bir algoritmanın doğruluğunu ispatlarken matematiksel .................... yöntemi sıklıkla kullanılır. |
🔗 3. Kavram Eşleştirme
D. Kısa Cevaplı Sorular
| 1) | Bir algoritmanın doğruluğunu ispatlarken kullanılan üç temel aşama sırasıyla hangileridir? |
| 2) | Ardışık tek sayıların toplamını bulan bir algoritmanın doğruluğunu ispatlamak için hangi matematiksel ispat yöntemi en uygundur? |
| 3) | Bir algoritmanın sonlu olduğunu ispatlamak için neyin gösterilmesi gerekir? |
E. Çoktan Seçmeli Sorular
| 1) |
Bir algoritmanın doğruluğunu ispatlamak isteyen bir öğrenci, döngü değişmezi (loop invariant) yöntemini kullanmaktadır. Bu yöntemin geçerli olabilmesi için aşağıdaki aşamalardan hangilerinin doğru olması gerekir? I. Başlangıçta (döngü başlamadan önce) değişmezin doğru olması II. Döngünün her adımında değişmezin doğruluğunun korunması III. Döngü bittiğinde elde edilen sonucun algoritmanın doğruluğunu kanıtlaması
A) Yalnız I
B) Yalnız II
C) I ve II
D) II ve III
E) I, II ve III
|
| 2) |
Girdisi pozitif bir \(n\) tam sayısı olan ve \(1\)'den \(n\)'ye kadar olan ardışık doğal sayıların toplamını hesaplayan bir algoritmanın doğruluğu ispatlanırken, hangi matematiksel formülün doğruluğu temel alınır?
A) \(n^2\)
B) \(\frac{n \times (n + 1)}{2}\)
C) \(n \times (n + 1)\)
D) \(\frac{n \times (n - 1)}{2}\)
E) \(2n - 1\)
|
| 3) |
Aşağıdakilerden hangisi bir algoritmanın 'sonluluk' (termination) özelliğini doğrudan tehlikeye atan bir durumdur?
A) Algoritmanın çok fazla değişken içermesi
B) Döngü kontrol değişkeninin hiçbir zaman bitiş koşuluna ulaşamaması
C) Algoritmada karar yapılarının (if-else) kullanılması
D) Girdi değerlerinin negatif tam sayılardan oluşması
E) Çıktı değerinin sıfıra eşit olması
|
| 4) |
Bir algoritmanın doğruluğunu ispatlamak amacıyla yapılan işlemlerle ilgili olarak aşağıda verilen ifadelerden hangisi yanlıştır?
A) Algoritma ispatı, algoritmanın her geçerli girdi için doğru çıktıyı üreteceğini garanti eder.
B) Sadece birkaç örnek girdi ile deneme yapmak kesin bir matematiksel ispat yerine geçmez.
C) Tümevarım yöntemi, döngüsel algoritmaların ispatında sıklıkla kullanılır.
D) Bir algoritmanın doğruluğunu ispatlamak için mutlaka bilgisayarda çalıştırılması gerekir.
E) Döngü değişmezleri, döngünün her adımında doğru kalması gereken mantıksal ifadelerdir.
|
| 5) |
Aşağıda adımları verilen algoritmanın amacı \(a\) ve \(b\) pozitif tam sayılarının en büyük ortak bölenini (EBOB) bulmaktır: 1. Adım: Başla. 2. Adım: \(a\) ve \(b\) sayılarını oku. 3. Adım: Eğer \(a = b\) ise 6. Adıma git. 4. Adım: Eğer \(a > b\) ise \(a = a - b\) yap ve 3. Adıma git. 5. Adım: Eğer \(b > a\) ise \(b = b - a\) yap ve 3. Adıma git. 6. Adım: Yaz \(a\) ve dur. Bu algoritmanın doğruluğunu ispatlarken kullanılan temel matematiksel teorem aşağıdakilerden hangisidir?
A) \(EBOB(a, b) = EBOB(a - b, b)\)
B) \(EBOB(a, b) = a \times b\)
C) \(EBOB(a, b) = EBOB(a + b, b)\)
D) \(EBOB(a, b) = a - b\)
E) \(EBOB(a, b) = EBOB(a, a \times b)\)
|
F. Açık Uçlu Klasik Sorular
| 1) | Bir \(n\) pozitif tam sayısı girdi olarak alındığında, \(1\)'den \(n\)'ye kadar olan sayıların toplamını bulan bir döngü algoritması tasarlanmıştır. Bu algoritmanın her adımında toplamı tutan değişken \(S\) ve döngü sayacı \(i\) olmak üzere, döngünün her adımında \(S = \frac{i \times (i + 1)}{2}\) eşitliğinin korunduğu bilinmektedir. Bu ifadenin bir 'döngü değişmezi' (loop invariant) olduğunu varsayarak, algoritma sonlandığında (yani \(i = n\) olduğunda) elde edilen sonucun doğruluğunu açıklayarak ispatlayınız. |
| 2) | Bir algoritmanın 'sonluluk' (termination) özelliğinin ne anlama geldiğini açıklayınız ve her adımda pozitif bir \(x\) tam sayısını \(1\) azaltarak sıfıra ulaştığında duran bir algoritmanın neden sonlu olduğunu kısaca ispatlayınız. |
| 3) | İki pozitif tam sayının çarpımını sadece toplama işlemi kullanarak bulan bir algoritma yazınız ve bu algoritmanın doğruluğunu matematiksel olarak nasıl ispatlayabileceğinizi adımlarıyla açıklayınız. |
Cevap Anahtarı ve Detaylı Çözümler İçin QR Kodu Okutun
https://www.eokultv.com/atolye/9-sinif-matematik-algoritmada-ispat/etkinlikler