Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

Bilgisayar Bilimlerinin Kuramsal Temelleri “UBİ 501: Discrete Math and Its Application to Computer Science” 2013 – 2014 Güz Dönemi İlker Kocabaş E.Ü Uluslararası.

Benzer bir sunumlar


... konulu sunumlar: "Bilgisayar Bilimlerinin Kuramsal Temelleri “UBİ 501: Discrete Math and Its Application to Computer Science” 2013 – 2014 Güz Dönemi İlker Kocabaş E.Ü Uluslararası."— Sunum transkripti:

1 Bilgisayar Bilimlerinin Kuramsal Temelleri “UBİ 501: Discrete Math and Its Application to Computer Science” 2013 – 2014 Güz Dönemi İlker Kocabaş E.Ü Uluslararası Bilgisayar Enstitüsü Bornova - İzmir

2 Notlar  Web adresi: Ofis Saati : Çarşamba 15:00-17:00 Değerlendirme: 9:00-9:15 arası kısa sınav Ara sınav (1 veya 2) Final Sınavı

3 Akış  Mantık Yüklemler & Niceleyiciler (Predicates & Quantifiers) Çıkarsama (Inference) kuralları

4 Mantık Önerme (Proposition) Önerme : Doğru= T (or 1) veya Yanlış = F (or 0) (binary logic) ‘Bugün dersim var.’ – bildirim cümlesi ‘Kapat kapıyı!’ X – emir cümlesi ‘Saat kaç?’ X – soru cümlesi ‘X+1=2’ X – T? Veya F? Önerme değişkenleri: P, Q, R, S,... Yeni önermeler: Bileşik önermeler: Mantıksal işlemler ile var olan bir veya daha fazla önermeyi birleştirme

5 Mantıksal İşlemler Olumsuzlama (İng. Negation) ‘not’ Sembol: “  ” Örnek: P: Okula gideceğim.  P: Okula gitmeyeceğim. Q: I am going to school.  Q: I am not going to school. Doğruluk tablosu:

6 Mantıksal İşlemler Birleşme (İng. Conjuction) “and”, “ve” Sembol: “  ”   Örnek: P: Okula gideceğim. Q: Yağmur yağacak. P  Q : Okula gideceğim ve yağmur yağacak.  Doğruluk Tablosu

7 Mantıksal İşlemler Ayrılım (İng. Disjunction) “or”, “veya” Sembol: “  ”  Örnek: P: Okula gideceğim. Q: Yağmur yağacak. P  Q : Okula gideceğim veya yağmur yağacak.  Doğruluk Tablosu

8 Mantıksal İşlemler Exculsive OR “either….or ….”, “ya… ya da …” Sembol: “  ”  Örnek: P: Okula gideceğim. Q: Yağmur yağacak. P  Q : Ya “okula gideceğim” ya da “yağmur yağacak”.  Doğruluk Tablosu

9 Mantıksal İşlemler Şartlı Cümle (İng. Implication) “If….,then ….”, “Eğer … ise …” Sembol: “  ”  Örnek: P: Okula gideceğim. Q: Yağmur yağacak. P  Q : Eğer “okula gidecek” isem, “yağmur yağacak”’tır.  Doğruluk Tablosu  Eğer 4 4. (Doğru)

10 Mantıksal İşlemler Şartlı Cümle (İng. Implication)  P  Q : Eğer “okula gidecek” isem, “yağmur yağacak”tır.  Tersi (İng. Inverse) =  P   Q  Eğer okula gitmeyecek isem, yağmur yağmayacaktır.  Karşıtı (İng. Converse) = Q  P  Eğer yağmur yağacak ise, okula gideceğim.  Ters Karşıtı (İng. Contrapositive) =  Q   P  Eğer yağmur yağmayacak ise okula gitmeyeceğim.

11 Mantıksal İşlemler İki-koşullu (İng. Biconditional) “If and only if”, “ancak ve ancak” Sembol: “  ”  Örnek: P: Okula gideceğim. Q: Yağmur yağacak. P  Q : Ancak ve ancak “okula gidecek” isem, “yağmur yağacak”’tır.  Doğruluk Tablosu

12

13 Yüklemler ve Niceleyiciler Yüklemler Yüklem : Önermelerin genel durumu –Değişken(ler) içeren önerme fonksiyonları P(x): x > 0 ; U = {…., -2, -1, 0, 1, 2, ….} = Z U: Söylem Evreni ( İng. Universe of Discourse) Yüklem → Önerme –Değişken(ler)’e değer atamak P(2) : ‘2 > 0’ (T) P(-1) : ‘-1 > 0’ (F) –Niceleyerek, değişkenin alabileceği değerleri kısıtlayarak P(x) ; U = Z + (T) P(x) ; U = Z - (F)

14 Yüklemler ve Niceleyiciler Niceleyiciler Niceleyici : Değişken değerleri kısıtlamaları Evrensel Niceleyici (  ) –tüm x değerleri için P(x) = for all x, P(x) =  x P(x) Varoluşsal Niceleyici (  ) –Bazı x değerleri için P(x) = some of x, P(x) =  x P(x) Benzersizlik Niceleyicisi (  !) –Yalnızca bir x değeri için P(x) = For exactly one x, P(x) =  !x P(x)

15 Yüklemler ve Niceleyiciler Niceleyiciler Yüklem: –P(x) : x 2 < 10, U = {1, 2, 3,4} Evrensel Niceleyici (  ) –  x P(x) : (T/F)? –P(1)  P(2)  P(3)  P(4) = P(1)  P(2)  P(3)  F = F –Yanlış olduğunu ispat için tek bir karşıt örnek [P(4)] bulunması yeterlidir. Varoluşsal Niceleyici (  ) –  x P(x) : (T/F)? –P(1)  P(2)  P(3)  P(4) = T  P(2)  P(3)  P(4) = T –Doğru olduğunu ispat için tek bir örnek [P(1)] bulunması yeterlidir.

16 Yüklemler ve Niceleyiciler Niceleyicilerin Olumsuzlanması Yüklem: –P(x) : x 2 < 10 ve  P(x) : x 2  ≥ 10, U = {1, 2, 3,4} Evrensel Niceleyici (  ) –   x P(x) : “tüm x değerleri için P(x) [x 2 < 10]” durumu yoktur. –= ‘Bazı x değerleri için  P(x) [x 2  ≥ 10] olmaktadır.’ –   x P(x) =  [  P(x)] –  x  P(x) : “tüm x değerleri için  P(x); yani [x 2  ≥ 10]” durumu vardır.” –Not:   x P(x) ≠  x  P(x)

17 Yüklemler ve Niceleyiciler Niceleyicilerin Olumsuzlanması Yüklem: –P(x) : x 2 < 10 ve  P(x) : x 2  ≥ 10, U = {1, 2, 3,4} Varoluşsal Niceleyici (  ) –   x P(x) : “bazı x değerleri için P(x) [x 2 < 10]” durumu yoktur. –= ‘Hiçbir x değeri için P(x) [x 2  < 10]” durumu vardır. –= ‘Tüm x değeri için  P(x) [x 2  ≥ 10]” olmaktadır.’ –   x P(x) =  x [  P(x)] –  x  P(x) : “bazı x değerleri için  P(x); yani [x 2  ≥ 10]” –Not:   x P(x) ≠  x  P(x)

18 Yüklemler ve Niceleyiciler Çoklu Niceleyiciler Yüklem: –P(x,y) : x.y = 0, U = R –Q(x,y) : x/y = 1, U = R Okuma soldan sağa: –  x  y P(x,y) : Tüm x ve y değerleri için x.y = 0 (F) –  x  y P(x,y) : Tüm x değerlerinde bazı y’ler için x.y = 0 (T) –  x  y P(x,y) : Bazı x değerlerinde tüm y’ler için x.y = 0(T) –  x  y P(x,y) : Bazı x değerlerinde bazı y’ler için x.y = 0 (T) Yanlış! :  x  y Q(x,y) ↔  y  x Q(x,y) –  x  y Q(x,y): Tüm x değerlerinde bazı y’ler için x/y = 1 (y=x için Doğru) –  y  x Q(x,y): Bazı y değerlerinde tüm x’ler için x/y = 1(Yanlış)

19 Çıkarsama Kuralları Tanımlar Hipotez(kıs. H) / Öncül (Premise): –Başlangıç ifadeleri Sonuç ifadesi (S) Argüman: –Hipotezlerle başlayıp sonuç ifadesiyle biten İFADELER DİZİSİ. –Gösterim: –Geçerli Argüman: Hipotezlerin doğru olduğu durumda sonuç ifadesinin doğru olması: +“H-1  H-2  ….  H-N → Q” + “Eğer H-1 ve H-2 ve ….ve H-N ise Q” Totoloji ise argüman geçerlidir. Sonuç ifadesi Q doğrudur. H-1 H-2  S S H-N :

20 Çıkarsama Kuralları Modus Ponens Problem: Argüman Geçerlimi? Çıkarsama sonucu geçerlimi? H-1: P H-2: P → Q S:  Q –P  (P  Q)  Q Totoloji mi? Evet PQP →Q P P  (P → Q) Q P  (P → Q) → Q –Ne zaman P doğru ve (P  Q) doğru olursa, mantıksal olarak Q’nun doğru olduğu sonucuna varabiliriz.

21 Çıkarsama Kuralları Kurallar Çıkarsama için Totoloji olduğunun ispatı yeterli ise çıkarsama kurallarına neden ihtiyaç? Hipotez ifadelerde toplam 10 önerme var ise 2 10 =1024 ihtimal var!!! Doğruluk tablosunu oluşturmak çok zor hatta imkansız olabiliyor.

22 Çıkarsama Kuralları Problem Problem: –H-1: Bugün hava güneşli değil ve hava dünden daha soğuk. –H-2: Eğer hava güneşli ise yüzmeye gideceğim. –H-3: Eğer yüzmeye gitmeyeceksem, kano ile gezeceğim. –H-4: Eğer kano ile gezeceksem, öğlen evde olacağım. – S : Öğlen evde olacağım. Önermeler: –P:Bugün hava güneşli –Q: Hava dünden daha soğuk –R: Yüzmeye gideceğim –T: Kano ile gezeceğim –U: Öğlen evde olacağım

23 Çıkarsama Kuralları Problem (dvm) Problem: –H-1:  P  Q –H-2: R  P –H-3:  R  T –H-4: T  U – S : U Çıkarsama: 1.  P  QH-1 2.  PSimplification (H-5) 3.R  P H-2 4.  R Modus Tollens (H-6) 5.  R  T H-3 6.TModus Ponens (H-7) 7.T  UH-4 8.U Modus Ponens (H-7)

24 Çıkarsama Kuralları Çözümleme (Resolution) H-1: P  Q H-2:  P  R S:  Q  R –İspat: [(P  Q)  (  P  R)  (Q  R)] Totoloji –!!!Önemli: + Bilgisayar sistemlerinde mantık problemleri Çözümleme ile yapılmaktadır.

25 Çıkarsama Kuralları Nicelenmiş İfadeler –UG için c’nin gelişigüzel seçilmiş olması gerekir. Genellikle ispatlarda kullanılmaz.

26 Çıkarsama Kuralları Nicel İfadeler Problem Problem: –H-1: Bu sınıftaki bazı öğrenciler ödev vermedi. :  x [C(x)   B(x)] –H-2: Sınıftaki tüm öğrenciler kısa sınavı başarıyla geçti. :  x [C(x)  P(x)] –S : Kısa sınavı başarıyla geçen öğrencilerden bazıları ödev vermedi. :  x [P(x)   B(x)] Önermeler: –C(x): x sınıfta bulunmaktadır. –B(x): x ödevi vermiştir. –P(x): x kısa sınavı başarıyla geçmiştir.

27 Çıkarsama Kuralları Nicel İfadeler Problem (dvm) Çözüm: –  x [C(x)   B(x)]H-1: Öncül –C(a)   B(a)H-3: H-1’den Varoluşsal Örnekleme (EI) –C(a)H-4: Basitleştirme/Simplification ( H-3) –  x [C(x)  P(x)]H-2: Öncül –C(a)  P(a)H-5: H-2’den Evrensel Örnekleme (UI) –P(a)H-6: Modus Ponens (H-4 ve H-5) –  B(a)H-7: Basitleştirme/Simplification ( H-3) –P(a)   B(a) H-8: Birleşim/Conjunction (H-7 ve H-8) –  x [P(x)   B(x)]S: H-8’den Varoluşsal Genelleme (EG)


"Bilgisayar Bilimlerinin Kuramsal Temelleri “UBİ 501: Discrete Math and Its Application to Computer Science” 2013 – 2014 Güz Dönemi İlker Kocabaş E.Ü Uluslararası." indir ppt

Benzer bir sunumlar


Google Reklamları