AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ
|
|
- Ece Balcan
- 6 yıl önce
- İzleme sayısı:
Transkript
1 AYRIK YAPILAR P r o f. D r. Ö m e r A k ı n v e Y r d. D o ç. D r. M u r a t Ö z b a y o ğ l u n u n Ç e v i r i E d i t ö r l ü ğ ü n ü ü s t l e n d i ğ i «A y r ı k M a t e m a t i k v e U y g u l a m a l a r ı» i s i m l i k i t a p t a n h a z ı r l a n m ı ş t ı r.
2 1.2 Önermeli Mantık Uygulamaları Türkçe Cümlelerin Tercümesi (Dönüştürülmesi) ÖRNEK: Aşağıdaki cümle bir mantıksal gösterime nasıl çevrilebilir? «Sadece Bilgisayar Mühendisliği öğrencisi iseniz veya Birinci Sınıf öğrencisi değilseniz kampüsten internete erişebilirsiniz.» a: Kampüsten internete erişebilirsin. c: Bir Bilgisayar Mühendisliği öğrencisisin. f: Birinci sınıf öğrencisisin. a (c f)
3 1.2 Önermeli Mantık Uygulamaları Türkçe Cümlelerin Tercümesi (Dönüştürülmesi) ÖRNEK: Aşağıdaki cümle bir mantıksal gösterime nasıl çevrilebilir? «Eğer boyunuz 122 cm nin altındaysa 16 yaşından büyük olmadığınız sürece lunaparktaki hızlı trene binemezsiniz.» q: Lunaparktaki hızlı trene binebilirsiniz. r: Boyunuz 122 cm nin altında. s: 16 yaşından büyüksünüz. (r s) q
4 1.2 Önermeli Mantık Uygulamaları Sistem Özellikleri Doğal bir dildeki (Türkçe gibi) cümleleri mantıksal gösterimlere dönüştürmek donanım ve yazılım sistemleri için önemli bir işlemdir. Donanım ve yazılım mühendisleri doğal dil için gereksinimleri tanımlar, anlaşılır biçimde ve içinde herhangi bir belirsizlik bulunmayacak şekilde sistem geliştirme bünyesinde kullanılacak özellikleri tanımlarlar. ÖRNEK: «Dosya sistemi dolu olduğunda otomatik cevap gönderilememektedir.» özelliğini mantıksal bağlayıcılar kullanarak yazın. p: «Otomatik cevap gönderilmektedir.» q: «Dosya sistemi doludur.» q p
5 1.2 Önermeli Mantık Uygulamaları Sistem Özellikleri Sistem özellikleri tutarlı olmalıdır, yani bir tutarsız sonuç çıkarımına gidebilecek çelişkilere sahip gereksinimler içermemelidir. Özellikler tutarlı olmadığında tüm özellikleri sağlayan bir sistem ortaya çıkarma imkanı kalmamaktadır.
6 1.3. Önerme Denklikleri Giriş Önemli bir özellik de bir ifadede matematiksel bir argüman için kullanılan bir tipi aynı doğruluk değerine sahip başka bir ifade ile değiştirebilmektir. Bu nedenle, belirli bir bileşik önerme ile aynı doğruluk değerine sahip önermeler üretme yöntemleri matematiksel argümanların oluşturulmasında yoğun olarak kullanılmaktadır. Bu şekilde p q gibi mantıksal operatörleri kullanarak oluşturulan önerme değişkenleri için, oluşan ifade terimini «bileşik önerme» olarak adlandıracağız. TANIM 1: Kendisini oluşturan doğruluk değerleri ne olursa olsun her zaman doğru olan bir bileşik önermeye her zaman doğru (totoloji) denir. Sonuçta her zaman yanlış olan bileşik önermeye çelişki denir. Ne bir totoloji ne de bir çelişki olmayan bir bileşik önerme belirsiz (contingency) olarak adlandırılır.
7 1.3. Önerme Denklikleri Giriş ÖRNEK 1: Sadece bir önerme değişkeni kullanarak totoloji ve çelişki örnekleri oluşturabiliriz. Tablo 1 de gösterilen p p ve p^ p doğruluk tablolarını düşününüz. p p her zaman doğru olduğu için bu bir totolojidir. p^ p her zaman yanlış olduğundan, bu bir çelişkidir. Tablo 1. Totoloji ve Çelişki Örnekleri p p p p p^ p D Y D Y Y D D Y
8 1.3. Önerme Denklikleri Mantıksal Denklikler Olası her durumda aynı doğruluk değerlerine sahip bileşik önermeler mantıksal denk olarak adlandırılır. TANIM 2: Bileşik önermeler p ve q, s q totoloji olduğu durumda mantıksal denk olarak adlandırılır. p q gösterimi p ve q nun mantıksal olarak denk olduğunu gösterir. UYARI: sembolü bir mantıksal bağlaç değildir ve p q bir bileşik önerme değildir, daha ziyade p q nun totoloji olduğunu gösteren bir ifadedir. sembolü mantıksal denklik belirtmek için bazen yerine kullanılır. İki bileşik önermenin denk (eşdeğer) olup olmadığını belirlemenin bir yolu doğruluk tablosunu kullanmaktır. Özellikle, bileşik önermeler p ve q ancak ve ancak doğruluk değerlerini veren sütunlar aynı olduğu durumda denktir.
9 1.3. Önerme Denklikleri Mantıksal Denklikler Tablo 2. De Morgan Kanunları (p^q) p q (p q) p^ q
10 1.3. Önerme Denklikleri Mantıksal Denklikler ÖRNEK: (p q) ve p^ q nun mantıksal olarak denk olduğunu gösteriniz. Tablo 3. (p q) ve p^ q İçin Doğruluk Tabloları p q p q (p q) p q p^ q (p q) p^ q D D D Y Y Y Y D D Y D Y Y D Y D Y D D Y D Y Y D Y Y Y D D D D D TOTOLOJİ
11 1.3. Önerme Denklikleri Mantıksal Denklikler ÖRNEK: p q ve p q nun mantıksal olarak denk olduğunu gösteriniz. Tablo 4. p q ve p q İçin Doğruluk Tabloları p q p p q p q p q p q D D Y D D D D Y Y Y Y D Y D D D D D Y Y D D D D TOTOLOJİ
12 1.3. Önerme Denklikleri Mantıksal Denklikler ÖRNEK: p (q^r) ve (p q) ^(p r) nun mantıksal olarak denk olduğunu gösteriniz. Tablo 5. p (q^r) ve (p q) ^(p r) İçin Doğruluk Tabloları p q r q^r p (q^r) p q p r (p q) ^(p r) D D D D D D D D D D Y Y D D D D D Y D Y D D D D D Y Y Y D D D D Y D D D D D D D Y D Y Y Y D Y Y Y Y D Y Y Y D Y Y Y Y Y Y Y Y Y
13 1.3. Önerme Denklikleri Mantıksal Denklikler Denklik p^t p Tablo 6. Mantıksal Denklikler İsim Özdeşlik Kanunları p Y p p T T Baskınlık Kanunları p^y Y p p p Değişmezlik Kanunları p^p p ( p) p p q q p Çift Değilleme Sıra Değişme Kanunları p^q q^p
14 1.3. Önerme Denklikleri Mantıksal Denklikler Denklik (p q) r p (q r) (p^q) ^r p^ (q ^r) p (q^r) (p q) ^(p r) p^ (q r) (p^q) (p^r) (p^q) p q (p q) p^ q p (p^q) p p^(p q) p P p T P^ p Y Tablo 6. Mantıksal Denklikler (Devamı) İsim Birleşme Kanunları Dağılma Kanunları De Morgan Kanunları Yutma Kanunları Değilleme Kanunları
15 1.3. Önerme Denklikleri Mantıksal Denklikler Tablo 7. Şartlı cümleleri Kapsayan Mantıksal Denklikler p q p q p q q p p q p p p^q (p q) (p q) p^ q (p q) ^(p r) p (q^r) (p r) ^(q r) (p q) r (p q) (p r) p (q r) (p r) (q r) (p^q) r
16 1.3. Önerme Denklikleri Mantıksal Denklikler Tablo 8. Çift (karşılıklı) Şartlı cümleleri Kapsayan Mantıksal Denklikler p q (p q)^(q p) p q p q p q (p^q) ( p^ q) (p q) p q
17 1.3. Önerme Denklikleri De Morgan Kanunlarını Kullanma ÖRNEK: De Morgan kanunlarını kullanarak «Erdem in bir cep telefonu var ve bir dizüstü bilgisayarı var.» ve «Hande konsere gidecek veya Selim konsere gidecek.» ifadelerinin olumsuzlarını oluşturunuz.
18 1.3. Önerme Denklikleri De Morgan Kanunlarını Kullanma ÖRNEK: De Morgan kanunlarını kullanarak «Erdem in bir cep telefonu var ve bir dizüstü bilgisayarı var.» ve «Hande konsere gidecek veya Selim konsere gidecek.» ifadelerinin olumsuzlarını oluşturunuz. ÇÖZÜM: P «Erdem in bir cep telefonu var.» q «Erdem in bir dizüstü bilgisayarı var.» 1. De Morgan kanununa göre; (p q) ifadesi p q ifadesi ile denktir. p q «Erdem in bir cep telefonu yoktur veya bir dizüstü bilgisayara sahip değildir.»
19 1.3. Önerme Denklikleri De Morgan Kanunlarını Kullanma ÖRNEK: De Morgan kanunlarını kullanarak «Erdem in bir cep telefonu var ve bir dizüstü bilgisayarı var.» ve «Hande konsere gidecek veya Selim konsere gidecek.» ifadelerinin olumsuzlarını oluşturunuz. ÇÖZÜM: r «Hande konsere gidecek.» s «Selim konsere gidecek.» 2. De Morgan kanununa göre; (r s) ifadesi r s ifadesi ile denktir. r s «Hande konsere gitmeyecek ve Selim konsere gitmeyecek.»
20 1. Bu denklikleri göstermek için doğruluk tablolarını kullanınız. A)p T p B)p F p C) p F F D) p T T E) p p p F) p p p
21 1. Eşdeğerlilik tablodaki kısımların uygun sütun çiftlerinin uyumluluğundan elde edilebilir. p p^t p F p^f p T p p p^p D D D Y D D D Y Y Y Y D Y Y
22 2. Doğruluk tabloları kullanarak Değiştirme kurallarını doğrulayınız. A) p q q p B) p^q q^p
23 2. Doğruluk tabloları kullanarak Değiştirme kurallarını doğrulayınız. A) p q q p B) p^q q^p p q p q q p D D D D D Y D D Y D D D Y Y Y Y p q p^q q^p D D D D D Y Y Y Y D Y Y Y Y Y Y
24 3. Doğruluk tablosu kullanarak p^(q r) (p^q) (p^r) Dağılma kuralını doğrulayınız.
25 3. Doğruluk tablosu kullanarak p^(q r) (p^q) (p^r) Dağılma kuralını doğrulayınız. p q r q r p (q r) p q p r (p q) (p r) D D D D D D D D D D Y D D D Y D D Y D D D Y D D D Y Y Y Y Y Y Y Y D D D Y Y Y Y Y D Y D Y Y Y Y Y Y D D Y Y Y Y Y Y Y Y Y Y Y Y
26 4. Aşağıdaki ifadelerden her birinin değilini bulmak için De Morgan kanunlarını kullanınız. A) Can zengin ve mutlu. B) Kemal yarın bisiklete binecek veya koşacak. C) Maya derse gitmek için yürür veya otobüse biner. D) İbrahim çalışkan veya akıllıdır.
27 4. Aşağıdaki ifadelerden her birinin değilini bulmak için De Morgan kanunlarını kullanınız. A) Can zengin ve mutlu. Can zengin değildir veya Can mutlu değildir. B) Kemal yarın bisiklete binecek veya koşacak. Kemal yarın bisiklet sürmeyecek ve Kemal yarın koşmayacak. C) Maya derse gitmek için yürür veya otobüse biner. Maya derse gitmek için yürümez ve Maya derse gitmek için otobüse binmez. D) İbrahim çalışkan veya akıllıdır. İbrahim zeki değildir veya İbrahim çalışkan değildir.
28 5. Doğruluk tabloları kullanarak aşağıdaki şartlı cümlelerin birer totoloji olduklarını gösteriniz. A) (p^q) p B) p (p q) C) p (p q) D) (p^q) (p q) E) (p q) p F) (p q) q
29 5. Doğruluk tabloları kullanarak aşağıdaki şartlı cümlelerin birer totoloji olduklarını gösteriniz. A) (p^q) p p q p q (p q) p D D D D D Y Y D Y D Y D Y Y Y D
30 5. Doğruluk tabloları kullanarak aşağıdaki şartlı cümlelerin birer totoloji olduklarını gösteriniz. B) p (p q) p q p q p (p q) D D D D D Y D D Y D D D Y Y Y D
31 5. Doğruluk tabloları kullanarak aşağıdaki şartlı cümlelerin birer totoloji olduklarını gösteriniz. C) p (p q) p q p p q p (p q) D D Y D D D Y Y Y D Y D D D D Y Y D D D
32 5. Doğruluk tabloları kullanarak aşağıdaki şartlı cümlelerin birer totoloji olduklarını gösteriniz. D) (p^q) (p q) p q p q p q (p q) (p q) D D D D D D Y Y Y D Y D Y D D Y Y Y D D
33 5. Doğruluk tabloları kullanarak aşağıdaki şartlı cümlelerin birer totoloji olduklarını gösteriniz. E) (p q) p p q p q (p q) (p q) p D D D Y D D Y Y D D Y D D Y D Y Y D Y D
34 5. Doğruluk tabloları kullanarak aşağıdaki şartlı cümlelerin birer totoloji olduklarını gösteriniz. F) (p q) q p q p q (p q) q (p q) q D D D Y Y D D Y Y D D D Y D D Y Y D Y Y D Y D D
35 6. Doğruluk tabloları kullanarak yutma kurallarını doğrulayınız. A) p (p^q) p B) p^(p q) p
36 6. Doğruluk tabloları kullanarak yutma kurallarını doğrulayınız. A) p (p^q) p B) p^(p q) p p q p^q p (p^q) p q p (p q) D D D D D D D Y Y D D D Y D Y Y D Y Y Y Y Y Y Y
37 7. ( q^(p q)) p önermesinin totoloji olup olmadığını tespit ediniz.
38 7. ( q^(p q)) p önermesinin totoloji olup olmadığını tespit ediniz. p q p q p q ( q^(p q)) ( q^(p q)) p D D Y Y D Y D D Y Y D Y Y D Y D D Y D Y D Y Y D D D D D
39 8. (p q) (q r) (p r) ifadesinin totoloji olduğunu gösteriniz.
40 8. (p q) (q r) (p r) ifadesinin totoloji olduğunu gösteriniz. p q r p q q r (p q)^(q r) p r (p q) (q r) (p r) D D D D D D D D D D Y D Y Y Y D D Y D Y D Y D D D Y Y Y D Y Y D Y D D D D D D D Y D Y D Y Y D D Y Y D D D D D D Y Y Y D D D D D
Önermeler mantığındaki biçimsel kanıtlar
Önermeler mantığındaki biçimsel kanıtlar David Pierce 26 Aralık 2011, saat 11:48 Bu yazının ana kaynakları, Burris in [1] ve Nesin in [4] kitapları ve Foundations of Mathematical Practice (Eylül 2010)
DetaylıÖrnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. w w w. m a t b a z. c o m ÖNERMELER- BİLEŞİK ÖNERMELER
Terim: Bir bilim dalı içerisinde konuşma dilinden farklı anlamı olan sözcüklerden her birine o bilim dalının bir terimi denir. Önermeler belirtilirler. p,q,r,s gibi harflerle Örneğin açı bir geometri terimi,
DetaylıLİSE 1 MANTIK KONU ANLATIM FASİKÜLÜ
LİSE 1 MANTIK KONU ANLATIM FASİKÜLÜ 1 ÖNERMELER Kesin olarak doğru ya da yanlış hüküm bildiren ifadelere önerme denir. Önermeler p ve q gibi harflerle ifade edilirler.bir önerme doğru ise, doğruluk değeri
DetaylıAYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ
AYRIK YAPILAR P r o f. D r. Ö m e r A k ı n v e Y r d. D o ç. D r. M u r a t Ö z b a y o ğ l u n u n Ç e v i r i E d i t ö r l ü ğ ü n ü ü s t l e n d i ğ i «A y r ı k M a t e m a t i k v e U y g u l a
DetaylıAYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ
AYRIK YAPILAR P r o f. D r. Ö m e r A k ı n v e Y r d. D o ç. D r. M u r a t Ö z b a y o ğ l u n u n Ç e v i r i E d i t ö r l ü ğ ü n ü ü s t l e n d i ğ i «A y r ı k M a t e m a t i k v e U y g u l a
DetaylıMantıksal Operatörlerin Semantiği (Anlambilimi)
Mantıksal Operatörlerin Semantiği (Anlambilimi) Şimdi bu beş mantıksal operatörün nasıl yorumlanması gerektiğine (semantiğine) ilişkin kesin ve net kuralları belirleyeceğiz. Bir deyimin semantiği (anlambilimi),
DetaylıMATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev
MATM 133 MATEMATİK LOJİK Dr. Doç. Çarıyar Aşıralıyev 1.KONU Sembolik Mantık; Önermeler, Niceyiciler, Olumsuzluk, İspat yöntemleri KAYNAKLAR 1. Akkaş, S., Hacısalihoğlu, H.H., Özel, Z., Sabuncuoğlu, A.,
DetaylıB. ÇOK DEĞERLİ MANTIK
B. ÇOK DEĞERLİ MANTIK İki değerli mantıkta önermeler, doğru ve yanlış olmak üzere iki değer alabilir. Çünkü özdeşlik, çelişmezlik ve üçüncü hâlin olanaksızlığı ilkelerine göre, önermeler başka bir değer
DetaylıBM202 AYRIK İŞLEMSEL YAPILAR. Yrd. Doç. Dr. Mehmet ŞİMŞEK
BM202 AYRIK İŞLEMSEL YAPILAR Yrd. Doç. Dr. Mehmet ŞİMŞEK Önermelerin Eşdeğerlikleri Section 1.3 Totoloji, Çelişkiler, ve Tesadüf Bir totoloji her zaman doğru olan bir önermedir. Örnek: p p Bir çelişki
DetaylıAYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ
AYRIK YAPILAR P r o f. D r. Ö m e r A k ı n v e Y r d. D o ç. D r. M u r a t Ö z b a y o ğ l u n u n Ç e v i r i E d i t ö r l ü ğ ü n ü ü s t l e n d i ğ i «A y r ı k M a t e m a t i k v e U y g u l a
DetaylıMANTIK. 3. p 0, q 1 ve r 1 iken aşağıdaki önermelerin doğruluk değerlerini bulunuz. p q q. q b. ( ) ' c. ( p q) r
MANTIK 1. p : Ali esmerdir., q : Ali bir avukattır. Önermeleri verildiğine göre, sembolik olarak gösterilen aşağıdaki ifadeleri yazıya çeviriniz. a. p b. p q c. p q d. p q e. p q. p 1 ve q iken aşağıdaki
DetaylıYZM 3217 YAPAY ZEKA DERS#6: MANTIK
YZM 3217 YAPAY ZEKA DERS#6: MANTIK Önermeler Doğru veya yanlış değer alabilen ifadelerdir Bir önerme hem doğru hem de yanlış olamaz Bir önerme kısmen doğru yada kısmen yanlış olamaz Örnekler: Dünya yuvarlaktır.
Detaylıharfi almanca kökenli (Zahlen) Z X bir sonlu küme ise, X = X deki öğelerin sayısını gösterir
BÖLÜM 1 Kümeler harfi almanca kökenli (Zahlen) Z X bir sonlu küme ise, X = X deki öğelerin sayısını gösterir Tanım 1.1.1: X ve Y herhangi iki küme olsunlar. Eğer X Y= ise, X ve Y kümelerine ayrıktırlar
Detaylı1. ÜNİTE: MANTIK. Bölüm 1.1. Önermeler ve Bileşik Önermeler
. ÜNİTE: MANTIK . ÜNİTE: MANTIK... Önerme Tanım (Önerme) BÖLÜM.. - Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme adı veriler. Örneğin Bir hafta 7 gündür. (Doğru) Eskişehir Türkiye'nin başkentidir.
DetaylıDOĞRULUK TABLOSU / ÇİZELGESİ İLE DENETLEME
DOĞRULUK TABLOSU / ÇİZELGESİ İLE DENETLEME (, q...) gibi basit bir önerme doğru veya yanlış yorumlanabileceğinden, (D) veya (Y) değerine sahi olabilir. Buna karşılık herhangi bir önerme eklemiyle kurulan
DetaylıYZM 3217 YAPAY ZEKA DERS#6: MANTIK
YZM 3217 YAPAY ZEKA DERS#6: MANTIK Önermeler Doğru veya yanlış değer alabilen ifadelerdir Bir önerme hem doğru hem de yanlış olamaz Bir önerme kısmen doğru yada kısmen yanlış olamaz Örnekler: Dünya yuvarlaktır.
DetaylıİÇİNDEKİLER. Önsöz...2. Önermeler ve İspat Yöntemleri...3. Küme Teorisi Bağıntı Fonksiyon İşlem...48
İÇİNDEKİLER Önsöz...2 Önermeler ve İspat Yöntemleri...3 Küme Teorisi...16 Bağıntı...26 Fonksiyon...38 İşlem...48 Sayılabilir - Sonlu ve Sonsuz Kümeler...56 Genel Tarama Sınavı...58 Önermeler ve İspat Yöntemleri
DetaylıKÜMELER VE MANTIK KESİLİ MATEMATİKSEL YAPILAR
KÜMELER VE MANTIK KESİLİ MATEMATİKSEL YAPILAR Kümeler Koşullu ve Mantıksal Denklik Kümeler Kümeler Ayrık Kümeler De-Morgan Kuralı Z (Zahlen; alm.) tamsayılar kümesi Z negatif tamsayılar kümesi, Z nonneg
Detaylı1 MATEMATİKSEL MANTIK
1 MATEMATİKSEL MANTIK Bu bölümde ilk olarak önerne tanımıverilip ispatlarda kullanılan düşünce biçimi incelenecektir. Tanım 1 Bir hüküm bildiren ve hakkında doğru veya yanlış denilmesi anlamlı olan ifadelere
DetaylıYAYINLARI. ISBN:
YAYINLARI www.alpaslanceran.com.tr ISBN: - - - - Bu kitabın tamamının ya da bir kısmının, kitabı yayınlayan şirketin önceden izni olmaksızın elektronik, mekanik, fotokopi ya da herhangi bir kayıt sistemi
DetaylıSunum ve Sistematik 1. BÖLÜM: ÖNERMELER
Sunum ve Sistematik. ÜNİTE: MANTIK KONU ÖZETİ Bu başlık altında, ünitenin en can alıcı bilgileri, kazanım sırasına göre en alt başlıklara ayrılarak hap bilgi niteliğinde konu özeti olarak sunulmuştur..
DetaylıBoole Cebri. Muhammet Baykara
Boole Cebri Boolean Cebri, Mantıksal Bağlaçlar, Lojik Kapılar ve Çalışma Mantıkları, Doğruluk Tabloları, Boole Cebri Teoremleri, Lojik İfadelerin Sadeleştirilmeleri Muhammet Baykara mbaykara@firat.edu.tr
DetaylıİÇİNDEKİLER. Mantık Kurallarının Elektrik Devrelerine Uygulanması... 14
İÇİNDEKİLER 1. BÖLÜM MANTIK Giriş... 1 Genel Olarak Mantık... 1 Mantığın Tarihçesi ve Modern Mantığın Doğuşu... 1 Mantık Öğretimin Önemi ve Amacı... 2 Önerme... 3 VE İşlemi (Birlikte Evetleme, Mantıksal
DetaylıMATEMATİK ADF. Önermeler - I ÜNİTE 1: MANTIK. Önerme. örnek 2. Bir önermenin değili (olumsuzu) örnek 3. Doğruluk Tablosu. örnek 1.
MATEMATİK ÜNİTE 1: MANTIK Önermeler - I ADF 01 Önerme Doğru ya da yanlış kesin bir hüküm bildiren ifadelere... denir. R Doğru hüküm bildiren önermeye..., Yanlış hüküm bildiren önermeye... denir. R Önermelerin
DetaylıBMT 206 Ayrık Matematik. Yük. Müh. Köksal GÜNDOĞDU 1
BMT 206 Ayrık Matematik Yük. Müh. Köksal GÜNDOĞDU 1 Ayrık Matematik Yük. Müh. Köksal GÜNDOĞDU 2 Önermeler Yük. Müh. Köksal GÜNDOĞDU 3 Önermeler Önermeler Mantığı, basit ifadelerden mantıksal bağlaçları
DetaylıSembolik gösterim matematiğin yarısıdır. Bertrand Russef
MANTIK İnsanlık, tarihi boyunca doğru düşünmenin ve doğru sonuca ulaşmanın yol ve yöntemlerini araştırmıştır. Bu araştırmalar sonucunda farklı sistematik yaılar oluşmuştur. Oluşan sistematik yaıların başında
DetaylıMatematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız
Ortaöğretim Alanı MF - 01 Matematik Ders Föyü Terim Bir sözcüğün bilim, spor, sanat, meslek vb. içerisinde kazandığı özel anlama terim denir. NOT Küp Matematik Ova Coğrafya Asit Kimya Mercek Fizik Sol
DetaylıBSM 101 Bilgisayar Mühendisliğine Giriş
BSM 101 Bilgisayar Mühendisliğine Giriş Bool Cebri Hazırlayan: Ben kimim? www.sakarya.edu.tr/~fdikbiyik Lisans: İstanbul Üniversitesi Yüksek Lisans ve Doktora: University of California, Davis, ABD Öğretim:
DetaylıMatematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız
Ortaöğretim Alanı MF - 01 Matematik Ders Föyü Terim Bir sözcüğün bilim, spor, sanat, meslek vb. içerisinde kazandığı özel anlama terim denir. NOT Küp Matematik Ova Coğrafya Asit Kimya Mercek Fizik Sol
DetaylıÖnermeler. Önermeler
Önermeler ers 1 1-1 Önermeler 1-2 1 Önerme Mantığı ve İspatlar Mantık önermelerin doğruluğunu kanıtlamak için kullanılır. Önermenin ne olduğu ile ilgilenmek yerine bazı kurallar koyar ve böylece önermenin
DetaylıÇözümleyici Çizelgeler (Çürütme Ağaçları)
Çözümleyici Çizelgeler (Çürütme Ağaçları) İki veya üçten fazla cümle harfi içeren ikb ler söz konusu olduğunda doğruluk tablosu, denetleme yapmak için hantal ve yetersiz bir yöntem haline gelmektedir.
Detaylı2. Matematiksel kavramları organize bir şekilde sunarak, bu kavramları içselleştirmenizi sağlayacak pedagojik bir alt yapı ile yazılmıştır.
Sevgili Öğrenciler, Matematik ilköğretimden üniversiteye kadar çoğu öğrencinin korkulu rüyası olmuştur. Buna karşılık, istediğiniz üniversitede okuyabilmeniz büyük ölçüde YGS ve LYS sınavlarında matematik
DetaylıBiçimselleştirme. - 4 sayısını gösterir. Mantıktaki örnekte ise parantezleri kullanarak P S) ifadesini elde ederiz
Biçimselleştirme Burada sunulan haliyle bu sembolik gösterim diline önermeler mantığı dili denir. Şimdi günlük dilden çeşitli cümlelerin sembolik biçimler şeklinde nasıl ifadelendirilebileceğini (yani
DetaylıMODERN (SEMBOLİK) MANTIK
MODERN (SEMBOLİK) MANTIK A. ÖNERMELER MANTIĞI 1. Önermelerin Sembolleştirilmesi Önermeler mantığında her bir yargı, q, r... gibi sembollerle ifade edilir. Örnek: Dünya gezegendir. Dünya nın şekli elistir.
DetaylıSAYILAR DOĞAL VE TAM SAYILAR
1 SAYILAR DOĞAL VE TAM SAYILAR RAKAM: Sayıları ifade etmek için kullandığımız 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 sembollerinden her birine rakam denir. Soru: a ve b farklı rakamlar olmak üzere a + b nin alabileceği
DetaylıMODERN MANTIK ARASINAVI (SOSYOLOJİ) ÇÖZÜMLERİ B GRUBU
MODERN MANTIK ARASINAVI (SOSYOLOJİ) ÇÖZÜMLERİ B GRUBU 1. Aşağıdaki kanıtlamaların çıkarım belirticilerini, öncül ve sonuç önermelerini, tümdengelimli mi (geçersiz, geçerli veya sağlam), tümevarımlı mı
DetaylıDOĞRULUK TABLOLARI (TRUTH TABLE)
LOJİK KAPILAR DOĞRULUK TABLOLARI (TRUTH TABLE) Doğruluk tabloları sayısal devrelerin tasarımında ve analizinde kullanılan en basit ve faydalı yöntemdir. Doğruluk tablosu giriş değişkenlerini alabileceği
DetaylıA Tüm S ler P dir. Tümel olumlu. E Hiçbir S, P değildir. Tümel olumsuz. I Bazı S ler P dir. Tikel olumlu. O Bazı S ler P değildir.
Yargı cümlelerinde sınıf terimler birbirlerine tüm ve bazı gibi deyimlerle bağlanırlar. Bunlara niceleyiciler denir. Niceleyiciler de aynen doğruluk fonksiyonu operatörleri (önerme eklemleri) gibi mantıksal
DetaylıBMT 206 Ayrık Matematik. Yük. Müh. Köksal GÜNDOĞDU 1
BMT 206 Ayrık Matematik Yük. Müh. Köksal GÜNDOĞDU 1 Kümeler Yük. Müh. Köksal GÜNDOĞDU 2 Kümeler Kümeler Ayrık Matematiğin en temel konularından biridir Sayma problemleri için önemli Programlama dillerinin
Detaylı12.Konu Rasyonel sayılar
12.Konu Rasyonel sayılar 1. Rasyonel sayılar 2. Rasyonel sayılar kümesinde toplama ve çarpma 3. Rasyonel sayılar kümesinde çıkarma ve bölme 4. Tam rayonel sayılar 5. Rasyonel sayılar kümesinde sıralama
DetaylıMantık fonksiyonlarından devre çizimi 6 Çizilmiş bir devrenin mantık fonksiyonunun bulunması
DERSİN ADI BÖLÜM PROGRAM DÖNEMİ DERSİN DİLİ DERS KATEGORİSİ ÖN ŞARTLAR SÜRE VE DAĞILIMI KREDİ DERSİN AMACI ÖĞRENME ÇIKTILARI VE YETERLİKLER DERSİN İÇERİĞİ VE DAĞILIMI (MODÜLLER VE HAFTALARA GÖRE DAĞILIMI)
DetaylıMODERN (SEMBOLİK) MANTIK
MOERN (SEMBOLİK) MANTIK Modern mantık, mantık unsurlarını sembollerle ifade eden ve bu sembollerle işlemler yaarak sağlam çıkarımlara ulaşmayı amaçlayan bir disilindir. Klâsik mantık gibi modern mantığın
Detaylıö Ö ğ
Ü ö ö ö Ğ ğ Ü Ğ Ğ Ö ğ ö ö ğ «ö Ö ğ Ü Ü Ü Ğ Ö Ö Ü Ğ ğ ö ö Ö ğ ğ ğ ğ ö ğ ğ Ü ğ ğ ğ ö ğ Ü ğ ğ ö ğ ğ ğ ğ Ü Ü ö ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ö ğ ğ Ö ö ğ ğ ö ğ ğ ö» ğ ö ğ ğ ğ ğ ö ğ ğ ö ö ö ö ğ Ö ğ Ğ ğ ö
DetaylıÜ Ü Ğ Ü Ğ Ü «Ğ Ğ» Ü
Ü Ü Ğ Ü Ğ Ü «Ğ Ğ» Ü ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ Ü Ü ğ ğ ğ ğ ğ ğ Ğ ğ ğ ğ ğ ğ ğ ğ ğ Ü ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ
DetaylıĞ ç ğ ç ç ğ ç ğ ç ç ğ ç ğ ğ ç ç ğ ç ç ğ ç ç ç ğ ç ç ğ ç ç ç İ ğ ğ ğ ç ğ ğ ç ğ ğ ğ ğ ğ ç ç ç ç ğ ç ğ ç ç ğ ğ ç ç ç ğ ğ ç ğ ğ ç ç ç ç İ ğ ç ğ ç ğ ç ç ğ
İ Ü İ İ İ ç ğ ğ ç ç Ğ «Ö Ğ ğ ç ğ ç ğ ç ç ğ ğ ç ğ ç ğ ç ğ ç ğ ç ç Ö ğ Ö ğ ç Ğ ç ğ ç ç ğ ç ğ ç ç ğ ç ğ ğ ç ç ğ ç ç ğ ç ç ç ğ ç ç ğ ç ç ç İ ğ ğ ğ ç ğ ğ ç ğ ğ ğ ğ ğ ç ç ç ç ğ ç ğ ç ç ğ ğ ç ç ç ğ ğ ç ğ ğ ç
DetaylıŞ Ğ ş Ğ İ Ğ İ ş ş Ü Ü Ş Ü İ ş ş ş
İ İ Ğ Ğ İ İ ş Ğ Ğ «Ğ İ Ğ ş ş ş ş ş Ç ş ş İ ş Ç ş İ İ İ ş Ş Ğ ş Ğ İ Ğ İ ş ş Ü Ü Ş Ü İ ş ş ş Ğ İ İ Ş Ğ ş ş İ ş ş Ş ş İ İ ş Ğ ş ş ş Ü ş ş ş İ ş Ğ ş ş ş Ş ş İ ş İ İ ş İ İ ş İ İ Ö Ü ş Ö ş ş ş İ ş ş ş ş İ ş
Detaylığ Ü ğ ğ ğ ğ ğ ğ ğ İ ğ ğ ğ İ ğ ğ ğ ğ ğ ğ
İ İ İ İ İ İ İ İ İ İ Ö İ İ İ Ö İ ğ ğ ğ ğ ğ ğ Ü ğ ğ ğ ğ ğ ğ Ü ğ ğ ğ ğ ğ ğ ğ İ ğ ğ ğ İ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ Ü ğ ğ Ö ğ ğ ğ Ö ğ ğ ğ ğ ğ ğ ğ Ü ğ ğ ğ İ ğ ğ ğ Ö ğ ğ Ç ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ Ü ğ ğ ğ ğ Ç ğ ğ
DetaylıÇ Ç Ç Ş İ ğ ğ ğ Ç Ş İ ğ Ç ğ ğ ğ Ç ğ Ş ğ ğ ğ Ç ğ Ş ğ ğ ğ ğ İ ğ İ İ ğ ğ ğ ğ ğ ğ ğ ğ ğ
Ğ İ Ü Ş İ İ Ş İ Ş Ğ Ç Ö İĞİ Ç Ç ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ İ İ ğ ğ ğ ğ ğ ğ Ç Ç Ç Ş İ ğ ğ ğ Ç Ş İ ğ Ç ğ ğ ğ Ç ğ Ş ğ ğ ğ Ç ğ Ş ğ ğ ğ ğ İ ğ İ İ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ İ İ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ ğ Ü Ü İŞ İ İ ğ İ
Detaylıç ç ç ç ç
Ğ Ö Ş ç ç ç ç ç ç ç Ç Ş Ü Ş Ü ç ç ç ç Ö ç ç ç ç ç ç ç Ş ç ç Ö ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç Ö ç ç ç Ş ç ç ç Ö ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç ç
Detaylıö Ç ş ş ö ç ç ş ş ö ö ö Ç ö ş ş ö
Ğ Ğ Ğ Ğ Ğ Ğ ş ş ş ş ş ş ş ş ş ş ş ç ç ş ş ç ö ş ö ö ş ö ö ş ö Ç ş ş ö ç ç ş ş ö ö ö Ç ö ş ş ö Ğ Ğ Ğ Ğ ş Ğ ş ş ş ş ş ş ş ş ş ş ş ş ş ş ş ç ş ç ş ş ç ö ö ş ö ö ş ş ş ş ö ş ş ö Ğ Ğ Ğ Ğ ş Ğ ş Ğ ş ş ş ş ş ş
DetaylıİĞİ ğ ş. ğ ş ğ ğ ğ Ş İ. ş ş. ş ğ ğ. ş ş ğ ş ş ş. ğ ş ş İ İ İ. ş ş
İĞİ ğ ş ğ ş ğ ğ ğ ğ ş ş ş Ş İ İ İ İ ş ş ş ğ ğ ş ş ğ ş ş ş ğ ş ş ş ğ ş ş ş ş ş İ İ İ ş ş ş ğ İ ş ş ş ğ ş ş ğ ş ş ş ğ ğ ş ş ş ğ ş ş ş ğ ğ ş ş ğ ş ğ ğ ğ ş ş ğ ğ ş ş ğ ş ğ ğ ş ğ İ ğ ğ ş ğ ğ ş ş ğ ş ğ ğ ş ş
Detaylıö ü ü ö ö ü ö ü ü ğ ö ç ü Ç ğ ç ç ö ü ç ü ö Ş ğ üç ğ ç ü ö ç ç ç ç ğ ç ü ü ç ö ç ü ç ü ö ğ ç ç ö ç ğ ğ ç ç ö ç ö ü ğ ü Ş Ü Ü ö
ö Ş ü ö ü ö ğ ç ü Ç ç ü ğ ü ü ğ ç ö ğ ö ç ö ç ü ö ü ö ğ ü ç ö ğ ö ö ğ ğ ğ ç ö ğ ö ç ö «Ö ö ü ğ Ç ğ ğ ç ü ç ö ö ö ğ ç ö ü ü ö ö ü ö ü ü ğ ö ç ü Ç ğ ç ç ö ü ç ü ö Ş ğ üç ğ ç ü ö ç ç ç ç ğ ç ü ü ç ö ç ü ç
Detaylıö Ş Ç ö ö ö ö ö Ö ö Ö ö Ç ö ö ö Ö Ğ Ğ
ö ö ö ö ö ö ö ö ö ö ö ö ö Ş Ş ö ö Ş Ç ö ö ö ö ö Ö ö Ö ö Ç ö ö ö Ö Ğ Ğ ö ö Ç Ş Ğ Ç Ş Ş Ğ ö Ü Ğ ö Ü ö ö Ü Ü Ç Ü Ç ö ö ö ö Ç ö ö ö ö Ö Ü Ö ö ö ö ö ö ö ö Ö Ü ö ö ö ö ö ö ö ö ö Ü ö ö Ö ö ö ö ö Ö ö ö ö ö Ş ö
DetaylıİÇİNDEKİLER ÖNERMELER BİLEŞİK ÖNERMELER AÇIK ÖNERMELER İSPAT YÖNTEMLERİ
- MANTIK İÇİNDEKİLER Safa No Test No ÖNERMELER...-... - BİLEŞİK ÖNERMELER...-... -6 AÇIK ÖNERMELER...-6... 7-8 İSPAT YÖNTEMLERİ...7-8... 9-9 - KÜMELER KÜMELERDE TEMEL KAVRAMLAR...9-4... - KÜMELERDE İŞLEMLER...5-6...
DetaylıSaygın KIRILMAZ, Tolga TANIŞ, Simay AYDIN
YAYIN KURULU Hazırlayanlar Saygın KIRILMAZ, Tolga TANIŞ, Simay AYDIN YAYINA HAZIRLAYANLAR KURULU Kurumsal Yayınlar Yönetmeni Saime YILDIRIM Kurumsal Yayınlar Birimi Dizgi & Grafik Mustafa Burak SANK &
DetaylıT I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A
T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A Contents Rasyonel Fonksiyonlar 5 Bibliography 35 Inde 39 Rasyonel Fonksiyonlar Polinomlar Yetmez! Bölme
DetaylıTaşkın, Çetin, Abdullayeva 2. ÖZDEŞLİKLER,DENKLEMLER VE EŞİTSİZLİKLER
MATEMATİK Taşkın, Çetin, Abdullayeva BÖLÜM. ÖZDEŞLİKLER,DENKLEMLER VE EŞİTSİZLİKLER. ÖZDEŞLİKLER İki cebirsel ifade içerdikleri değişkenlerin (veya bilinmeyenlerin) her değeri içinbirbirine eşit oluyorsa,
Detaylı9SINIF MATEMATİK. Mantık Kümeler
9SINIF MATEMATİK Mantık Kümeler YAYIN KOORDİNATÖRÜ Oğuz GÜMÜŞ EDİTÖR Hazal ÖZNAR - Uğurcan AYDIN DİZGİ Muhammed KARATAŞ SAYFA TASARIM - KAPAK F. Özgür OFLAZ Eğer bir gün sözlerim bilim ile ters düşerse,
Detaylı1. BÖLÜM Mantık BÖLÜM Sayılar BÖLÜM Rasyonel Sayılar BÖLÜM I. Dereceden Denklemler ve Eşitsizlikler
ORGANİZASYON ŞEMASI 1. BÖLÜM Mantık... 7. BÖLÜM Sayılar... 13 3. BÖLÜM Rasyonel Sayılar... 93 4. BÖLÜM I. Dereceden Denklemler ve Eşitsizlikler... 103 5. BÖLÜM Mutlak Değer... 113 6. BÖLÜM Çarpanlara Ayırma...
DetaylıInternet Programming II. Elbistan Meslek Yüksek Okulu Bahar Yarıyılı
Internet Programming II Elbistan Meslek Yüksek Okulu 2015 2016 Bahar Yarıyılı Öğr.Gör. Murat KEÇECİOĞLU 14 Mar. 2016 1 Bileşik Atama Operatörleri İki değişken arasında gerçekleştirilen atama ve aritmetik
DetaylıÇÖZÜMLÜ ÖRNEK 3.5 ÇÖZÜM
Biçimselleştirme Burada sunulan haliyle bu sembolik gösterim diline önermeler mantığı dili denir. Şimdi günlük dilden çeşitli cümlelerin sembolik biçimler şeklinde nasıl ifadelendirilebileceğini (yani
DetaylıIV.Ünite: SEMBOLİK MANTIK: D - Çok Değerli Mantık Özet
ÇOK DEĞERLİ MANTIK Klasik mantık sistemleri, sadece belirli koşullarda oluşan, kesin doğruluk değerleri doğru ya da yanlış olan önermelerle ilgilenirler. Belirsizlikle ilgilenmezler. İki değerlikli bu
DetaylıII.Ünite: KLASİK MANTIK (ARİSTO MANTIĞI)
II.Ünite: KLASİK MANTIK (ARİSTO MANTIĞI) A. KAVRAM, TERİM - Kavramlar Arası İlişkiler - İçlem - kaplam ilişkisi - Beş tümel - Tanım B. ÖNERMELER - Önermeler Arası İlişkiler C. ÇIKARIM Ve Türleri - Kıyas
Detaylı11. SINIF MATEMATİK DERSİ İLERİ DÜZEY ÖĞRETİM PROGRAMI
11. SINIF MATEMATİK DERSİ İLERİ DÜZEY ÖĞRETİM PROGRAMI Programın öğrencilerde geliştirmeyi hedeflediği becerilerle 11. sınıf matematik öğretim programı ilişkisi Modelleme/Problem çözme Matematiksel Süreç
DetaylıBTP 207 İNTERNET PROGRAMCILIĞI I. Ders 8
BTP 27 İNTERNET PROGRAMCILIĞI I Ders 8 Değişkenler 2 Tamsayı Değerler (Integer) Tamsayılar, tabanlı (decimal), 8 tabanlı (octal) veya 6 tabanlı (hexadecimal) olabilir. 8 tabanındaki sayıları belirtmek
DetaylıSAYI SİSTEMLERİ ve BOOLE CEBİRİ 1+1=1 ÖĞR.GÖR. GÜNAY TEMÜR - TEKNOLOJİ F. / BİLGİSAYAR MÜH.
SAYI SİSTEMLERİ ve BOOLE CEBİRİ 1+1=1 Ders Konusu 1854 yılında George Boole tarafından özellikle lojik devrelerde kullanılmak üzere ortaya konulmuş bir matematiksel sistemdir. İkilik Sayı Sistemi Çoğu
DetaylıFatih University- Faculty of Engineering- Electric and Electronic Dept.
Dijital Devre Tasarımı EEE122 A Ref. Morris MANO & Michael D. CILETTI DIGITAL DESIGN 4 th edition Fatih University- Faculty of Engineering- Electric and Electronic Dept. 2. BÖLÜM Boole Cebri ve Mantık
Detaylı11.Konu Tam sayılarda bölünebilme, modüler aritmetik, Diofant denklemler
11.Konu Tam sayılarda bölünebilme, modüler aritmetik, Diofant denklemler 1. Asal sayılar 2. Bir tam sayının bölenleri 3. Modüler aritmetik 4. Bölünebilme kuralları 5. Lineer modüler aritmetik 6. Euler
DetaylıÖrnek bir Algoritma. Örneğimiz bir insanın evden çıkıp işe giderken izleyeceği yolu ve işyerine girişinde ilk yapacaklarını tanımlamaktadır.
Örnek bir Algoritma Örneğimiz bir insanın evden çıkıp işe giderken izleyeceği yolu ve işyerine girişinde ilk yapacaklarını tanımlamaktadır. Çözüm 1: 1. Evden dışarıya çık 2. Otobüs durağına yürü 3. Durakta
Detaylı8.SINIF CEBirsel ifadeler
KAZANIM : 8.2.1.1. Basit cebirsel ifadeleri anlar ve farklı biçimlerde yazar. Hatırlatma 2 + 4y - 5 ifadesi bir cebirsel ifadedir ve değişkenler ve y dir. Cebirsel İfade: İçinde bir veya birden fazla bilinmeyen
DetaylıT I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A
T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A Contents 1 Kümeler Cebiri 5 1 Kümeler Cebiri 1 Doğa olaylarının ya da sosyal olayların açıklanması için,
DetaylıNesne Yönelimli Programlama
1 Nesne Yönelimli Programlama Hazırlayan: M.Ali Akcayol Gazi Üniversitesi Bilgisayar Mühendisliği Bölümü Not: Bu dersin sunumları, Java Programlama Dili ve Yazılım Tasarımı, Altuğ B. Altıntaş, Papatya
DetaylıT.C. KOCAELİ ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ BİLİŞİM SİSTEMLERİ MÜHENDİSLİĞİ
T.C. KOCAELİ ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ BİLİŞİM SİSTEMLERİ MÜHENDİSLİĞİ Yrd. Doç. Dr. Mustafa H.B. UÇAR 1 2. HAFTA Yrd. Doç. Dr. Mustafa Hikmet Bilgehan UÇAR Entegre Yapıları Lojik Kapılar Lojik
Detaylı10.Konu Tam sayıların inşası
10.Konu Tam sayıların inşası 1. Tam sayılar kümesi 2. Tam sayılar kümesinde toplama ve çarpma 3. Pozitif ve negatif tam sayılar 4. Tam sayılar kümesinde çıkarma 5. Tam sayılar kümesinde sıralama 6. Bir
DetaylıLisans. Ayrık Matematik. Konular. Önerme Örnekleri. Tanım önerme: doğru ya da yanlış olan bir bildirim cümlesi. Tanım
Lisans Ayrık Matematik Önermeler H. Turgut Uyar Ayşegül Gençata Yayımlı Emre Harmancı 2001-2013 You are free: to Share to copy, distribute and transmit the work to Remix to adapt the work c 2001-2013 T.
DetaylıBİLİŞİM TEKNOLOJİLERİ 6. SINIF DERS NOTLARI 2
PROGRAMLAMA Bir problemin çözümü için belirli kurallar ve adımlar çerçevesinde bilgisayar ortamında hazırlanan komutlar dizisine programlama denir. Programlama Dili: Bir programın yazılabilmesi için kendine
Detaylı13.Konu Reel sayılar
13.Konu Reel sayılar 1. Temel dizi 2. Temel dizilerde toplama ve çarpma 3. Reel sayılar kümesi 4. Reel sayılar kümesinde toplama ve çarpma 5. Reel sayılar kümesinde sıralama 6. Reel sayılar kümesinin tamlık
Detaylı