Bilgi Yönetimi ve Matematik Önerme Mantığı Güleda Doğan

Dersin sayfası http://www.acikders.net/course/view.php?id=295#se ction-2 Dersin sayfasına kayıt olun! (Enrol me)

Dersin notlanması Final sınavı: 40 puan Ara sınav: 20 puan Ödevler ve sınıf içi çalışmalar (8-10): 40 puan Derse devam zorunlu 19 kişi

Nelere baktınız? / Nelere bakmadınız? Kaynaklar: https://cran.r-project.org/ https://en.wikipedia.org/wiki/File:Khan_Academy_logo.svg https://en.wikipedia.org/wiki/EdX https://tr.linkedin.com/company/turkcell-akademi https://plot.ly/

Videolar izlendi mi? Kaynaklar: http://www.turkcellakademi.com/sinavlara-hazirlik/universite-bolum-tanitimlari/egitim/bilisim-sistemleri-muhendisligi-14754 http://www.turkcellakademi.com/sinavlara-hazirlik/universite-bolum-tanitimlari/egitim/yeni-medya-16350

Kaynaklar: http://kimola.com/tr/analytics/social-tv https://hbr.org/2012/10/data-scientist-the-sexiest-job-of-the-21st-century https://commons.wikimedia.org/wiki/File:Ek%C5%9Fi_S%C3%B6zl%C3%BCk_logo.png http://www.kariyer.net/

Kaynak: https://www.raspberrypi.org/documentation/usage/python/

Önerme nedir? İstanbul Türkiye’nin en kalabalık şehridir İstanbul Türkiye’nin coğrafi olarak en büyük şehridir İkisi de önerme Önermeler iki değer alabilir: Doğru ve yanlış İstanbul Türkiye’nin en kalabalık şehridir: Doğru bir önerme İstanbul Türkiye’nin coğrafi olarak en büyük şehridir: Yanlış bir önerme (F=False)

Önermeler nasıl ifade edilir? p, q, r, … p=Türkiye’de Bilgi ve Belge Yönetimi bölümü olan bir üniversite vardır q=Türkiye’de doktora eğitimi veren dört Bilgi ve Belge Yönetimi bölümü vardır Bir önerme doğru ise: True (T), T=1 Bir önerme yanlış ise: False (F), F=0 p=F q=T Kaynak: https://www.youtube.com/watch?v=7E5hAi4zd-Q

Basit önerme / Bileşik önerme p=Türkiye’de Bilgi ve Belge Yönetimi bölümü olan bir üniversite vardır Basit önerme Bileşik önerme Ve bağlacı (Λ) - AND Veya bağlacı (V) - OR Bu iki bağlaç Google’da yapılan bir taramada nasıl kullanılıyor? Boole mantığı

Bileşik önermeler: Totoloji ve çelişki Totoloji: Doğruluk değeri 1 olan bileşik önerme Her zaman doğru Çelişki: Doğruluk değeri 0 olan bileşik önerme Her zaman yanlış Günlük hayattan örnekler bulun! Kaynak: https://www.youtube.com/watch?v=QPePpi7drnw http://www.eba.gov.tr/video/izle/0258775670c83263742f2af743d6c6aacfda481ed6006

Koşullu önerme, İki yönlü koşullu önerme pq (Koşullu önerme) (pq)(qp) (İki yönlü koşullu önerme) Aynı zamanda bir birleşik önerme http://www.eba.gov.tr/video/izle/78247626f6b4b074 04fee88aca36ae11fe1cb81ed6012 Grup çalışması (5 dk.): Günlük hayattan videoda gördüğünüze benzer bir örnek bulup, aynı şekilde ifade etmeye çalışın.

Grup çalışması Aşağıda linki verilen videoyu izleyin https://www.khanacademy.org.tr/video.asp?ID=2239 Videoda anlatılmak isteneni bileşik bir önerme olarak ifade edin 5 dk.

Önermenin içinde en az bir değişken olacak Açık önerme Önermenin içinde en az bir değişken olacak Değişkenin aldığı değere göre doğru önerme ya da yanlış önerme Ankara’daki devlet üniversitesi sayısı x’tir. Ankara’daki devlet üniversitesi sayısı 7’dir. Ankara’daki devlet üniversitesi sayısı 5’tir. Doğruluk kümesi: x’in alabileceği doğru cevaplar kümesi http://www.eba.gov.tr/video/izle/02587c15ea7a080d c4b5db016919a9c1771b581ed6007 Kaynak: http://www.yok.gov.tr/web/guest/universitelerimiz https://www.youtube.com/watch?v=rC-eMitSpVY

Önermenin tersini alma Önermenin tersi alınınca ne olur? Doğruluk değerini ters çevirme T ise F (1 ise 0) F ise T (0 ise 1) p , p önermesinin tersi p=T ise p =F p=F ise p =T

Önermenin doğru mu yanlış mı olduğunun tablo ile gösterimi Doğruluk tablosu Önermenin doğru mu yanlış mı olduğunun tablo ile gösterimi p T F

Önermenin tersini alma Tüm insanlar iyidir önermesinin tersi Hiçbir insan iyi değildir Tüm insanların iyi olması söz konusu değildir Tüm insanlar iyi değildir Bazı insanlar iyi değildir İlki dışında kalanların hepsi tersi olabilir. Kaynak: http://www.algoritmauzmani.com/ayrik-matematik/mantiksal-bagliliklar-ve-dogruluk-tablolari/

İspatsız kabul edilen önerme: Aksiyom Aksiyom / Teorem İspatsız kabul edilen önerme: Aksiyom Örnekler? Doğruluğu ispatlanması gereken önerme: Teorem Çoğunlukla p→󠆍q şeklinde ifade edilebilir. a ve b çift sayı ise a+b çift sayıdır (Teorem, Koşullu önerme) p: a ve b çift sayıdır (Hipotez) q: a+b çift sayıdır (Hüküm) Teoremler nasıl ispatlanır? İspat yöntemleri: Tümdengelim ve Tümevarım Aksiyom örneği: İki noktadan tek bir doğru geçer. Kaynak: https://www.youtube.com/watch?v=zaq5n92wjfk https://www.youtube.com/watch?v=XqgSqT0rBtM

Aksiyom örneği: İki noktadan tek bir doğru geçer. Kaynak: https://www.khanacademy.org.tr/matematik/cebir/seriler-ve-tumevarim/tumdengelim-ve-tumevarim/tumevarim-ve-tumdengelimin-farki/2232

İspat yöntemleri Tümevarım: Özel kurallardan hareketle genele ulaşma Tümdengelim: Genel kuraldan özel kuralların çıkarılması Doğrudan ispat ve dolaylı ispat Doğrudan ispat: p’nin (hipotez) doğru olduğu kabul edilip q’nun (hüküm) doğruluğu gösterilebiliyorsa Bir önceki slaytta yer alan örnek Dolaylı ispat Olmayana ergi yöntemiyle ispat Çelişki yöntemiyle ispat Deneme yöntemiyle ispat Aksine örnek vererek ispat Kaynak: https://www.youtube.com/watch?v=zaq5n92wjfk https://www.youtube.com/watch?v=XqgSqT0rBtM

Dolaylı ispat yöntemleri Olmayana ergi yöntemiyle ispat (Karşıt-ters): Hükmün olumsuzundan hareketle hipotezin olumsuzunu elde etmek Örnek: x≠4 (hipotez) ise 5x-2≠18 (hüküm) Çelişki yöntemiyle ispat: Hipotezin doğru olduğu kabul edip hükmün olumsuzunun hipotez ile çeliştiğinin gösterilmesi (p→q)’ yanlış olduğunun gösterilmesi Deneme yöntemiyle ispat: Önermedeki değişkene farklı değerler vererek Aksine örnek vererek ispat: Bir tane örnek bularak Örnek: Asal sayıların tümü tektir. Kaynak: https://www.youtube.com/watch?v=zaq5n92wjfk https://www.youtube.com/watch?v=XqgSqT0rBtM

Tümevarım örneği n=1 için 6, n=2 için 6+5, n=3 için 6+5+5, n=4 için 6+5+5+5, ... n için 1+5n Kaynak: https://www.khanacademy.org.tr/matematik/cebir/seriler-ve-tumevarim/tumdengelim-ve-tumevarim/ornek:-tumevarimdan-yararlanma/2238

Mantıklı çıkarım mümkün mü? Eğer bugün antrenmana gidersem, yarın maçta oynayacağım. Yarın maçta oynamayacağım. Bugün antrenmana gitmedim Mantıklı çıkarım mümkün değil Eğer Mehmet otobüsü kaçırır ise, okula geç kalacak. Mehmet okula geç kaldı. Mehmet otobüsü kaçırdı Bugün antrenmana gitmedim Otobüse yetişememek okula geç kalma sebeplerinden sadece biri. Mehmet’in otobüsü kaçırdığından kesin olarak emin olamayız Kaynak: https://www.khanacademy.org.tr/video.asp?ID=2240

Grup çalışması: Yalancı ve Doğrucu Zeka Oyunu Duydunuz mu? İki kapı var. Bir kapıda hazine, bir kapıda ölüm var. Kapıların önünde iki kişi oturuyor. Biri her zaman doğruyu söylüyor, diğeri ise her zaman yalan söylüyor. İkisi de doğru cevabı biliyor. Doğru kapıyı bulmak için yalnızca birine bir soru sorma hakkınız var. Hangisine hangi soruyu sorarsınız. 5 dk. Soru: Diğer adam hangisinin doğru kapı olduğunu söylerdi? Kaynak: https://www.khanacademy.org.tr/matematik/eglenceli-matematik/bulmaca-bilmece/zeka-oyunlari/zeka-oyunu:-dogrucu-ve-yalanci/4164