konukonu

Bütün konular

Menü
9. sınıf, Algoritma ve BilişimMAT.9.5.3

Mantık ve algoritma

Mantık Bağlaçları ve Niceleyicilerin Algoritmik Problemlerde Kullanımı

Kazanım: Mantık bağlaçları ve niceleyicilerin algoritmalarda kullanımına yönelik edindiği deneyimi farklı matematiksel görev ve problemlere yansıtabilme.

Sorular ve çözümleri

Her sorunun altında adım adım çözüm var. Çoktan seçmelide doğru şık, çözümü açınca işaretlenir.

Zorluk
Cevap biçimi
Soru türü
Şekil
36 soru gösteriliyor
Soru 1KavramKısa cevap4 puanKolay, zorluk 2 / 10
Bir öğrenci "Birler basamağı 4{4} olan her doğal sayı 4{4}'ün katıdır." önermesini sınamak için bir algoritma yazmıştır. Algoritma listedeki her sayı için önermenin o sayıda yanlış olup olmadığını denetlemekte ve önermeyi yanlış çıkaran sayıları ekrana yazdırmaktadır.Liste: 24{24}, 34{34}, 40{40}, 51{51}, 54{54}, 64{64}, 94{94}Buna göre algoritma ekrana kaç sayı yazdırır?
Çözümü göster

Cevap: 3\displaystyle 3

  1. 1
    Bir sayının bu önermeyi yanlış çıkarması için önermenin koşulunu sağlaması ama hükmünü sağlamaması gerekir: birler basamağı 4{4} olmalı ve sayı 4{4}'ün katı olmamalıdır.
  2. 2
    Birler basamağı 4{4} olmayan 40{40} ve 51{51} önermeyi yanlış çıkaramaz. 51{51} sayısı 4{4}'ün katı olmasa da önerme birler basamağı 4{4} olan sayılar hakkındadır.
  3. 3
    Birler basamağı 4{4} olan sayılardan 24{24} ve 64{64}, 4{4}'ün katıdır; 34{34}, 54{54} ve 94{94} ise 4{4}'ün katı değildir.
  4. 4
    Algoritma ekrana 34{34}, 54{54} ve 94{94} sayılarını, yani 3{3} sayı yazdırır.
Soru 2KavramÇoktan seçmeli5 puanOrta, zorluk 5 / 10
Bir öğrenci, iki basamaklı bir n{n} sayısının 15{15}'in katı olup olmadığını bulan bir algoritma yazmıştır. Algoritmada n=10a+b{n = 10a + b} biçiminde yazılmıştır (a{a} ile b{b} rakamdır). Algoritmanın üç adımı aşağıda verilmiştir.I. n{n} sayısının onlar ve birler basamağını ayır; onlar basamağını a{a}, birler basamağını b{b} olarak kaydet.II. b{b} sayısı 5{5}'in katı ve a+b{a + b} toplamı 3{3}'ün katı ise ekrana "15{15}'in katıdır" yaz.III. Koşul sağlanmıyorsa ekrana "15{15}'in katı değildir" yaz ve algoritmayı bitir.Buna göre hangi adımlarda "ve" sözcüğü, doğruluk değeri olan iki önermeyi birleştiren bir mantık bağlacı olarak kullanılmıştır?
  1. AYalnız I
  2. BYalnız II
  3. CI ve II
  4. DII ve III
  5. EI, II ve III
Çözümü göster

BDoğru cevap

  1. 1
    Mantık bağlacı olan "ve", doğruluk değeri olan iki önermeyi birleştirir; birleşik önerme ikisi birlikte doğru olduğunda doğrudur.
  2. 2
    I. adımdaki "onlar ve birler basamağı" iki basamağın adını sayar. III. adımdaki "yaz ve bitir" iki eylemi sırayla yaptırır. İki adımda da birleştirilen şeyler önerme değildir.
  3. 3
    II. adımda "b{b} sayısı 5{5}'in katıdır" ile "a+b{a + b} toplamı 3{3}'ün katıdır" önermeleri birleştirilir ve koşul ikisi birlikte doğru olduğunda sağlanır. Mantık bağlacının kullanıldığı adımlar Yalnız II olur.

Yanlış şıklar neden yanlış?

  • A)Sayı bildiren "ve" bağlaç sanılmış: "onlar ve birler basamağı" iki basamağın adıdır, doğruluk değeri olan iki önerme değildir. II. adımdaki koşul da gözden kaçmış.
  • C)I. adımdaki "ve" de bağlaç sayılmış; o sözcük iki önermeyi değil iki basamağın adını birleştirir.
  • D)III. adımdaki "ve" iki eylemi sıraya koyar; "yaz" ile "bitir" doğruluk değeri olan önermeler değildir.
  • E)Algoritmadaki her "ve" sözcüğü mantık bağlacı sanılmış.
Soru 3KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci "Bir doğal sayının son iki basamağının oluşturduğu sayı 25{25}'in katıysa sayının kendisi de 25{25}'in katıdır." önermesini ispatlamış ve bu ispata dayanarak aşağıdaki algoritmayı yazmıştır.Girdi: n{n} (doğal sayı)Başlam←n % 100{\quad m \leftarrow n \,\%\, 100}m % 25=0{\quad m \,\%\, 25 = 0} ise yazdır "25{25}'in katıdır"{\quad}değilse yazdır "25{25}'in katı değildir"BitirAşağıdaki önermelerde n{n} her doğal sayıyı, m{m} ise n{n} sayısının son iki basamağının oluşturduğu sayıyı göstermektedir.Buna göre algoritmanın her girdide doğru sonuç yazdırdığını göstermek için öğrencinin ispatladığı önermeye ek olarak aşağıdakilerden hangisini de ispatlaması gerekir?
  1. A(m % 25=0)∧(n % 25=0)\displaystyle (m \,\%\, 25 = 0) \land (n \,\%\, 25 = 0)
  2. B(n % 25≠0)⇒(m % 25≠0)\displaystyle (n \,\%\, 25 \neq 0) \Rightarrow (m \,\%\, 25 \neq 0)
  3. C(m % 25=0)⇒(n % 5=0)\displaystyle (m \,\%\, 25 = 0) \Rightarrow (n \,\%\, 5 = 0)
  4. D(m % 25≠0)⇒(n % 25≠0)\displaystyle (m \,\%\, 25 \neq 0) \Rightarrow (n \,\%\, 25 \neq 0)
  5. EHiçbiri; ispatlanan önerme yeter
Çözümü göster

DDoğru cevap

  1. 1
    İspatlanan önerme (m % 25=0)⇒(n % 25=0){(m \,\%\, 25 = 0) \Rightarrow (n \,\%\, 25 = 0)} önermesidir. Algoritma koşul doğruyken "25{25}'in katıdır" yazdırır; bu çıktının doğruluğunu ispatlanan önerme gösterir.
  2. 2
    Değilse dalına m % 25≠0{m \,\%\, 25 \neq 0} iken gelinir ve algoritma "25{25}'in katı değildir" yazdırır. Bu çıktının doğru olması için m{m} sayısı 25{25}'in katı değilken n{n} sayısının da 25{25}'in katı olmadığı ispatlanmalıdır; ispatlanan önerme bunu söylemez.
  3. 3
    Bu ek önerme de doğrudur: n=100q+m{n = 100q + m} (q{q} doğal sayı) yazılırsa 100q{100q} her zaman 25{25}'in katıdır. Ek olarak ispatlanması gereken önerme (m % 25≠0)⇒(n % 25≠0){(m \,\%\, 25 \neq 0) \Rightarrow (n \,\%\, 25 \neq 0)} olur.

Yanlış şıklar neden yanlış?

  • A)İki koşulun her sayıda birlikte doğru olduğu yazılmış. Bu önerme yanlıştır (n=7{n = 7} için ikisi de yanlış) ve değilse dalı hakkında bir şey söylemez.
  • B)Önerme n{n} sayısının 25{25}'in katı olmadığı durumdan başlıyor; oysa değilse dalına m{m} sayısı 25{25}'in katı olmadığında gelinir. Bu önerme Evet dalının zaten ispatlanmış doğruluğunu tekrar eder.
  • C)İspatlanan önermeden çıkan daha zayıf bir sonuç yazılmış; Evet dalını ilgilendirir, değilse dalının çıktısını gerekçelendirmez.
  • E)İspatlanan önerme yalnız koşul sağlandığında ne olacağını söyler; koşul sağlanmadığında sayının 25{25}'in katı olmadığını söylemez.
Soru 4Yeni nesilKısa cevap8 puanZor, zorluk 8 / 10
Bir öğrenci "Rakamları toplamı 9{9}'un katı olan her doğal sayı 3{3}'ün katıdır." önermesini ispatlamıştır. Bu önermeye dayanarak, girilen bir doğal sayının 3{3}'ün katı olup olmadığını bulan şekildeki akış şemasını hazırlamıştır.Şema sırasıyla 2736{2736}, 4152{4152}, 5071{5071}, 3804{3804}, 6912{6912}, 1250{1250} ve 7203{7203} sayıları için çalıştırılmıştır.Buna göre şema bu sayılardan kaçı için yanlış sonuç yazdırır?
Üçe bölünmeyi rakamlar toplamıyla bulan akış şeması Başla, n gir. t, n sayısının rakamları toplamı olarak hesaplanır. t % 9 = 0 karar kutusunun Evet dalı sayının üçe bölündüğünü, Hayır dalı sayının üçe bölünmediğini yazdıran çıktıya gider. İki çıktı Bitir'e bağlanır. Başla n gir t ← rakamlar toplamı t % 9 = 0 3'e bölünür 3'e bölünmez Bitir Evet Hayır
Çözümü göster

Cevap: 3\displaystyle 3

  1. 1
    Şema t % 9=0{t \,\%\, 9 = 0} iken sayının 3{3}'e bölündüğünü yazdırır. İspatlanan önerme bu çıktının her zaman doğru olduğunu gösterir; yanlış sonuç ancak Hayır dalında çıkabilir.
  2. 2
    Rakamları toplamları: 2736{2736} için 18{18}, 4152{4152} için 12{12}, 5071{5071} için 13{13}, 3804{3804} için 15{15}, 6912{6912} için 18{18}, 1250{1250} için 8{8}, 7203{7203} için 12{12}.
  3. 3
    Toplamı 18{18} olan 2736{2736} ve 6912{6912} için şema sayının 3{3}'e bölündüğünü yazdırır ve bu doğrudur. Öteki beş sayı için 3{3}'e bölünmediğini yazdırır.
  4. 4
    Bu beş sayıdan rakamları toplamı 3{3}'ün katı olan 4152{4152}, 3804{3804} ve 7203{7203} aslında 3{3}'ün katıdır; 5071{5071} ve 1250{1250} ise 3{3}'ün katı değildir.
  5. 5
    Hayır dalı, "3{3}'ün katı olan her sayının rakamları toplamı 9{9}'un katıdır" önermesine dayanır ve bu önerme yanlıştır. Şema 3{3} sayı için yanlış sonuç yazdırır.
Soru 5KavramÇoktan seçmeli7 puanZor, zorluk 7 / 10
Bir öğrenci, girilen bir x{x} gerçek sayısının bir önerme için karşıt örnek olup olmadığını bulan şekildeki akış şemasını hazırlamıştır. Aşağıdaki önermeler her x{x} gerçek sayısı için yazılmıştır.Buna göre şemanın karşıt örneğini aradığı önerme aşağıdakilerden hangisidir?
Karşıt örneği bulan akış şeması Başla, x gir. x > 3 karar kutusunun Hayır dalı Karşıt örnek değil çıktısına, Evet dalı x > 5 karar kutusuna gider. Bu kutunun Evet dalı Karşıt örnek değil çıktısına, Hayır dalı Karşıt örnek çıktısına gider. İki çıktı Bitir'e bağlanır. Başla x gir x > 3 x > 5 Karşıt örnek değil Karşıt örnek Bitir Evet Hayır Evet Hayır
  1. A(x>5)⇒(x>3)\displaystyle (x > 5) \Rightarrow (x > 3)
  2. B(x>3)∧(x>5)\displaystyle (x > 3) \land (x > 5)
  3. C(x≤3)⇒(x>5)\displaystyle (x \leq 3) \Rightarrow (x > 5)
  4. D(x>3)∨(x>5)\displaystyle (x > 3) \lor (x > 5)
  5. E(x>3)⇒(x>5)\displaystyle (x > 3) \Rightarrow (x > 5)
Çözümü göster

EDoğru cevap

  1. 1
    Şema önce x>3{x > 3} koşuluna bakar; bu koşul yanlışsa sayıyı karşıt örnek saymaz.
  2. 2
    x>3{x > 3} doğruysa x>5{x > 5} koşuluna bakar; bu koşul da doğruysa karşıt örnek saymaz, yanlışsa Karşıt örnek yazdırır. Şema yalnız x>3{x > 3} doğru ve x>5{x > 5} yanlış olduğunda karşıt örnek bulur.
  3. 3
    Koşulunu sağlayıp hükmünü sağlamayan sayı bir "ise" önermesinin karşıt örneğidir; koşulu sağlamayan sayı karşıt örnek olamaz. Şemanın sınadığı önerme (x>3)⇒(x>5){(x > 3) \Rightarrow (x > 5)} olur.

Yanlış şıklar neden yanlış?

  • A)Karar kutularının sırası ters okunmuş. Bu önermenin karşıt örneği yoktur; oysa şema x=4{x = 4} için Karşıt örnek yazdırır.
  • B)İç içe karar kutuları "ve" diye okunmuş; ilk kutunun Hayır dalının da Karşıt örnek değil çıktısına gittiği gözden kaçmış. x=2{x = 2} bu önermenin karşıt örneğidir, şema ise onu karşıt örnek saymaz.
  • C)İlk kutunun Hayır dalı önermenin koşulu sanılmış. x=2{x = 2} bu önermenin karşıt örneğidir; şema onu karşıt örnek saymaz.
  • D)Karşıt örnek değil çıktısında birleşen iki dal "veya" diye okunmuş. x=4{x = 4} bu önermeyi sağlar; şema ise onu karşıt örnek sayar.
Soru 6KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci "Hem 4{4}'ün hem 6{6}'nın katı olan her doğal sayı 24{24}'ün katıdır." önermesini aşağıdaki adımlarla ispatladığını düşünmüştür.1. adım: n{n} sayısı 4{4}'ün katı olduğu için n=4p{n = 4p} olacak biçimde bir p{p} doğal sayısı vardır.2. adım: n{n} sayısı 6{6}'nın katı olduğu için 4p{4p} sayısı 6{6}'nın katıdır.3. adım: 4{4} sayısı 6{6}'nın katı olmadığından p{p} sayısı 6{6}'nın katıdır; p=6r{p = 6r} olacak biçimde bir r{r} doğal sayısı vardır.4. adım: n=4p=4⋅6r=24r{n = 4p = 4 \cdot 6r = 24r} olduğundan n{n} sayısı 24{24}'ün katıdır.Öğrenci bu önermeye dayanan algoritmasını tablodaki sayılarla denemiştir. Algoritma bir sayının hem 4{4}'e hem 6{6}'ya bölümünden kalan 0{0} ise "Bölünür" (24{24}'e bölünür), değilse "Bölünmez" yazdırmaktadır.Buna göre ispatın ilk hatalı adımı hangisidir?
Algoritmanın beş sayıyla denenmesi Dört sütunlu tablo: sayı, dörde bölümünden kalan, altıya bölümünden kalan, çıktı. 12: 0, 0, Bölünür. 24: 0, 0, Bölünür. 30: 2, 0, Bölünmez. 36: 0, 0, Bölünür. 48: 0, 0, Bölünür. n n % 4 n % 6 Çıktı 12 0 0 Bölünür 24 0 0 Bölünür 30 2 0 Bölünmez 36 0 0 Bölünür 48 0 0 Bölünür
  1. A1. adım
  2. B2. adım
  3. C3. adım
  4. D4. adım
  5. EHiçbiri; önerme doğrudur
Çözümü göster
Soru 7KavramÇoktan seçmeli3 puanKolay, zorluk 3 / 10
"n2+n{n^2 + n} sayısını 30{30}'un katı yapan en az bir pozitif tam sayı n{n} vardır." önermesi veriliyor. Bir algoritma n{n} sayısını 1{1}'den başlatıp birer birer artırmakta, n2+n{n^2 + n} sayısının 30{30}'un katı olduğu ilk sayıda durup o sayıyı ekrana yazdırmaktadır. Algoritma ekrana 5{5} yazdırmıştır.Buna göre bu çıktı önerme için aşağıdakilerden hangisini gösterir?
  1. AÖnerme ispatlanmıştır.
  2. BÖnerme ispatlanmamıştır.
  3. CÖnerme her sayı için doğrudur.
  4. DÖnerme yanlıştır.
  5. EBütün sayılar denenmelidir.
Çözümü göster
Soru 8KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci aşağıdaki üç önermeyi, sayıları tek tek deneyen algoritmalarla sınamıştır. Her algoritmanın denediği sayılar ve önermeye uymayan sayı tabloda verilmiştir.I. "Her d{d} rakamı için d2−d{d^2 - d} çift sayıdır."II. "Her n{n} pozitif tam sayısı için n2+n+1{n^2 + n + 1} tek sayıdır."III. "Her n{n} pozitif tam sayısı için 2n+1{2^n + 1} sayısı 3{3}'ün katıdır."Buna göre hangi algoritmaların bulduğu sonuç, sınadığı önermenin doğruluk değerini kesin olarak gösterir?
Üç önermenin algoritmayla sınanması Üç sütunlu tablo: önerme, denenen sayılar, önermeye uymayan sayı. I: sıfırdan dokuza kadar bütün rakamlar denenmiş, uymayan yok. II: birden bine kadar bütün sayılar denenmiş, uymayan yok. III: bir ve iki denenmiş, iki uymuyor. Önerme Denenen Uymayan I 0, 1, …, 9 Yok II 1, 2, …, 1000 Yok III 1, 2 2
  1. AYalnız I
  2. BYalnız III
  3. CI ve III
  4. DII ve III
  5. EI, II ve III
Çözümü göster
Soru 9KavramKısa cevap6 puanOrta, zorluk 5 / 10
Bir öğrenci "Birler basamağı 5{5}'in katı olan her doğal sayı 5{5}'in katıdır." önermesini aşağıdaki adımlarla ispatlamıştır.1. adım: n{n} sayısının birler basamağı b{b} olsun; n=10a+b{n = 10a + b} yazılır (a{a} doğal sayı).2. adım: b=5k{b = 5k} olsun; burada k{k} bir pozitif tam sayıdır.3. adım: n=10a+5k=5(2a+k){n = 10a + 5k = 5(2a + k)} olduğundan n{n} sayısı 5{5}'in katıdır.Buna göre üç basamaklı doğal sayılardan kaçı önermenin koşulunu sağladığı hâlde bu ispatın kapsamı dışında kalır?
Çözümü göster
Soru 10KavramÇoktan seçmeli7 puanZor, zorluk 7 / 10
"∀a>0{\forall a > 0} ve ∀b∈R{\forall b \in \mathbb{R}} için f(x)=ax+b{f(x) = ax + b} fonksiyonu artandır." önermesinin ispatı aşağıda verilmiştir.1. adım: x1<x2{x_1 < x_2} olacak biçimde herhangi iki gerçek sayı alınır.2. adım: Eşitsizliğin iki tarafı a{a} ile çarpılır: ax1<ax2{a x_1 < a x_2}3. adım: İki tarafa b{b} eklenir: ax1+b<ax2+b{a x_1 + b < a x_2 + b}4. adım: f(x1)<f(x2){f(x_1) < f(x_2)} bulunur. x1{x_1} ile x2{x_2} herhangi seçildiği için f{f} artandır.Bir öğrenci önermedeki ∀a>0{\forall a > 0} yazımını ∀a≥0{\forall a \geq 0} olarak değiştirmiş ve aynı ispatı kullanmak istemiştir.Buna göre değiştirilmiş önerme için ispatın ilk geçersiz adımı hangisidir?
  1. A1. adım
  2. B2. adım
  3. C3. adım
  4. D4. adım
  5. EHiçbiri; ispat yine geçerlidir
Çözümü göster
Soru 11KavramÇoktan seçmeli9 puanİleri, zorluk 9 / 10
"Çarpımı sıfır olan iki gerçek sayıdan en az biri sıfırdır." önermesi iki duruma ayrılarak ispatlanmıştır: x=0{x = 0} ise hüküm doğrudur; x≠0{x \neq 0} ise x{x} sayısının çarpmaya göre tersi vardır ve x⋅y=0{x \cdot y = 0} eşitliğinin iki tarafı bu tersle çarpılarak y=0{y = 0} bulunur. Bir öğrenci bu ispatı, çarpımı sıfır olan x{x} ve y{y} gerçek sayıları girilince çalışan şekildeki akış şemasına dönüştürmüştür.I. Karar kutusu kaldırılıp girilen sayılarla doğrudan işlem kutusuna geçilirse x=0{x = 0} için işlem kutusundaki bölme yapılamaz.II. Önermedeki "en az biri" ifadesi "yalnızca biri" olarak değiştirilirse önerme yine doğru olur.III. Aynı ispat "Çarpımı 1{1} olan iki gerçek sayıdan en az biri 1{1}'dir." önermesine uyarlanabilir.Buna göre yukarıdaki ifadelerden hangileri doğrudur?
Çarpımı sıfır olan iki sayının ispatından çıkan akış şeması Başla, x ve y gir. x = 0 karar kutusunun Evet dalı x sıfırdır çıktısına gider. Hayır dalında y, x çarpı y'nin x'e bölümü olarak hesaplanır ve y yazdırılır. İki çıktı Bitir'e bağlanır. Başla x, y gir x = 0 x sıfırdır y ← (x · y) / x y yazdır Bitir Hayır Evet
  1. AYalnız I
  2. BYalnız II
  3. CI ve II
  4. DI ve III
  5. EI, II ve III
Çözümü göster
Soru 12Yeni nesilAçık uçlu20 puanİleri, zorluk 9 / 10
Bir öğrenci "Her n{n} tam sayısı için n3−n{n^3 - n} sayısı 6{6}'nın katıdır." önermesini önce bir algoritmayla sınamış, sonra ispatlamıştır. Algoritmanın 1{1}'den 6{6}'ya kadar (uçlar dâhil) denediği sayılar ve bulduğu değerler tabloda verilmiştir; bir satır silinmiştir.Öğrencinin ispatı:1. adım: n3−n=n(n2−1)=(n−1)⋅n⋅(n+1){n^3 - n = n(n^2 - 1) = (n - 1) \cdot n \cdot (n + 1)} yazılır.2. adım: n−1{n - 1}, n{n} ve n+1{n + 1} ardışık üç tam sayıdır; bu sayılardan en az biri çift ve en az biri 3{3}'ün katıdır.3. adım: Çarpım hem 2{2}'nin hem 3{3}'ün katıdır. 2{2} ile 3{3}'ün 1{1}'den başka ortak pozitif böleni olmadığı için çarpım 6{6}'nın katıdır.Buna göre aşağıdaki soruları cevaplayınız.
Önermenin birden altıya kadar sınanması Üç sütunlu tablo: n, n küp eksi n, altıya bölümünden kalan. 1: 0 ve 0. 2: 6 ve 0. 3: 24 ve 0. 4: 60 ve 0. 5: silinmiş. 6: 210 ve 0. n n³ − n 6'ya bölümünden kalan 1 0 0 2 6 0 3 24 0 4 60 0 5 ? ? 6 210 0
  1. a)
    Tablodaki silinmiş satırda n3−n{n^3 - n} değeri kaçtır?(3 puan)
  2. b)
    2. adımdaki "en az biri çift" ifadesi yerine "yalnızca biri çift" yazılsaydı bu adım doğru olur muydu? Gerekçesiyle yazınız.(5 puan)
  3. c)
    Algoritma yalnız 1{1}'den 6{6}'ya kadar olan sayıları denemiştir. Öğrencinin ispatı önermenin n=0{n = 0} ve negatif tam sayılar için de doğru olduğunu gösterir mi? Gerekçesiyle yazınız.(6 puan)
  4. ç)
    Bir arkadaşı aynı yöntemle "Her n{n} tam sayısı için n3−n{n^3 - n} sayısı 12{12}'nin katıdır." önermesini ispatlamak istemiş ve 2. adımı "bu sayılardan en az biri 4{4}'ün katı ve en az biri 3{3}'ün katıdır" biçiminde değiştirmiştir. Bu önermeyi yanlış çıkaran en küçük pozitif tam sayı kaçtır?(6 puan)
Çözümü göster
Soru 13KavramKısa cevap4 puanKolay, zorluk 3 / 10
Bir matematik kulübünde "2{2} sayısından büyük her asal sayı tek sayıdır." önermesi önce ispatlanmış, sonra bu ispata dayanan bir algoritma yazılmıştır. İspatın dört adımı ile algoritmanın üç adımı karıştırılarak aşağıdaki gibi numaralanmıştır.(1) Buna göre 2{2} sayısı, p{p} sayısının hem 1{1} sayısından hem kendisinden farklı bir bölenidir.(2) p{p} sayısı çift olsaydı p=2k{p = 2k} olacak biçimde ve 1{1} sayısından büyük bir k{k} tam sayısı bulunurdu.(3) p{p} sayısı, 2{2} sayısından büyük bir asal sayı olsun.(4) Bulunan bölen, asal sayının 1{1} sayısından ve kendisinden başka böleni olmaması özelliğiyle çelişir; öyleyse p{p} tek sayıdır.(5) Bulunan kalan 0{0} olmadığından ekrana "p{p} tektir" yaz.(6) İspatlanan önermeye dayanan algoritmada girdi olarak 2{2} sayısından büyük bir p{p} asal sayısı al.(7) p{p} sayısının 2{2} sayısına bölümünden kalan 0{0} mı diye bak.Her ifade bir öncekinin sonucunu kullandığına göre ifadelerin doğru sırasını yazınız.
Çözümü göster
Soru 14KavramÇoktan seçmeli5 puanOrta, zorluk 5 / 10
Bir öğrenci "Her tam sayının karesi negatif değildir." kuralını sembolik olarak yazmak istemektedir.Buna göre aşağıdaki yazımlardan hangisi bu kuralı tam olarak karşılar?
  1. A∀n∈Z,n2≥0\displaystyle \forall n \in \mathbb{Z}, n^2 \geq 0
  2. B∀n∈Z,n2>0\displaystyle \forall n \in \mathbb{Z}, n^2 > 0
  3. C∃n∈Z,n2≥0\displaystyle \exists n \in \mathbb{Z}, n^2 \geq 0
  4. D∀n∈Z,n≥0⇒n2≥0\displaystyle \forall n \in \mathbb{Z}, n \geq 0 \Rightarrow n^2 \geq 0
  5. E∃n∈Z,n2<0\displaystyle \exists n \in \mathbb{Z}, n^2 < 0
Çözümü göster
Soru 15KavramKısa cevap6 puanOrta, zorluk 6 / 10
Bir öğrenci "8{8} sayısının katı olan her doğal sayının son üç basamağının oluşturduğu sayı da 8{8} sayısının katıdır." önermesini ispatlamıştır. Aynı öğrenci, girilen bir doğal sayının 8{8} sayısının katı olup olmadığına karar veren aşağıdaki sözde kodu yazmıştır.Girdi: n{n} (doğal sayı)Başlas←n % 1000{\quad s \leftarrow n \,\%\, 1000}s % 8=0{\quad s \,\%\, 8 = 0} ise yazdır "Katıdır"{\quad}değilse yazdır "Katı değildir"BitirBurada n{n} girilen doğal sayıyı, s{s} ise n{n} sayısının son üç basamağının oluşturduğu sayıyı göstermektedir. Kodun "Katıdır" satırının her girdide doğru çalıştığını göstermek için ispatlanması gereken önermeyi ⇒{\Rightarrow} sembolüyle yazınız.
Çözümü göster
Soru 16KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
"∀x∈R{\forall x \in \mathbb{R}} için x>3⇒x2>9{x > 3 \Rightarrow x^2 > 9}" önermesi veriliyor. Bir öğrenci bu önermeyi, girilen bir x{x} gerçek sayısı için çalışan tek bir algoritma adımıyla ifade etmek istemiş ve dört aday yazmıştır.I. Girilen x{x} sayısının karesi 9{9} sayısından büyükse ekrana "x{x} sayısı 3{3} sayısından büyüktür" yaz.II. Girilen x{x} sayısı 3{3} sayısından büyük ve karesi 9{9} sayısından büyükse ekrana "Doğru" yaz.III. Girilen x{x} sayısı 3{3} sayısından büyükse ekrana "Karesi 9{9} sayısından büyüktür" yaz.IV. Karesi 9{9} sayısından büyük en az bir x{x} sayısı bulunana kadar dene, sonra ekrana "Doğru" yaz.Buna göre adaylardan hangisi verilen önermeyi doğru karşılar?
  1. AI\displaystyle \text{I}
  2. BII\displaystyle \text{II}
  3. CIII\displaystyle \text{III}
  4. DIV\displaystyle \text{IV}
  5. EHic¸biri\displaystyle \text{Hiçbiri}
Çözümü göster
Soru 17KavramÇoktan seçmeli3 puanKolay, zorluk 3 / 10
Bir defterde "Bir sayının karesi kendisine eşittir." cümlesi yazılıdır. Bu cümlede niceleyici yazılmadığı için cümle henüz bir önerme değildir; başına bir niceleyici eklenince doğruluk değeri belirlenebilir.Buna göre cümlenin başına aşağıdakilerden hangisi eklenirse doğru bir önerme elde edilir?
  1. AHer gerçek sayı için
  2. BHer tam sayı için
  3. CBirden büyük her doğal sayı için
  4. DEn az bir gerçek sayı için
  5. EHic¸biri\displaystyle \text{Hiçbiri}
Çözümü göster
Soru 18KavramAçık uçlu15 puanZor, zorluk 7 / 10
"∀x∈R{\forall x \in \mathbb{R}} için x≠0⇒x2>0{x \neq 0 \Rightarrow x^2 > 0}" önermesi veriliyor. Bir öğretmen bu önermenin sözel yazımı için iki aday cümle vermiştir.Aday 1: Her gerçek sayının karesi pozitiftir.Aday 2: Sıfır dışındaki her gerçek sayının karesi sıfırdan büyüktür.Buna göre aşağıdaki soruları cevaplayınız.
  1. a)
    Verilen sembolik önermeyi, "ise" bağlacını kullanan tek bir Türkçe cümleyle yazınız.(4 puan)
  2. b)
    İki adaydan biri önermeyi tam karşılamaz. Bu adayın numarasını ve onu yanlış çıkaran sayıyı yazınız.(5 puan)
  3. c)
    Aynı önermeyi, niceleyicinin kümesi tam sayılar olacak biçimde sembolik olarak yeniden yazınız ve önermenin doğruluk değerinin değişip değişmediğini yazınız.(6 puan)
Çözümü göster
Soru 19KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci "Hem 3{3} sayısının hem 4{4} sayısının katı olan her doğal sayı 12{12} sayısının katıdır." önermesini ispatlamış ve bu ispata dayanarak aşağıdaki sözde kodu yazmıştır.Girdi: n{n} (doğal sayı)Başlan % 3=0{\quad n \,\%\, 3 = 0} veya n % 4=0{n \,\%\, 4 = 0} ise yazdır "Katıdır"{\quad}değilse yazdır "Katı değildir"BitirKod, girilen sayının 12{12} sayısının katı olup olmadığını yazdırmaktadır. İspatlanan önermeye göre kodun yanlış sonuç yazdırdığı en küçük iki basamaklı doğal sayı aşağıdakilerden hangisidir?
  1. A10\displaystyle 10
  2. B12\displaystyle 12
  3. C15\displaystyle 15
  4. D16\displaystyle 16
  5. E24\displaystyle 24
Çözümü göster
Soru 20KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci "İki tek tam sayının toplamı çift sayıdır." önermesini ispatlamıştır. Sonra bu ispata dayanarak, girilen a{a} ve b{b} tam sayıları için çalışan iki algoritma yazmıştır. İki algoritmada da karar kutusundaki koşul sağlanırsa ekrana "Çift" yazılmakta, sağlanmazsa "Karar verilemez" yazılmaktadır. Karar kutularındaki koşullar tabloda verilmiştir.Buna göre algoritmalardan hangisi ispatlanan önermeyle tam olarak örtüşür?
İki algoritmanın karar koşulu İki satırlı tablo: birinci algoritmanın koşulu a tek, b tek ve a ile b farklı; ikinci algoritmanın koşulu yalnız a tek. No Karar kutusundaki koşul 1 a tek, b tek, a ≠ b 2 a tek
  1. AYalnız 1. algoritma
  2. BYalnız 2. algoritma
  3. Cİkisi de örtüşür
  4. Dİkisi de örtüşmez
  5. EÖrtüşme girilen sayılara bağlıdır
Çözümü göster
Soru 21KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci "1{1} ile 20{20} arasındaki (uçlar dâhil) tam sayılardan en az biri tam karedir." önermesini sınamak için tabloda verilen algoritmayı yazmıştır. Algoritmada i{i} sayacı, b{b} ise bayrak değişkenidir; bayrak bir koşulun sağlandığını kaydeder.Önermenin niceleyicisi "en az bir" olduğu hâlde algoritma bütün sayıları taramaktadır. Algoritmanın, önermenin doğruluğu kesinleştiği anda taramayı bırakıp çıktısını yazması için hangi değişiklik yapılmalıdır?
Önermeyi sınayan algoritmanın satırları İki sütunlu tablo: beş satırlı algoritma. 1: i bire, b Hayır değerine başlatılır. 2: i tam kare ise b Evet olur. 3: i bir artar. 4: i yirmiyi geçmiyorsa ikinci satıra dönülür. 5: b Evet ise Doğru yazılır. Satır İşlem 1 i ← 1, b ← Hayır 2 i tam kare ise b ← Evet 3 i ← i + 1 4 i ≤ 20 ise 2. satıra dön 5 b = Evet ise Doğru yaz
  1. A4. satırdaki 20 sayısı 10 yapılır
  2. B2. satıra, b Evet ise 5. satıra git yazılır
  3. C1. satırda b, Evet olarak başlatılır
  4. D3. satır ile 4. satır yer değiştirir
  5. E5. satır 2. satırdan önce yazılır
Çözümü göster
Soru 22KavramKısa cevap4 puanKolay, zorluk 3 / 10
"Her n{n} pozitif tam sayısı için n2+1{n^2 + 1} sayısı asaldır." önermesi veriliyor.Buna göre bu önermeyi yanlış çıkaran en küçük pozitif tam sayıyı bulunuz.
Çözümü göster
Soru 23KavramKısa cevap4 puanKolay, zorluk 3 / 10
"Her n{n} doğal sayısı için n2{n^2} sayısı n{n} sayısından büyüktür." önermesi veriliyor.Buna göre bu önermeyi yanlış çıkaran en büyük doğal sayıyı bulunuz.
Çözümü göster
Soru 24KavramKısa cevap6 puanOrta, zorluk 5 / 10
Bir öğrenci "Rakamları toplamı 20{20} olan en az bir üç basamaklı doğal sayı vardır." önermesini ispatlamak istemektedir. Öğrenci, bu önermeyi ispatlamak için koşulu sağlayan tek bir sayı göstermenin yettiğini bilmektedir.Buna göre öğrencinin gösterebileceği en küçük sayıyı bulunuz.
Çözümü göster
Soru 25KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci "Bir tam sayının karesi çifttir ancak ve ancak sayının kendisi çiftse." önermesini ispatlamış ve bu ispata dayanarak aşağıdaki sözde kodu yazmıştır.Girdi: n{n} (tam sayı)Başlan % 2=0{\quad n \,\%\, 2 = 0} ise yazdır "Karesi çifttir"{\quad}değilse yazdır "Karesi tektir"BitirBuna göre kodun her girdide doğru sonuç yazdırdığını göstermek için öğrencinin ispatladığı önermeye ek olarak aşağıdakilerden hangisini de ispatlaması gerekir?
  1. A(n % 2≠0)⇒(n2 % 2≠0)\displaystyle (n \,\%\, 2 \neq 0) \Rightarrow (n^2 \,\%\, 2 \neq 0)
  2. B(n2 % 2=0)⇒(n % 2=0)\displaystyle (n^2 \,\%\, 2 = 0) \Rightarrow (n \,\%\, 2 = 0)
  3. C(n % 2=0)⇒(n2 % 4=0)\displaystyle (n \,\%\, 2 = 0) \Rightarrow (n^2 \,\%\, 4 = 0)
  4. D(n2 % 2≠0)⇒(n % 2≠0)\displaystyle (n^2 \,\%\, 2 \neq 0) \Rightarrow (n \,\%\, 2 \neq 0)
  5. EHiçbiri; ispatlanan önerme yeter
Çözümü göster
Soru 26KavramÇoktan seçmeli5 puanOrta, zorluk 5 / 10
"Her n{n} pozitif tam sayısı için n2+n+17{n^2 + n + 17} sayısı asaldır." önermesi veriliyor. Bir öğrenci bu önermeyi sınamak için bir algoritma yazmıştır: algoritma 1{1} ile 15{15} arasındaki (uçlar dâhil) sayıları tek tek denemekte ve önermeyi yanlış çıkaran sayıları ekrana yazmaktadır. Algoritma çalıştırıldığında ekrana hiçbir sayı yazılmamıştır.Buna göre bu çıktı önerme için neyi gösterir?
  1. AÖnerme ispatlanmıştır
  2. BBu çıktı önermeyi yanlışlar
  3. CKarşıt örnek bulunmuştur
  4. DBu aralıkta karşıt örnek yok, ispat eksik
  5. ESonsuz kümede önerme ispatlanamaz
Çözümü göster
Soru 27KavramÇoktan seçmeli5 puanOrta, zorluk 6 / 10
Bir öğrenci "x2=x{x^2 = x} eşitliğini sağlayan her x{x} gerçek sayısı için x=0{x = 0} veya x=1{x = 1} olur." önermesini iki duruma ayırarak ispatlamıştır: birinci durumda x=0{x = 0} alınır ve hüküm doğrudan sağlanır; ikinci durumda x≠0{x \neq 0} alınır, eşitliğin iki tarafı x{x} sayısının çarpmaya göre tersiyle çarpılır ve sonuç bulunur. Öğrenci bu ispattan aşağıdaki sözde kodu yazmıştır.Girdi: x{x} (x2=x{x^2 = x} eşitliğini sağlayan gerçek sayı)Başlax=0{\quad x = 0} ise yazdır "Birinci çıkış"{\quad}değilse yazdır "İkinci çıkış"BitirBuna göre kodun iki çıkışı, önermenin hükmündeki hangi parçalara karşılık gelir?
  1. ABirinci çıkışta x = 0, ikincide x = 1
  2. BBirinci çıkışta x = 1, ikincide x = 0
  3. Cİki çıkış da x = 0 parçasını taşır
  4. DYalnız ikinci çıkış hüküm taşır
  5. EHükmün parçaları çıkışlara bölünemez
Çözümü göster
Soru 28KavramÇoktan seçmeli3 puanKolay, zorluk 3 / 10
Bir algoritma, "Her n{n} pozitif tam sayısı için n2≥3n{n^2 \geq 3n} eşitsizliği doğrudur." önermesini sınamaktadır. Algoritma sayıları 1{1} sayısından başlayarak birer birer denemekte ve eşitsizliği sağlamayan ilk sayıyı ekrana yazıp durmaktadır. Algoritma ekrana bir sayı yazmıştır.Buna göre bu çıktı hangi önermenin doğru olduğunu gösterir?
  1. AHiçbir sayı için eşitsizlik sağlanmaz
  2. BEn az bir sayı için eşitsizlik sağlanmaz
  3. CHer sayı için eşitsizlik sağlanır
  4. DEşitsizlik yalnız bir sayıda sağlanmaz
  5. EÖnermenin doğruluk değeri belirlenemez
Çözümü göster
Soru 29SözelKısa cevap6 puanOrta, zorluk 4 / 10
Bir takvim uygulamasında "2001{2001} ile 2099{2099} arasındaki (uçlar dâhil) her artık yılda şubat ayı 29{29} gün çeker." önermesi yazılıdır. Bu aralıkta bir yıl, yıl sayısı 4{4} sayısının katı olduğunda artık yıldır. Uygulamayı yazan kişi, önermeyi bir algoritmayla sınamak istemektedir; algoritma kendisine verilen her yıl için şubat ayının gün sayısını denetlemektedir.Buna göre algoritmanın önermenin ispatını tamamlaması için en az kaç yıl denemesi gerekir?
Çözümü göster
Soru 30KavramÇoktan seçmeli7 puanZor, zorluk 8 / 10
İki önerme veriliyor.I. Her d{d} rakamı için ∣2d−9∣≤9{|2d - 9| \leq 9} eşitsizliği doğrudur.II. Her n{n} tam sayısı için ∣2n−9∣≥1{|2n - 9| \geq 1} eşitsizliği doğrudur.Bir öğrenci iki önermeyi de sayıları tek tek deneyen algoritmalarla sınamıştır. Algoritmaların denediği değerler tabloda verilmiştir; iki denemede de eşitsizliğe uymayan değer çıkmamıştır.Buna göre yalnız I. önermenin ispatlanmış sayılmasının nedeni aşağıdakilerden hangisidir?
Aynı ifadenin iki kümede sınanması İki satırlı tablo. I: harfin kümesi rakamlar, denenen değerler sıfırdan dokuza kadar. II: harfin kümesi tam sayılar, denenen değerler eksi dokuz yüz doksan dokuz ile dokuz yüz doksan dokuz arasındaki bütün tam sayılar. No Küme Denenen I Rakamlar 0, 1, …, 9 II Tam sayılar −999, …, 999
  1. ADenenen değer sayısının az olması
  2. BBirinci ifadenin daha yalın olması
  3. CBirinci algoritmanın durması
  4. DBirinci eşitsizlikte eşitliğin bulunması
  5. EBirinci kümenin sonlu olması
Çözümü göster
Soru 31Yeni nesilKısa cevap8 puanZor, zorluk 7 / 10
Bir depo programı, girilen ürün sayısının 4{4} sayısının katı olup olmadığını yazdırmaktadır. Programı yazan kişi önce "20{20} sayısının katı olan her doğal sayı 4{4} sayısının katıdır." önermesini ispatlamış, sonra programı bu ispata dayandırmıştır.Girdi: n{n} (doğal sayı)Başlan % 20=0{\quad n \,\%\, 20 = 0} ise yazdır "Katıdır"{\quad}değilse yazdır "Katı değildir"Bitirİspatlanan önermeye göre programın yanlış sonuç yazdırdığı en küçük üç basamaklı doğal sayıyı yazınız.
Çözümü göster
Soru 32KavramAçık uçlu20 puanİleri, zorluk 9 / 10
Bir öğrenci "İki pozitif tam sayının EBOB değeri 1{1} ise bu sayıların EKOK değeri, sayıların çarpımına eşittir." önermesini ispatlamış ve bu ispata dayanarak aşağıdaki sözde kodu yazmıştır.Girdi: a{a}, b{b} (pozitif tam sayılar)BaşlaEBOB(a,b)=1{\quad \text{EBOB}(a, b) = 1} ise yazdır "EKOK çarpıma eşittir"{\quad}değilse yazdır "EKOK çarpıma eşit değildir"BitirTabloda iki sayı çifti için hesaplanan değerler verilmiştir; bir hücre boş bırakılmıştır.Buna göre aşağıdaki soruları cevaplayınız.
İki sayı çiftinin EBOB, EKOK ve çarpım değerleri İki satırlı tablo. Birinci satır: a dört, b dokuz, EBOB bir, EKOK otuz altı, çarpım otuz altı. İkinci satır: a altı, b sekiz, EBOB iki, EKOK hücresi boş, çarpım kırk sekiz. a b EBOB EKOK a · b 4 9 1 36 36 6 8 2 48
  1. a)
    Tabloda boş bırakılan hücreye gelen sayıyı bulunuz.(4 puan)
  2. b)
    Kodun "EKOK çarpıma eşittir" çıktısını gerekçelendiren önermeyi ⇒{\Rightarrow} sembolüyle yazınız.(4 puan)
  3. c)
    Kodun "EKOK çarpıma eşit değildir" çıktısı için ispatlanması gereken önermeyi yazınız ve bu önermenin doğru olup olmadığını gerekçesiyle belirtiniz.(6 puan)
  4. ç)
    İki yön de doğru olduğuna göre kuralı, "ancak ve ancak" anlamına gelen ⇔{\Leftrightarrow} sembolüyle tek satırda yazınız.(6 puan)
Çözümü göster
Soru 33KavramÇoktan seçmeli7 puanZor, zorluk 7 / 10
"Her x{x} gerçek sayısı için ∣x∣+x≥0{|x| + x \geq 0} eşitsizliği doğrudur." önermesi, x{x} sayısının işaretine göre durumlara ayrılarak ispatlanmaktadır. Durum ayrımı şekildeki karar ağacında verilmiştir: her dalın etiketi o dalın kapsadığı durumu, kutusu ise o durumda ∣x∣+x{|x| + x} ifadesinin eşit olduğu değeri göstermektedir.Buna göre ağacın kapsamadığı durum ve o durumda ifadenin değeri aşağıdakilerden hangisidir?
Durum ayrımlı ispatın karar ağacı Karar ağacı: kökte x gerçek sayısı kutusu. Soldaki dalın etiketi x sıfırdan büyük, kutusunda mutlak değer artı x eşittir iki x. Sağdaki dalın etiketi x sıfırdan küçük, kutusunda mutlak değer artı x eşittir sıfır. Üçüncü bir dal yoktur. x gerçek sayısı |x| + x = 2x x > 0 |x| + x = 0 x < 0
  1. Ax = 0 durumu, değer 0
  2. BSıfır ile negatif sayılar, değer 0
  3. Cx = 0 durumu, değer belirsiz
  4. DAğaç bütün durumları kapsar
  5. ENegatif olmayan sayılar, değer 2x
Çözümü göster
Soru 34KavramKısa cevap6 puanOrta, zorluk 6 / 10
Bir öğrenci "Her n{n} tam sayısı için n2+n{n^2 + n} sayısı çift sayıdır." önermesini ispatlamaktadır. Öğrenci önce n2+n=n⋅(n+1){n^2 + n = n \cdot (n + 1)} yazmış, sonra ispatı n{n} sayısının durumuna göre ikiye ayırmıştır. Durum ayrımı şekildeki karar ağacında verilmiştir: her dalın etiketi o dalın kapsadığı durumu, kutusu ise o durumda çarpımın aldığı biçimi gösterir (k{k} bir tam sayıdır).Ağaçta soru işaretiyle boş bırakılan dalın etiketine yazılması gereken durumu yazınız.
Çarpımın durum ayrımlı ağacı Karar ağacı: kökte n tam sayısı kutusu. Soldaki dalın etiketi n çifttir, kutusunda iki k çarpı iki k artı bir. Sağdaki dalın etiketi soru işaretiyle boş bırakılmış, kutusunda iki k artı bir çarpı iki k artı iki. n tam sayısı 2k(2k + 1) n çifttir (2k + 1)(2k + 2) ?
Çözümü göster
Soru 35KavramAçık uçlu20 puanİleri, zorluk 9 / 10
Aşağıda aynı kuralın üç ayrı yazımı verilmiştir.I. Bir tam sayı ile o tam sayının bir fazlası çarpıldığında sonuç her zaman çift sayı olur.II. Ardışık iki tam sayının çarpımı çifttir.III. ∀n∈Z{\forall n \in \mathbb{Z}} için n⋅(n+1){n \cdot (n + 1)} sayısı çifttir.Şekildeki tabloda kuralın sınanacağı üç tam sayı verilmiştir.Buna göre aşağıdaki soruları cevaplayınız.
Kuralın üç tam sayıda sınanması İki sütunlu tablo: n değerleri eksi dört, iki ve beş. Çarpım sütununun üç hücresi de boştur. n n · (n + 1) −4 2 5
  1. a)
    Tablodaki boş sütunu doldurunuz.(4 puan)
  2. b)
    Üç yazımdan hangisi niceleyiciyi saklamaktadır? O yazımı, saklanan niceleyiciyi ekleyerek yeniden yazınız.(5 puan)
  3. c)
    Girilen bir tam sayı için çalışan bir algoritmanın karar kutusuna doğrudan çevrilebilen yazım hangisidir? Nedenini yazınız.(5 puan)
  4. ç)
    III. yazımdaki niceleyicinin kümesi tam sayılar yerine doğal sayılar yapılırsa önermenin doğruluk değeri değişir mi? Gerekçesiyle yazınız.(6 puan)
Çözümü göster
Soru 36Yeni nesilAçık uçlu20 puanİleri, zorluk 9 / 10
Bir kütüphanede her kitabın etiketinde beş rakamlı bir kod vardır. Kodun son rakamı kontrol basamağıdır: ilk dört rakamın toplamının 10{10} sayısına bölümünden kalan son rakama eşitse kod geçerlidir. Bir görevli "Geçerli bir kodun beş rakamının toplamı ile son rakamının iki katı arasındaki fark 10{10} sayısının katıdır." önermesini ispatlamış, sonra ispatın dört adımını karıştırarak aşağıdaki gibi numaralandırmıştır.(1) Beş rakamın toplamı t+s{t + s} olduğundan bu toplam 10q+2s{10q + 2s} değerine eşittir.(2) İlk dört rakamın toplamı t{t}, son rakam s{s} olsun; kural gereği t{t} sayısının 10{10} sayısına bölümünden kalan s{s} olur.(3) Beş rakamın toplamı ile 2s{2s} arasındaki fark 10q{10q} olur ve bu sayı 10{10} sayısının katıdır.(4) Buna göre t=10q+s{t = 10q + s} olacak biçimde bir q{q} doğal sayısı vardır.Şekildeki tabloda dört etiket kodu verilmiştir; t{t} sütunu ilk dört rakamın toplamını, Geçerli sütunu ise kodun geçerli olup olmadığını gösterecektir.Buna göre aşağıdaki soruları cevaplayınız.
Dört etiket kodunun sınanması Üç sütunlu tablo: kodlar 24138, 50713, 81908 ve 47265. t sütunu ile Geçerli sütununun bütün hücreleri boştur. Kod t Geçerli 24138 50713 81908 47265
  1. a)
    İspat adımlarını, her adım bir öncekinin sonucunu kullanacak biçimde doğru sıraya diziniz.(5 puan)
  2. b)
    Tablodaki boş sütunları doldurunuz.(6 puan)
  3. c)
    Geçerli kodlardan küçük olanının beş rakamının toplamı ile son rakamının iki katı arasındaki farkı bulunuz.(4 puan)
  4. ç)
    Bu hesap, görevlinin ispatladığı önermeyi ispatlar mı? Gerekçesiyle yazınız.(5 puan)
Çözümü göster

Ders kılavuzu

Dersi açmak için çengel sorular, kavramı somutlaştıran benzetmeler ve öğrencilerin sık yaptığı yanlışlar.

Derse giriş: çengel sorular

  • Euler'in asal üreteci

    n2+n+41{n^2 + n + 41} ifadesi n=0,1,2,…,39{n = 0, 1, 2, \ldots, 39} için hep asal sayı verir. Kırk örnek “her n{n} için asaldır” demeye yeter mi? n=40{n = 40} için deneyin: 402+40+41=412{40^2 + 40 + 41 = 41^2}.

    n2+n+41\displaystyle n^2 + n + 41

  • Siyah kuğu

    Avrupalılar yüzyıllarca “bütün kuğular beyazdır” dedi; sonra Avustralya'da siyah kuğular görüldü. Binlerce beyaz kuğu bir önermeyi kanıtlamaz, tek bir siyah kuğu çürütür.

  • Yağmur ve ıslak yer

    “Yağmur yağarsa yer ıslanır.” Yer ıslaksa yağmur yağmış mıdır? Belki biri bahçeyi sulamıştır. “ise” bağlacının ters yönü aynı önerme değildir.

Benzetmeler

  • Karşıt örnek

    Bir kalecinin “bana gol atılamaz” iddiasıdır: yüz kurtarış iddiayı kanıtlamaz, tek bir gol bitirir.

  • Algoritmayla deneme

    Bir dedektifin şüphelileri tek tek sorgulamasıdır. Liste sonluysa herkes sorgulanabilir; sonsuzsa sorgu bitmez ve ispat gerekir.

  • “p{p} ise q{q}”

    Bir sözdür: “Ödevini yaparsan parka gideriz.” Ödev yapılır da parka gidilmezse söz bozulur; ödev yapılmadıysa söz bozulmuş sayılmaz.

Sık yapılan yanlışlar

  • Çok sayıda örnekte doğru çıkan önerme ispatlanmış olur.

    Sonsuz sayıda durum varsa örnekler ispat değildir; Euler'in ifadesi kırk örnekten sonra bozulur.

    Euler örneğini hesap makinesiyle n=40{n = 40}'a kadar izletin.

  • “p{p} ise q{q}” önermesinin karşıt örneği, q{q}'nun doğru ve p{p}'nin yanlış olduğu durumdur.

    Önermeyi bozan tek durum p{p}'nin doğru, q{q}'nun yanlış olmasıdır.

    Söz benzetmesindeki dört durumu tabloya yazdırıp sözün bozulduğu satırı işaretletin.

    p⇒q≡0  ⟺  p≡1, q≡0\displaystyle p \Rightarrow q \equiv 0 \iff p \equiv 1,\ q \equiv 0

  • “p{p} ise q{q}” doğruysa “q{q} ise p{p}” de doğrudur.

    “4{4}'e bölünen her sayı çifttir” doğrudur; “her çift sayı 4{4}'e bölünür” yanlıştır (6{6}).

    Bir önermeyi ve tersini yan yana yazdırıp ikisine ayrı ayrı karşıt örnek aratın.

  • Bir karşıt örnek bulununca “bazı” önermesi de yanlış olur.

    Karşıt örnek yalnız “her” önermesini çürütür; “bazı” önermesi için bir uygun örnek yeter.

    Aynı koşulla “her” ve “bazı” önermelerini yan yana sınattırın.

  • En küçük karşıt örnek tahminle bulunur.

    Değerler sırayla denenmezse daha küçük bir karşıt örnek atlanabilir.

    n=1,2,3,…{n = 1, 2, 3, \ldots} diye ilerleyen bir deneme tablosu kurdurun.

  • “x+2=5{x + 2 = 5}” bir önermedir.

    x{x} belli değilse cümlenin doğruluk değeri yoktur; niceleyici eklenince (“bazı x{x} için”) önerme olur.

    Cümlenin başına “her” ve “bazı” ekletip iki önermenin değerini buldurun.

Tahtada anlatım sırası9 adımı göster
  1. 1
    Euler çengeliyle başlayın. 9.5.1 ve 9.5.2'de kullanılan bağlaçları ve niceleyicileri bir algoritmada gözden geçirin.

    Süreç bileşeni a: algoritmalardaki bağlaç ve niceleyici kullanımını gözden geçirir.

  2. 2
    Bir “her” önermesini sınayan algoritma yazın: n=1{n = 1}'den başla, önerme bozulursa dur ve n{n}'yi yaz. En küçük karşıt örneği bu algoritmanın çıktısı olarak tanımlayın.
  3. 3
    n2<5n+6{n^2 < 5n + 6} gibi bir önermeyi tabloyla sınatın; önermenin bozulduğu ilk n{n} değerini buldurun.

    n2<5n+6\displaystyle n^2 < 5n + 6

  4. 4
    “ise” bağlacını söz benzetmesiyle tanıtın; dört satırlık doğruluk tablosunu yazdırın.

    Süreç bileşeni b: bağlaçların doğrulama süreçlerindeki kullanımına yönelik çıkarım yapar.

  5. 5
    “6{6}'ya bölünen her sayı 3{3}'e bölünür” ve tersini sınatın. Tersin karşıt örneklerini 1{1}'den 30{30}'a kadar saydırın.
  6. 6
    Bir “ispat” ile bir “deneme”yi karşılaştırın: “iki tek sayının toplamı çifttir” önermesini önce on örnekle, sonra 2a+1{2a + 1} ve 2b+1{2b + 1} yazarak ispatlatın.

    (2a+1)+(2b+1)=2(a+b+1)\displaystyle (2a + 1) + (2b + 1) = 2(a + b + 1)

    Süreç bileşeni b: ispat süreçlerinde niceleyici kullanımına yönelik çıkarım yapar.

  7. 7
    Niceleyicisiz cümleleri önermeye çevirtin; aynı cümlenin “her” ve “bazı” ile değerini karşılaştırın.
  8. 8
    Günlük dildeki belirsiz cümleleri (“öğrenciler sınavı geçti”) matematik diliyle kesinleştirtin: hepsi mi, bazısı mı?

    Süreç bileşeni c: bağlaç ve niceleyicilerin matematik dilinin kesinliğindeki rolünü değerlendirir.

  9. 9
    Kapanış: “Bir karşıt örnek ne zaman yeter, ne zaman ispat gerekir?” sorusunu sınıfça cevaplayın.

Ödev ve çalışma kâğıdı

Her antrenman tek bir beceriyi bol tekrarla çalıştırır. Hangisinden kaç kalem istediğini seç; kâğıt ve çözümlü cevap anahtarı tarayıcında hazırlanır.

Ödev kâğıdı oluştur

Her alıştırmadan kaç kalem istediğini seç. Kalemler hazır havuzdan rastgele gelir; iki sınıfa iki ayrı kâğıt verebilirsin. Çözümlü cevap anahtarı da hazır.
Alıştırmalar
  • Karşıt örnek önermeyi yanlış yapan değerdir. n=1,2,3,…{n = 1, 2, 3, \ldots} değerlerini sırayla deneyiniz; önermeyi bozan ilk değer en küçük karşıt örnektir.

    1. 1)“Her n{n} pozitif tam sayısı için n2<3n+29{n^2 < 3n + 29}” önermesinin en küçük karşıt örneği kaçtır?= 8\displaystyle 8
    2. 2)“Her n{n} pozitif tam sayısı için 1+2+⋯+n<75{1 + 2 + \cdots + n < 75}” önermesinin en küçük karşıt örneği kaçtır?= 12\displaystyle 12
    3. 3)“Her n{n} pozitif tam sayısı için 2n<223{2^n < 223}” önermesinin en küçük karşıt örneği kaçtır?= 8\displaystyle 8
    / 40
  • “p{p} ise q{q}” önermesinin karşıt örneği, p{p}'nin doğru ve q{q}'nun yanlış olduğu durumdur. Karşıt örnekleri sayınız.

    1. 1)“1,2,…,74{1, 2, \ldots, 74} sayılarından 5{5} ile tam bölünen her sayı 4{4} ile de tam bölünür.” Önermenin kaç karşıt örneği vardır?= 11\displaystyle 11
    2. 2)“1,2,…,21{1, 2, \ldots, 21} sayılarından her çift sayı 6{6} ile tam bölünür.” Önermenin kaç karşıt örneği vardır?= 7\displaystyle 7
    3. 3)“1,2,…,27{1, 2, \ldots, 27} sayılarından 2{2} sayısından büyük her k{k} için k2>52{k^2 > 52} olur.” Önermenin kaç karşıt örneği vardır?= 5\displaystyle 5
    / 40
Çalışma boşluğu
Kâğıt ayarları

0 kalem

İndirmek için en az bir kalem seç.

Test PDF'i

Bu kazanımın sorularından test ya da yazılı kâğıdı: soruları seç, kâğıdı ayarla, soru kâğıdını ve cevap anahtarını indir.

Test PDF'i hazırla

Soru kâğıdı ve cevap anahtarı tarayıcında hazırlanır; seçimlerin hiçbir sunucuya gönderilmez. İlk PDF'te motor indiği için birkaç saniye sürer, sonrakiler anında gelir.
Zorluğa göre seç

Her düzeyden kaç soru istediğini seç; düzeyin sorularından azını istersen o kadarı rastgele gelir. Seçim aşağıdaki listeye yansır, oradan elle de değiştirebilirsin.

Zorluk 2Kolay, 1 soru
Zorluk 3Kolay, 6 soru
Zorluk 4Orta, 1 soru
Zorluk 5Orta, 5 soru
Zorluk 6Orta, 11 soru
Zorluk 7Zor, 5 soru
Zorluk 8Zor, 2 soru
Zorluk 9İleri, 5 soru
Kâğıttaki sorular 36 / 36

Kâğıda yalnız görünen ve işaretli sorular girer.

Kâğıt ayarları

36 soru, 263 puan

Kazanım künyesi

9. sınıf Mantık ve algoritma için 36 çözümlü soru: soruları sayfada çöz, takıldığında adım adım çözümü aç; seçtiğin sorulardan test, yaprak test ya da yazılı kâğıdı hazırla ve cevap anahtarıyla PDF olarak indir; ödev için alıştırma (çalışma) kâğıdı çıkar; derste soruları akıllı tahtada tek tek aç; ders kılavuzunda derse giriş, kavram yanılgıları ve tahta akışı var. 2. dönem yazılısına ve ortak sınava hazırlıkta kullanılır.

Kod
MAT.9.5.3
Kapsadığı konular
mantık bağlaçları, niceleyiciler, algoritmik problemler
Dönem ve hafta
2. dönem, 27. haftalar, 4 ders saati
Süreç bileşenleri
  • a)Karşılaştığı algoritmalardaki mantık bağlaçları ve niceleyicilerin kullanımını gözden geçirir.
  • b)Matematiksel problem çözme, doğrulama ve ispat süreçlerinde mantık bağlaçları ve niceleyicilerin kullanımına yönelik çıkarımlar yapar.
  • c)Mantık bağlaçları ve niceleyicilerin matematiksel dil ve sembolizmin yalınlık ve kesinliğindeki rolünü eğerlendirir.
Ders kitabında
  • 5. Tema — Algoritma ve Bilişim, 5.3 Algoritmalarda ve Matematiksel İspatlarda Mantık Bağlaçları ve Niceleyiciler