Biçimselleştirme. - 4 sayısını gösterir. Mantıktaki örnekte ise parantezleri kullanarak P S) ifadesini elde ederiz
|
|
- Turgay Fraşerli
- 5 yıl önce
- İzleme sayısı:
Transkript
1 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 bu cümlelerin nasıl biçimselleştirilebileceğini) göstererek ve sonra bu dil için olan dilbilgisi kurallarını (oluşturma kuralları) açıkça tayin etmek suretiyle bu dilin sözdizimini (sentaksını) inceleyeceğiz. Sembolleştirme işlemi bir Türkçe cümleyi veya kanıtlamayı, cümle harfleri ve mantıksal operatörlerden oluşmuş bir yapı olan bir cümle biçimine veya bir kanıtlama biçimine dönüştürür. Cümle harfleri kendi başına alındıklarında bir anlamları yoktur, fakat özel bir meseleye/konuya dair bağlamda belirli önermeleri veya yargıları ifade ediyor olarak yorumlanırlar. Bununla beraber bu yorumlama, biçimin kendisine kıyasla özsel değildir. Farklı bir mesele/konu söz konusu olduğunda aynı cümle harfleri farklı yargıların yerini tutabilir. Bir cümle harfinin anlamı, mevcut mesele/konu tarafından belirlenen özel yoruma göre tayin edilmiş olan anlamdır. Basit Türkçe cümlelerin sembolleştirimi oldukça kolaydır. Eğer bir cümle harfi olan P yi mesela Bugün Pazartesidir olarak yorumlarsak bu durumda Bugün Pazartesi değildir cümlesi basitçe P olarak sembolleştirilir. Ama Türkçe cümlelerin birden fazla mantıksal operatörler içerdiği durumlarda dikkatli olmak gerekir. Örneğin diyelim ki Bugün hem Pazartesi hem Salı değildir cümlesini sembolleştirmek istiyoruz. Bunun için basitçe P S yazamayız. Buradaki eklemi aynen cebirdeki eksi işareti gibi ifadenin en küçük parçasına uygulanır. Mesela ifadesinde - işareti sadece 1 e uygulanır, dolayısıyla ifadenin tümü 2 sayısını gösterir. Benzer şekilde P S ifadesinde sembolü sadece P harfine uygulanır, dolayısıyla P S ifadesi Bugün Pazartesi değildir ve bugün Salıdır anlamına gelir ki bu bizim söylemek istediğimiz şey değildir. Bununla birlikte, parantezler kullanmak suretiyle eklemin uygulandığı kısmı her durumda genişletmek mümkündür. Mesela cebirdeki örnekte bunu uyguladığımızda - (1 + 3) ifadesini elde ederiz ki bu da - 4 sayısını gösterir. Mantıktaki örnekte ise parantezleri kullanarak P S) ifadesini elde ederiz ki bunun anlamı Bugünün hem Pazartesi hem Salı olduğu doğru değildir olur ve tam olarak bizim söylemek istediğimizi dile getirir. Farklı bir örnek olarak, diyelim ki Ya bugün Pazartesi veya bugün Salı ve seçim günüdür cümlesini sembolleştirmek istiyoruz. Bu bir seçenekli evetlemedir ve burada ikinci seçenek Bugün Salı ve seçim günüdür şeklindeki birlikte evetlemedir. Bu cümle P (S Ç) şeklinde sembolleştirilebilir. Eğer parantezleri kullanmaz ve basitçe P S Ç diye yazarsak bunun anlamı açık olmayacaktır. Çünkü bu ifade bir birlikte evetleme olarak okunabilir ve Bugün Pazartesi veya Salı şeklindeki seçenekli evetleme de bunun birinci müştereği gibi anlaşılabilir, dolayısıyla bu ifade Bugün Pazartesi veya Salı, ve bugün seçim günüdür cümlesini dile getiriyor olur ki bu bizim başlangıçtaki cümlemizden oldukça farklıdır. ÇÖZÜMLÜ ÖRNEK 3.5 Yağmur yağıyor için cümle harfi Y ve Kar yağıyor için cümle harfi K yı kullanarak aşağıdaki her bir Türkçe cümlenin önermeler mantığı dilindeki biçimini yazınız.
2 (a) Yağmur yağıyor. (b) Yağmur yağmıyor. (c) Ya yağmur yağıyor veya kar yağıyor. (d) Hem yağmur yağıyor hem de kar yağıyor. (e) Yağmur yağıyor fakat kar yağmıyor. (f) Hem yağmur yağıyor hem de kar yağıyor olduğu doğru değildir. (g) Eğer yağmur yağmıyor ise kar yağıyor. (h) Eğer yağmur yağıyor ise kar yağıyor olduğu doğru değildir. (i) Eğer kar yağıyor ise yağmur yağıyor olduğu doğru değildir. (j) Eğer ve ancak eğer yağmur yağıyor ise kar yağmıyor. (k) Ne yağmur yağıyor ne de kar yağıyor. (l) Eğer hem kar yağıyor hem de yağmur yağıyor ise kar yağıyor. (m) Eğer yağmur yağmıyor ise hem kar yağıyor hem de yağmur yağıyor olduğu doğru değildir. (n) Ya yağmur yağıyor veya hem kar yağıyor hem de yağmur yağıyor. (o) Ya hem yağmur yağıyor hem de kar yağıyor veya kar yağıyor ama yağmur yağmıyor. ÇÖZÜM (a) Y. (b) Y. (c) Y K. (d) Y K. (e) Y K. (f) (Y K). (g) Y K. (h) (Y K). (i) (K Y). (j) Y K. (k) (Y K) veya Y K; bu iki biçim de eşdeğerdir ve her ikisi de doğrudur. (l) (K Y) K. (m) Y (K Y). (n) Y (K Y). (o) (Y K) K Y). Dikkat ediniz ki bu biçimler şu üç sembol kümesi kullanılarak oluşturulmuştur: Cümle harfleri: Herhangi bir büyük harf bir cümle harfi olarak kullanılabilir. Bazı hallerde bunların altına rakamlar eklemek suretiyle ilave cümle harfleri elde edebiliriz. Buna göre S 1, S 2, S 3, vb. gibi harflerin hepsi S ten ayrı birer cümle harfidir. Mantıksal operatörler (eklemler):,,,, Parantezler: (, )
3 Bu üç sembol kümesi önermeler mantığı dilinin sözcük dağarcığını oluştururlar. Bir biçimsel dilin sözcük dağarcığı genellikle mantıksal semboller ve mantıksal-olmayan semboller diye ikiye ayrılır. Bizim biçimsel dilimizin mantıksal sembolleri mantıksal operatörler ve parantezlerdir; mantıksalolmayan sembolleri ise cümle harfleridir. Anlamları bağlamdan bağlama değişen cümle harflerinden farklı olarak, mantıksal sembollerin yerine getirdikleri işlev veya yorumlanmaları daima sabittir, değişmez. Önermeler mantığı diline ait bir biçim, bir öğeler dizisidir öyle ki bu öğeler bu söz dağarcığı içinden seçilmiştir. Bu yüzden örnek 3.5 teki cevapların hepsi de birer biçimdir, fakat şunun gibi, (( (P anlamsız diziler de birer biçimdir. İşte böyle anlamsız dizileri anlamlı biçimlerden ayırmak için dilbilgisine uygun veya dilbilgisel dediğimiz iyi-kurulmuş biçim kavramını ileri süreceğiz ve bunu kısaca ikb ile göstereceğiz. Bu kavram, oluşturma kuralları denen ve bu biçimsel dilin dilbilgisini meydana getiren aşağıdaki kurallara göre tanımlanmıştır. Bu kurallardaki her bir Yunanca harf, bu biçimsel dilin söz dağarcığına ait değildir ve bir biçimin yerini tutmaktadır. (1) Herhangi bir cümle harfi bir ikb dir. (2) Eğer Φ bir ikb ise Φ de bir ikb dir. (3) Eğer Φ ve Ψ birer ikb ise (Φ Ψ), (Φ Ψ), (Φ Ψ), (Φ Ψ) de birer ikb dir. Bu kurallara uymayan bir biçim bir ikb değildir. Karmaşık ikb ler basit olanlara bu kuralların tekrar tekrar uygulanması ile oluşturulurlar. Mesela kural (1) gereği P ve Q birer ikb dir. Bu durumda kural (3) gereği (P Q) bir ikb olur. Buradan da kural (2) gereği (P Q) bir ikb olur. Veya mesela kural (1) gereği P bir ikb dir ve dolayısıyla kural (2) gereği P bir ikb olur ve yine kural (2) gereği P bir ikb olur. Aslında istediğimiz kadar değilleme sembolünü arka arkaya ekleyerek bir ikb oluşturabiliriz: P bir ikb dir. Dikkat ediniz ki kural (3) gereği, ne zaman bir ikili operatör eklersek buna karşılık gelen bir çift parantezi de eklememiz icap etmektedir. Bu yüzden (P Q) bir ikb iken mesela P Q bir ikb değildir. Bununla birlikte her şeyi içine alan parantezler biçimin anlamını daha açık hale getirmezler, dolayısıyla en dıştaki parantezleri kullanmak gerekmeyebilir, ama resmi olarak (kurallar gereği) kullanmak gerekir. Bu yüzden kurallar gereği 3.5 (c) deki Y K biçimi resmi olarak (Y K) şeklinde yazılmalıdır. En dıştaki parantezlerin dikkate alınmaması oluşturma kurallarını izin verdiği tek istisnadır. ÇÖZÜMLÜ ÖRNEK 3.6 Oluşturma kurallarını kullanarak aşağıdaki biçimlerden hangilerinin birer ikb olduğunu ve hangilerinin olmadığını saptayınız ve nedenini açıklayınız. (a) R. (b) ( R). (c) PQ. (d) P Q. (e) (P Q). (f) (P Q).
4 (g) ((P Q) R). (h) (P Q) R. (i) P Q). (j) ((P Q) R S)). (k) ((P) Q)). (l) (P Q R). (m) P Q R)). (n) P Q R)). (o) (P P). ÇÖZÜM (a) İkb. Çünkü R bir ikb ise kural (2) üç defa uygulanarak R elde edilir. (b) İkb değil. Parantezler sadece ikili operatörler ile birlikte eklenir. (c) İkb değil. İki veya daha fazla cümle harfi ancak bir ikili operatör ile birlikte bir ikb oluşturur (kural (3)). (d) Resmi olarak bir ikb değil. Dış parantezler kullanılmamış. Ama böyle biçimleri gayrı resmi olarak kullanabiliriz. (e) İkb. P ve Q birer ikb, o halde kural (3) gereği (P Q) bir ikb dir. (f) İkb. (e) ye kural (2) nin uyguanması. (g) İkb. P, Q ve R kural (1) gereği birer ikb dir. Kural (3) gereği (P Q) bir ikb olur ve ikinci defa kural (3) uygulandığında ((P Q) R) elde edilir. (h) Resmi olarak bir ikb değil. (i) İkb. P ve Q kural (1) gereği birer ikb dir. Kural (2) gereği P ve Q birer ikb olur ve bu sefer kural (3) gereği ( P Q) bir ikb olur ve son olarak kural (2) gereği ( P Q) bir ikb olur. (j) İkb. P, Q, R ve S kural (1) gereği birer ikb dir. O halde kural (3) gereği (P Q) ve (R S) birer ikb dir ve yine kural (3) gereği ((P Q) (R S)) bir ikb olur. (k) İkb değil. Kurallar cümle harflerini parantez içine almaya izin vermiyor. (l) İkb değil. Kural (3) her seferinde yalnızca iki cümle harfini birleştirmeye izin veriyor. (m) İkb. P, Q ve R kural (1) gereği birer ikb dir. O halde kural (2) gereği P bir ikb ve kural (3) gereği (Q R) bir ikb olur. Yine kural (3) gereği ( P (Q R)) bir ikb olur. (n) İkb. (m) den P ve (Q R) nin birer ikb olduklarını biliyoruz. O halde kural (3) gereği (P (Q R)) bir ikb ve kural (2) gereği (P (Q R)) bir ikb olur. (o) İkb. P kural (1) gereği bir ikb dir. O halde kural (3) gereği (P P) bir ikb ve buna kural (2) nin iki defa uygulanması ile (P P) bir ikb olur. Cümle harfleri birer atomik ikb dir, diğer bütün ikb ler birer molekül veya bileşik ikb dir. Bir altikb bir ikb nin kendi de bir ikb olan bir kısmıdır. Demek ki (P Q) daki P bir altikb dir ve R ifadesinde R bir altikb dir. Her ikb kendisinin bir altikb si olarak kabul edilir.
5 ÇÖZÜMLÜ ÖRNEK 3.7 Aşağıdaki kanıtlamaları yatay gösterim kullanarak ve belirtilen cümle harflerini kullanarak sembolleştiriniz. Öncülleri ve sonuçları saptamak için çıkarım belirticilerinden faydalanınız. En dış parantezleri dikkate almayınız. (a) Eğer Tanrı varsa hayatın bir anlamı var. Tanrı var. O halde hayatın bir anlamı var. (H, T) (b) Tanrı yok. Çünkü eğer Tanrı varsa hayatın bir anlamı vardır. Oysa hayatın bir anlamı yok. (T, H) (c) Eğer uçak düşmemiş olsaydı onunla daha önce telsiz teması kurabilirdik. Onunla daha önce telsiz teması kuramadık. O halde uçak düşmüştür. (D: düşmüş, T) (d) Bugün Perşembe olmadığı için Cuma olmalı. Çünkü bugün ya Perşembedir veya Cuma. (P, C) (e) Eğer bugün Perşembe ise yarın Cumadır. Eğer yarın Cuma ise yarından sonraki gün Cumartesidir. Sonuç olarak, eğer bugün Perşembe ise yarından sonraki gün Cumartesidir. (P, C 1, C 2 ) (f) Maç, bir hafta sonunda olacak, eğer ve ancak eğer maç ya bir Cumartesi veya bir Pazar günü olacaksa. O halde, maç bir hafta sonunda olacak, zira maç bir Pazar gününde olacak. (H, C, P) (g) Maç bir hafta sonunda olacak eğer maç ya bir Cumartesi veya bir Pazar gününde olacaksa. Fakat maç bir hafta sonunda olmayacak. Dolayısıyla maç bir Cumartesi gününde olmayacak ve maç bir Pazar gününde olmayacak. (H, C, P) (h) Maç bir hafta sonunda olacak ancak eğer maç ya bir Cumartesi veya bir Pazar gününde olacaksa. Maç bir Cumartesi gününde olmayacak. Maç bir Pazar gününde olmayacak. O halde, maç bir hafta sonunda olmayacak. (H, C, P) (i) Bağış teklifinin olduğu zarf postada. Eğer zarf Cumaya kadar bilirkişilerin eline geçerse teklife onay verecekler. O halde, teklife onay verecekler, zira eğer teklif zarfı postada ise, zarf Cumaya kadar ellerine geçecektir. (P, C, O) (j) O ya evde değil veya telefona cevap vermiyor. Fakat eğer evde değilse birileri tarafından kaçırılmıştır. Ve eğer telefona cevap vermiyorsa başka bir tehdit var demektir. O halde, o ya birileri tarafından kaçırılmıştır veya başka bir tehdit altındadır. (E, C, K, T) ÇÖZÜM (a) T H, T H (b) T H, H T (c) D T, T D (d) P C, P C (e) P C 1, C 1 C 2 P C 2 (f) H (C P), P H (g) C P H, H C P (h) H (C P), C P H (i) P, C O, P C O
6 (j) E C, E K, C T K T 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), bu deyimin içinde geçtiği cümlelerin doğruluk ve yanlışlığına yaptığı katkıdır. Bir yargının doğruluk veya yanlışlığına o yargının doğruluk değeri denir. Yani bir mantıksal operatörün semantiği, bu operatörü içeren bileşik yargının doğruluk değerini tayin eden kural ile verilir. Semantik kuralları betimlerken ikideğerlilik ilkesini kabul edeceğiz. Yani sadece iki doğruluk değeri vardır: Doğru ve Yanlış. Her durumda, her yargı bu değerlerden yalnız birine sahip olabilir: ya doğrudur veya yanlış. Klasik mantık (burada sunulan mantık) iki değerli bir mantıktır. Değillemenin semantiği basittir. ɸ yargısının değillemesi, yargının kendisi yanlış ise doğru, doğru ise yanlıştır. Bu yargı ister basit isterse bileşik olabilir. Bundan böyle doğru için D ve yanlış için Y kullanacağız. Değillemenin semantiği şu şekilde özetlenir: ɸ D Y ɸ Y D Bu gösterime doğruluk tablosu denir. Birlikte evetlemenin semantiği de benzer şekilde basit ve dolambaçsızdır: φ ψ ɸɅψ D D D D Y Y Y D Y Y Y Y Birlikte evetleme iki yargıyı işleme soktuğu için burada olası dört durum vardır.
7 Seçenekli evetlemede ise seçeneklerden birinin doğru olması durumunda biçimsel ifade doğru, diğer durumlarda yanlıştır: φ ψ ɸVψ D D D D Y D Y D D Y Y Y Koşul operatörü, diğerleri içinde günlük dildeki anlamına en az benzerlik gösterenidir. Önbileşen ile ardbileşen arasındaki ilişkinin farklı olduğu birden çok türde koşullunun bulunduğu kabul edilmektedir. Bizim burada kullandığımız ve işaretiyle gösterdiğimiz koşulluya maddi koşul denir. P Q ile tam olarak ifade edilen şudur: P-olduğu ve Q-olmadığı doğru değildir. Dolayısıyla bir kişi Eğer Özlem giderse, Olcay da gidecek cümlesini maddi koşul anlamında söylüyorsa, Özlem in gittiği halde Olcay ın gitmeyeceği bir durumun söz konusu olmadığını demek istemektedir. Bu yargı (PɅ Q) biçimine sahiptir ve P Q ile aynı anlama sahip olduğu için ikisi de tamamen aynı doğruluk koşullarına sahiptir.o halde, P Q için olan doğruluk tablosunu, (PɅ Q) için olan doğruluk tablosunu bularak oluşturabiliriz. Bunu, ~ ve Ʌ için olan doğruluk tablolarını kullanarak yapabiliriz. Bileşik/karmaşık bir ikb için bir doğruluk tablosu oluştururken, önce onun en küçük altikb lerinin doğruluk değerlerini hesaplarız ve sonra mantıksal operatörleri kullanarak daha uzun altikb lerin doğruluk değerlerini hesaplarız ve bu işlemi başlangıçtaki ikb nin tam halinin değerlerini elde edene kadar tekrarlarız. (PɅ Q) nin en küçük altikb leri P ve Q dur ve dolayısıyla bu cümle harfleri için olan sütunları, bu harflerin biçim içinde her tekrar edildikleri yerin altına kopyalarız: P Q (P Ʌ Q) D D D D D Y D Y Y D Y D Y Y Y Y
8 Bundan sonraki en küçük al kb Q dur. Q nun doğruluk değerleri Q nun tam tersidir; bunları Q daki, ~ in altına yazarız: P Q (P Ʌ Q) D D D Y D D Y D D Y Y Y Y Y D Y Y Y D Y Aslında Q sütununun değilini alıp doğrudan Q nun altına yazmak suretiyle zaman kazanabilirdik. Şimdi PɅ Q biçimi bir birlikte evetleme olduğu için her iki müşterek de doğru olduğunda doğrudur. Bunun sağlandığı tek durum tablonun ikinci satırıdır. Bu biçim tablonun ikinci satırında doğru diğer satırlarda yanlıştır: P Q (P Ʌ Q) D D D Y Y D D Y D D D Y Y Y Y Y Y D Y Y Y Y D Y Son olarak, (PɅ Q) biçimi, PɅ Q biçiminin değilidir; bunlardan ilkinin doğruluk değerleri Ʌ nin altındaki sütundur ve bunların tersini ~ in altına yazarız. Bu son yazdığımız değerlerin, biçimin bütününün doğruluk değerleri olduğunu belirtmek için onları çember içine alırız: P Q ( P Ʌ Q ) D D D D Y Y D D Y Y D D D Y Y Y D Y Y Y D Y Y D Y Y D Y
9 Demek ki maddi koşullunun doğruluk tablosu şudur: φ ψ ɸ ψ D D D D Y Y Y D D Y Y D Maddi koşullu önbileşen doğru ve ardbileşen yanlışken yanlıştır, diğer hallerde doğrudur. Demek ki önbileşenin yanlış olduğu her durumda doğrudur. Ardbileşenin doğru olduğu her durumda da doğrudur. Sonuç olarak maddi koşullu bizde biraz çelişik bir sezgi yaratır. Mesela Eğer sen ölü isen, sen hayattasın cümlesi, buradaki sen size ve Eğer ise deyimi de maddi koşulluya işaret ediyorsa doğru olmaktadır. Siz gerçekten hayatta olduğunuz için önbileşen yanlış ve ardbileşen de doğru olmaktadır ki bu da koşullunun bütününü doğru yapmaktadır. Böyle acayiplikler, maddi koşullu ile, günlük dilde olağan anlamda kullanılan koşullu cümleler arasındaki orantısızlığı açığa çıkarmaktadır. Yine de maddi koşullu şimdilik bilinen ve anlamı bir doğruluk tablosu ile gösterilebilen en basit koşulludur. Ayrıca, edinilen tecrübeler, maddi koşullunun pek çok mantıksal ve matematiksel maslahatlara uygun geldiğini göstermiştir, bu yüzden mantık ve matematikte standart koşullu olarak benimsenmiştir. Daha önce gördüğümüz üzere P Q biçimindeki yargı (P Q) (Q P) ile aynı anlama gelmektedir ve buradaki maddi koşullunun sembolüdür. Bununla uygun şekilde sembolüne maddi karşılıklı koşullu denilir. O halde P Q için doğruluk tablosu, maddi koşullu ve birlikte evetlemenin tablolarından hareketle (P Q) (Q P) için doğruluk tablosu oluşturarak elde edilebilir. P ve Q harflerinin altındaki sütunları bu harflerin her geçtiği yere aynen yazarız: P Q (P Q) (Q P) D D D D D D D Y D Y Y D Y D Y D D Y Y Y Y Y Y Y Şimdi P Q ve Q P için doğruluk değerleri, maddi koşullu için mevcut olan doğruluk tablosuna bakılarak hesaplanabilir. Bir maddi koşullu, önbileşeni doğru ve ardbileşeni yanlış iken yanlıştır; diğer hallerde doğrudur. Demek ki P Q ikinci satırda ve Q P üçüncü satırda yanlıştır ve her iki ifade de diğer satırlarda doğrudur. Bu doğruluk değerlerini sembolünün geçtiği yerlerin altına yazarız:
10 P Q (P Q) (Q P) D D D D D D D D D Y D Y Y Y Y D Y D Y D D D D Y Y Y Y D Y Y D Y Tabloyu tamamlamak için bütün bir birlikte evetlemenin doğruluk değerlerini P Q ve Q P nin değerlerini kullanarak hesaplarız. Bunları da sembolünün altına yazarız: P Q (P Q) (Q P) D D D D D D D D D D Y D Y Y Y Y Y D Y D Y D D Y D D Y Y Y Y D Y D Y D Y Çember içine alınmış değerler karşılıklı koşullunun doğruluk tablosunu gösterirler. Demek ki karşılıklı koşullu, eğer her iki bileşeni de aynı doğruluk değerine sahipse doğru, bunun dışında yanlıştır: φ ψ ɸ ψ D D D D Y Y Y D Y Y Y D Aslında, semantik kuralları bu şekilde tanımlanmış olan bütün bu operatörleri kullanmak zorunlu değildir; sadece, ile kullanarak diğer bütün mantıksal operatörleri ifade etmek mümkündür. Bu beş tane operatörü muhafaza etmemiz ve kullanmaya devam etmemiz açıklık ve notasyonda kolaylık sağlamak içindir. Hatta sembolünün yanında ile sembollerinden tek başına bir tanesi bile yeterlidir. Zira P Q ifadesi P-değil ve Q-değil olduğu doğru değildir anlamına gelmektedir ki bu da ( P Q) olarak gösterilebilir. Aynı şekilde P Q ifadesi de P-değil veya Q- değil olduğu doğru değildir demektir ve ( P Q) olarak gösterilebilir. Değillemenin yanında birlikte evetleme veya seçenekli evetlemeye sahip olduğumuzda bütün diğer mantıksal operatörleri (en azından, anlamı bir doğruluk tablosu ile dile getirilebilen her mantıksal operatörü) ifade etmenin mümkün olduğu gösterilebilir. Söz konusu operatörlerin bu durumuna, bu mantıksal operatörler kümesinin işlevsel tamlığı denilmektedir. ÇÖZÜMLÜ ÖRNEK 3.8 Türkçe deki ne ne de deyimine ayrı bir mantıksal operatörün gerekli olmadığını, çünkü, ne P ne de Q ifadesinin elde mevcut operatörler kullanılarak biçimselleştirilebilir olduğunu gösteriniz.
11 ÇÖZÜM ne P ne de Q şeklindeki bir cümle hem P hem Q yanlış olduğunda doğru olmaktadır. Demek ki P ve Q doğru iseler, yani ( P Q) doğru ise bu cümle doğru olmaktadır. Dolayısıyla bu deyim için fazladan özel bir operatör gerekli değildir: değilleme ve birlikte evetleme yeterlidir. ne P ne de Q için bir diğer olası gösterim de (P Q) biçimindedir ki sadece değilleme ile seçenekli evetlemeyi kullanır.
ÇÖ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ı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ıÇö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ı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ı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ı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ıKategorik Yargılar. Bazı dört ayaklı hayvanlar antiloptur. Tüm antiloplar otçuldur. Bazı dört ayaklı hayvanlar otçuldur.
Kategorik Yargılar Önermeler mantığı sadece doğruluk değeri işlemlerini (doğruluk değerinin saptanmasını) ve bununla ilgili operatörleri (önerme eklemlerini) göz önüne alır. Söz konusu bu doğruluk fonksiyonu
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ı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ıYüklemler Mantığında Çözümleyici Çizelgeler (Çürütme Ağaçları)
Yüklemler Mantığında Çözümleyici Çizelgeler (Çürütme Ağaçları) Daha önce kanıtlamaların geçerliliği üzerine söylenenlerden hatırlanacağı gibi, bir kanıtlamanın geçerli olabilmesi için o kanıtlamadaki öncüller
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ı(2) Mona Lisa tablosunu yapan ya Rembrandt tı veya Michelangelo ydu. O tabloyu Rembrandt yapmadı. Michelangelo yaptı.
Kanıtlama Biçimleri Buradan itibaren biçimsel mantığı ele almaya başlıyoruz. Biçimsel mantık kanıtlamaların biçimini inceler, pek çok kanıtlamanın ortaklaşa paylaştığı akıl yürütmelere dair kimi soyut
DetaylıÖ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ı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ı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ı6.8 Aşağıdaki biçimlerin neden birer ikb olmadıklarını açıklayınız.
6.7 x ( Fx zgzx) biçiminin bir ikb olduğunu gösteriniz. Kural 1 gereği Fa ve Gba birer ikb dir. Bu durumda, kural 2 ve 4 gereği, sırasıyla Fa ve zgza birer ikb dir. Bu iki biçime kural 3 ün uygulanması
DetaylıEditörler Prof.Dr.Işıl Bayar Bravo & Doç.Dr.Mustafa Yıldız MODERN MANTIK
Editörler Prof.Dr.Işıl Bayar Bravo & Doç.Dr.Mustafa Yıldız MODERN MANTIK Yazarlar Prof.Dr.Hüseyin Subhi Erdem Prof.Dr.Işıl Bayar Bravo Doç. Dr.Aytekin Özel Doç. Dr.Mustafa Yıldız Yrd.Doç.Dr.Abdullah Durakoğlu
DetaylıSEMBOLİK MANTIK MNT102U
DİKKATİNİZE: BURADA SADECE ÖZETİN İLK ÜNİTESİ SİZE ÖRNEK OLARAK GÖSTERİLMİŞTİR. ÖZETİN TAMAMININ KAÇ SAYFA OLDUĞUNU ÜNİTELERİ İÇİNDEKİLER BÖLÜMÜNDEN GÖREBİLİRSİNİZ. SEMBOLİK MANTIK MNT102U KISA ÖZET KOLAY
DetaylıMantıksal İşlemler. 7.1 true, false, nil
7 Mantıksal İşlemler 7.1 true, false, nil Doğru ya da Yanlış değer alan önermelere (ifadelere) mantıksal (logic) deyimler ya da boolean deyimler denilir ([5]). Bir çok dilde mantıksal işlemler true ve
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ı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ı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ı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ıToplama işlemi için bir ikili operatör olan artı işareti aynı zamanda tekli operatör olarak da kullanılabilir.
www.csharpturk.net Türkiye nin C# Okulu Yazar Yunus Özen Eposta yunus@yunus.gen.tr Tarih 08.04.2006 Web http://www.yunusgen.tr ARİTMETİK OPERATÖRLER VE KULLANIM ŞEKİLLERİ Bilgisayarlar yapıları gereği,
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ıMODERN MANTIK DERS NOTLARI
1 ERZURUM TEKNİK ÜNİVERSİTESİ EDEBİYAT FAKÜLTESİ FELSEFE BÖLÜMÜ DERS NOTLARI ERZURUM-2015 2 I. MODERN MANTIĞA GİRİŞ 1. Modern Mantık ve Semiyotik Nedir? Modern Mantık (Sembolik Mantık): Önermeleri ve çıkarımları
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ı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ıVenn Diyagramları Kategorik önermelerle ilgili işlemlerde kümeler arası ilişkileri göz önüne almak bu konuda bize yardımcı olur. Bir kategorik önerme, kesişen iki daire ile temsil edilir ve buradaki daireler
DetaylıVeritabanı Tasarımı. SQL Deyimi Anatomisi
Veritabanı Tasarımı SQL Deyimi Anatomisi Amaç Bu ders aşağıdaki hedefleri kapsamaktadır: Projeksiyon (projection), seçim (selection) ve birleştirme (join) ifadelerini doğru fonksiyonları/yetenekleri ile
DetaylıBM202 AYRIK İŞLEMSEL YAPILAR. Yrd. Doç. Dr. Mehmet ŞİMŞEK
BM202 AYRIK İŞLEMSEL YAPILAR Yrd. Doç. Dr. Mehmet ŞİMŞEK Derse Genel Bakış Dersin Web Sayfası http://www.mehmetsimsek.net/bm202.htm Ders kaynakları Ödevler, duyurular, notlandırma İletişim bilgileri Akademik
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ıVeritabanı Tasarımı. Sütunlar, Karakterler ve Satırlar ile Çalışma
Veritabanı Tasarımı Sütunlar, Karakterler ve Satırlar ile Çalışma Amaç Bu ders aşağıdaki hedefleri kapsamaktadır: Bir karakter ifadesi oluşturmak için diğer sütunları, aritmetik ifadeleri ya da sabit değerleri
Detaylıİnternet Programcılığı Öğr. Gör. Serkan AKSU PHP de Dizi-Değişkenler, Nesneler. Dizi Oluşturma. Tek Boyutlu Diziler
PHP de Dizi-Değişkenler, Nesneler Dizilerle ilgili örneklere geçmeden önce aşağıdaki tabloyu inceleyelim. Tabloda dizi kavramının mantığı açıklanmaktadır. Tablonun tamamını bir dizi olarak düşünün ve bu
Detaylı( ) (, ) Kombinasyon. Tanım: r n olmak üzere n elemanlı bir kümenin r elemanlı her alt kümesine bu n elemanın r li kombinasyonu denir.
Kombinasyon Tanım: r n olmak üzere n elemanlı bir kümenin r elemanlı her alt kümesine bu n elemanın r li kombinasyonu denir. n elemanın tüm r li kombinasyonlarının sayısı; (, ) C n r ( ) r n P n, r n!
DetaylıBir önermenin anlamlı olması onun belli bir doğruluk değeri taşıması demektir. Doğru bir önerme de yanlış bir önerme de anlamlıdır.
1 FEL 201: KLAİK MANTIK DER NOTLARI-2 KONU: ÖNERME ÖNERMENİN DOĞAI Önerme, yargı bildiren/belirten cümledir. Yargı bildirmeyen/belirtmeyen cümle örnekleri: oru cümleleri, emir cümleleri, ünlem cümleleri
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ıVeri Tabanı Yönetim Sistemleri Bölüm - 4
Veri Tabanı Yönetim Sistemleri Bölüm - 4 İçerik SQL e Giriş. SQL Yapısal Sorgulama Dili. Temel SQL Komutları: Sorgulama İşlemleri SELECT deyiminin temel yapısı Seçme İşlemi Atma İşlemi Aritmetik İfadelerin
DetaylıKüme Temel Kavramları
Kümeler Kümeler Küme, matematiksel anlamda tanımsız bir kavramdır. Bu kavram "nesneler topluluğu veya yığını" olarak yorumlanabilir. Bu tanımdaki "nesne" soyut ya da somut bir şeydir; fakat her ne olursa
DetaylıBÖLÜM 3 OPERAT A ÖRLER - 19 -
BÖLÜM 3 OPERATÖRLER - 19 - 3.1 Operatörler Hakkında Yukarıdaki örnekleri birlikte yaptıysak = işaretini bol bol kullandık ve böylece PHP'nin birçok operatöründen biriyle tanıştık. Buna PHP dilinde "atama
DetaylıFORMÜLLER VE FONKSİYONLAR
C FORMÜLLER VE FONKSİYONLAR Konuya Hazırlık 1. Excel de formül kullanmanın faydalarını açıklayınız. Formüller, bir sayfadaki verileri kullanarak işlem yapan denklemlerdir. Bir formülde, aynı sayfadaki
Detaylı.docx veya.doc (2007 ve üzeri sürümlerde.docx iken sürümlerinde.doc tur.) 1.Belge Başlığı
MİCROSOFT WORD (KELİME İŞLEMCİ) Dosya Uzantısı.docx veya.doc (2007 ve üzeri sürümlerde.docx iken 1997 2003 sürümlerinde.doc tur.) Genel Ekran Görünümü 1.Belge Başlığı 2.Sekmeler 3.Sekme Şeridi 5.Cetveller
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ı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ıECEM ERDURU GAMZE SERİN ZEHRA SABUR EMİNE ÖLMEZ. o TAMSAYILAR KONUSU ANLATILMAKTADIR
ECEM ERDURU GAMZE SERİN ZEHRA SABUR EMİNE ÖLMEZ o TAMSAYILAR KONUSU ANLATILMAKTADIR Sıfırın sağındaki sayılar pozitif tam sayılar, sıfırın solundaki sayılar negatif tam sayılardır. Pozitif tam sayılar,
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ıPHP, nesne-yönelimli (object-oriented) bir dil olduğu için, nesne oluşturma imkânına ve bunların kullanılmasını sağlayan metodlara da sahiptir.
PHP'nin Temelleri PHP Nedir? PHP, bir programlama dili olarak, değişkenler, değişkenlerin değerleriyle bir işlem yapmayı sağlayan işlemciler (operatörler), işlemcilerle oluşturulan deyimler ve nihayet
DetaylıExcel de çalışma alanı satır ve sütunlardan oluşur. Satırları rakamlar, sütunları ise harfler temsil eder. Excel çalışma sayfası üzerinde toplam
Microsoft Excel Microsoft Office paket programı ile bizlere sunulan Excel programı bir hesap tablosu programıdır. her türlü veriyi tablolar yada listeler halinde tutmak ve bu veriler üzerinde hesaplamalar
DetaylıEXCEL 2007 ELEKTRONİK ÇİZELGE
EXCEL 2007 ELEKTRONİK ÇİZELGE Excel, Microsoft Office paketinde yer alan ve iş hayatında en sık kullanılan programlardandır. Bir hesap tablosu programıdır. Excel, her türlü veriyi (özellikle sayısal verileri)
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ıBilgisayar Programlama MATLAB
What is a computer??? Bilgisayar Programlama MATLAB Prof. Dr. İrfan KAYMAZ What Konular is a computer??? MATLAB ortamının tanıtımı Matlab sistemi (ara yüzey tanıtımı) a) Geliştirme ortamı b) Komut penceresi
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ıGünümüz bilgi toplumunda bilgisayar, her alanda kendine yer edinmiş ve insana, bir çok işlemde yardımcı olarak büyük kolaylık sağlamaktadır.
I. GİRİŞ Günümüz bilgi toplumunda bilgisayar, her alanda kendine yer edinmiş ve insana, bir çok işlemde yardımcı olarak büyük kolaylık sağlamaktadır. İnsanların elle yaptığı ve yapmakta olduğu bir çok
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ı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ıSAB 103 TEMEL BİLGİSAYAR KULLANIMI
SAB 103 TEMEL BİLGİSAYAR KULLANIMI Kelime İşlemci - Word Prof.Dr. Fatih TANK Ankara Üniversitesi Uygulamalı Bilimler Fakültesi Sigortacılık ve Aktüerya Bilimleri Bölümü Prof.Dr. Fatih TANK - Temel - Ders
DetaylıİÇERİK PROGRAMLAMAYA GİRİŞ ALGORİTMA AKIŞ DİYAGRAMLARI PROGRAMLAMA DİLLERİ JAVA DİLİNİN YAPISI JAVA DA KULLANILAN VERİ TİPLERİ JAVA DA PROGRAM YAZMA
İÇERİK PROGRAMLAMAYA GİRİŞ ALGORİTMA AKIŞ DİYAGRAMLARI PROGRAMLAMA DİLLERİ JAVA DİLİNİN YAPISI JAVA DA KULLANILAN VERİ TİPLERİ JAVA DA PROGRAM YAZMA BÖLÜM-II ALGORİTMA I. GİRİŞ Bilgisayar dünyasında, insanın
DetaylıC PROGRAMLAMA YRD.DOÇ.DR. BUKET DOĞAN PROGRAM - ALGORİTMA AKIŞ ŞEMASI
C PROGRAMLAMA DİLİ YRD.DOÇ.DR. BUKET DOĞAN 1 PROGRAM - ALGORİTMA AKIŞ ŞEMASI Program : Belirli bir problemi çözmek için bir bilgisayar dili kullanılarak yazılmış deyimler dizisi. Algoritma bir sorunun
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ı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ıSql Komutlarından Select Sorgusu Ve Myadmin Üzerinden Anlatımı
Myadmin Üzerinden Anlatımı Bir Tablonun Farklı İsimlerdeki Eşdeğerleri İle Sorgulama Daha önceden tanımlanmış bir tablonun, farklı isimli, bir eşdeğerini oluşturarak sorgulamalarda kullanmak mümkün olabilir.
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 İyi Sıralama 5 Bibliography 13 1 İyi Sıralama Well Ordering İyi sıralama kavramı, doğal sayıların
DetaylıMS WORD 6. BÖLÜM. Başvurular sekmesindeki seçenekler Şekil 3.127 de görülmektedir. Şekil 3. 127. Başvurular Sekmesi
MS WORD 6. BÖLÜM Bölüm Adı: BAŞVURULAR Bölümün Amacı: Başvurular sekmesini kullanmak. Neler Öğreneceksiniz? Bu bölümü bitiren kişi: 1. Belgeye içindekiler tablosu oluşturabilir. 2. Belge içinde dipnot
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 Operatörler 5 Bibliography 19 Index 23 1 Operatörler İşlemler 1.1 Operatör Nedir? İlkokulden
DetaylıVeritabanı. SQL (Structured Query Language)
Veritabanı SQL (Structured Query Language) SQL (Structured Query Language) SQL, ilişkisel veritabanlarındaki bilgileri sorgulamak için kullanılan dildir. SQL, bütün kullanıcıların ve uygulamaların veritabanına
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ı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 3.KONU Kümeler Teorisi; Küme işlemleri, İkili işlemler 1. Altküme 2. Evrensel Küme 3. Kümelerin Birleşimi 4. Kümelerin Kesişimi 5. Bir Kümenin Tümleyeni
DetaylıMicrosoft Excel Uygulaması 2
Microsoft Excel Uygulaması 2 Dört Temel İşlem: MS Excel hücrelerinde doğrudan değerlere ya da hücre başvurularına bağlı olarak hesaplamalar yapmak mümkündür. Temel aritmetik işlemlerin gerçekleştirilmesi
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 Bibliography 11 CONTENTS 5 0.1 Kartezyen Çarpım 0.2 Sıralı İkililer Şimdiye kadar sıra ya da
DetaylıBütün parçalar eş olduğundan; 1 buluruz. 4. Boyalı parçalar sayısı 2 Tüm parça sayısı. Cevap: B. Verilen değerleri yerine koyalım.
TYT 018 ÖRNEK SORULAR (ÖSYM-0.1.017) Köklü sayıları, bildiğimiz sayıların kareleri arasında ifade etmeye çalışalım. sayısı 1 ile 4 arasındadır. Yani 1 ve arası. 5 sayısı 4 ile 9 arasındadır. Yani ve arası.
DetaylıVeri Düzenleme - Veri Analizi
. ÜNİTE ARAŞTIRMA SORULARI ÜRETME, VERİ TOPLAMA, DÜZENLEME VE GÖSTERME VERİ ANALİZİ VE YORUMLAMA 65 66 Veri Düzenleme - Veri Analizi ve Yorumlama Veri İşleme Ünite Öğrenelim Veri Düzenleme Veri Sıklık
DetaylıAkış Kontrol Mekanizmaları
Akış Kontrol Mekanizmaları 1 Akış Kontrol Mekanizmaları if else switch for döngüsü for döngüsünün çalışma prensibi for döngüsüyle ilgili örnekler for döngüsüyle ilgili kurallar while döngüsü while döngüsünün
DetaylıMATEMATİK-AKIL OYUNLARI -ÖRNEK SORULAR-
MATEMATİK-AKIL OYUNLARI -ÖRNEK SORULAR- SORU1) 67 sayısından 9 sayısını 6 defa çıkartırsanız sonuç kaç olur? SORU2) 3,3,3,3,3 rakamlarını kullanarak (her rakam bir defa kullanılacak) ve dört işlemi yaparak
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ı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ıBİLGİSAYAR PROGRAMLAMA
BİLGİSAYAR PROGRAMLAMA Yrd. Doç. Dr. Beytullah EREN beren@sakarya.edu.tr 0264 295 5642 BAĞ_DEĞ_SAY ve BAĞ_DEĞ_DOLU_SAY İŞLEVİ BAĞ_DEĞ_SAY İşlevi: :Belirlenen aralıkta sayı içeren hücrelerin kaç tane olduğunu
DetaylıAlgoritma Geliştirme ve Veri Yapıları 9 Ağaç Veri Modeli ve Uygulaması. Mustafa Kemal Üniversitesi
Algoritma Geliştirme ve Veri Yapıları 9 Ağaç Veri Modeli ve Uygulaması Ağaç, verilerin birbirine sanki bir ağaç yapısı oluşturuyormuş gibi sanal olarak bağlanmasıyla elde edilen hiyararşik yapıya sahip
DetaylıCahit Arf Matematik Günleri XIII
Cahit Arf Matematik Günleri XIII 2. Aşama Sınavı 21 Şubat 2015 Süre: 8 saat X bir küme, S, K X birer eleman ve : X X X bir ikili işlem olsun. Eğer her a, b, c X için (K a) b = a ve ((S a) b) c = (a c)
DetaylıAşağıdaki tabloyu inceleyin. Sorgulama işlemlerini bu tabloya göre yapacağız.
Bu Derste Öğrenecekleriniz: Koşullu Sorgulamalar a. Karşılaştırma operatörleri b. Mantıksal operatörlerin kullanımı c. BETWEEN (Arasında) operatörü d. IS NULL Kullanımı e. Küme operatörü (IN) f. LIKE operatörü
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ıMODÜLER ARİTMETİK. Örnek:
MODÜLER ARİTMETİK Bir doğal sayının ile bölünmesinden elde edilen kalanlar kümesi { 0,, } dir. ile bölünmesinden elde edilen kalanlar kümesi { 0,,, } tür. Tam sayılar kümesi üzerinde tanımlanan {( x, y)
DetaylıBMB202. Veritabanı Yönetimi Ders 5. İlişkisel Cebir ve SQL. Erdinç Uzun NKÜ Çorlu Mühendislik Fakültesi Bilgisayar Mühendisliği Bölümü
BMB202. Veritabanı Yönetimi Ders 5. İlişkisel Cebir ve SQL Erdinç Uzun NKÜ Çorlu Mühendislik Fakültesi Bilgisayar Mühendisliği Bölümü Dersin Planı İlişkisel Cebir SQL e Giriş İlişkisel Cebir (Relational
Detaylı2. Aşağıdaki pseudocode ile verilen satırlar işletilirse, cnt isimli değişkenin son değeri ne olur?
Numarası : Adı Soyadı : SINAV YÖNERGESİ İşaretlemelerinizde kurşun kalem kullanınız. Soru ve cevap kağıtlarına numaranızı ve isminizi mürekkepli kalem ile yazınız. Sınavın ilk 30 dakikasında sınıftan çıkılmayacaktır.
DetaylıPython Programlama Dili
Python Programlama Dili 3. Python da Döngüler Bu bölümde iki tane döngüden bahsedeceğiz: while ve for döngüleri. Ayrıca bu bölümde döngüler dışında break ve continue deyimleri ile range() ve len() fonksiyonlarına
DetaylıMAT223 AYRIK MATEMATİK
MAT223 AYRIK MATEMATİK Kombinatoryal Olasılık 5. Bölüm Emrah Akyar Anadolu Üniversitesi Fen Fakültesi Matematik Bölümü, ESKİŞEHİR 2014 2015 Öğretim Yılı Olaylar ve Olasılıklar Kombinatoryal Olasılık Olaylar
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ıSQL (Structured Query Language)
SQL (Structured Query Language) Genel SQL SQL çok yüksek seviyeli bir dildir. Biraz ingilizce bilgisi gerektirir. Programlama dillerine göre öğrenilmesi çok daha kolaydır. Çünkü programlama dillerindeki
DetaylıAşağıdaki şemaya dikkat edin. Sorgulamalarımızı genellikle bu şemaya göre yapacağız.
Bu Derste Öğrenecekleriniz: 1- Birden Fazla Tablodan Sorgulama 2- Tablo Birleştirme işlemleri (JOIN) a. INNER JOIN b. OUTER JOIN i. LEFT OUTER JOIN ii. RIGHT OUTER JOIN iii. FULL OUTER JOIN 3- Tablo Ekleme
DetaylıBİLGİSAYAR PROGRAMLAMA
BİLGİSAYAR PROGRAMLAMA Yrd. Doç. Dr. Beytullah EREN beren@sakarya.edu.tr 0264 295 5642 Excel - Hücreler Excel de hücrelere hangi değerler girilebilir? Metin Rakam Tarih ve Saat Formül 1 HÜCRE SEÇİMİ Matematikteki
DetaylıOLASILIK (Probability)
OLASILIK (Probability) Olasılık, bir olayın meydana gelme, ortaya çıkma şansını ifade eder ve P ile gösterilir. E i ile gösterilen bir basit olayın olasılığı P (E i ), A bileşik olayının olasılığıysa P
DetaylıVERİ TABANI ve YÖNETİMİ
VERİ TABANI ve YÖNETİMİ Maltepe Üniversitesi Bilgisayar Mühendisliği Bölümü 2 BÖLÜM -12- TETİKLEYİCİ (TRIGGER) 3 Giriş Trigger lar Trigger lar Ne Zaman Kullanılmalıdır? Klasik Trigger ların Özellikleri
DetaylıPERMÜTASYON, KOMBİNASYON. Örnek: Örnek: Örnek:
SAYMANIN TEMEL KURALLARI Toplama Kuralı : Sonlu ve ayrık kümelerin eleman sayılarının toplamı, bu kümelerin birleşimlerinin eleman sayısına eşittir. Mesela, sonlu ve ayrık iki küme A ve B olsun. s(a)=
DetaylıVEKTÖR UZAYLARI 1.GİRİŞ
1.GİRİŞ Bu bölüm lineer cebirin temelindeki cebirsel yapıya, sonlu boyutlu vektör uzayına giriş yapmaktadır. Bir vektör uzayının tanımı, elemanları skalar olarak adlandırılan herhangi bir cisim içerir.
DetaylıGRAFİK YORUMLAMA. 1 ) Sütun Grafiği : Belirli bir zaman aralığında bazı veri grup-
GRAFİK YORUMLAMA Verilerin veya karşılaştırılması yapılacak değişkenlerin çizgi, tablo, nokta veya şekillerle ifade edilmesine grafik adı verilir. Grafik türleri olarak; sütun, çizgi, daire, histogram,
DetaylıİÇİNDEKİLER BASİT EŞİTSİZLİKLER. HARFLİ İFADELER Harfli İfadeler ve Elemanları Eşitsizlik Sembolleri ve İşaretin Eşitsizlik İfadesi...
İÇİNDEKİLER HARFLİ İFADELER Harfli İfadeler ve Elemanları... 1 Benzer Terim... Harfli İfadenin Terimlerini Toplayıp Çıkarma... Harfli İfadelerin Terimlerini Çarpma... Harfli İfadelerde Parantez Açma...
DetaylıÖDEV YAZIM YÖNERGESİ
ÖDEV YAZIM YÖNERGESİ Bu yönerge yapılacak her türlü ödev, uygulama raporu, tasarım projeleri raporu, deney raporları vb. için kullanılacaktır. A. YAZIM İLE İLGİLİ GENEL KURALLAR 1. Ödevler A4 (210 x 27
DetaylıTEMEL SAYMA. Bill Gates
Bölüm 1 TEMEL SAYMA YÖNTEMLERİ Firmamızın sahip olduğu tek şey insan düş gücüdür. Bill Gates Bu bölümde fazla kuramsal bilgi gerektirmeyen sayma problemleri üzerinde duracağız. Bu tür problemlerde sayma;
DetaylıA { x 3 x 9, x } kümesinin eleman sayısı A { x : x 1 3,x } kümesinin eleman sayısı KÜMELER
KÜMELER Küme, nesnelerin iyi tanımlanmış bir listesidir. Kümeyi oluşturan nesnelerin her birine kümenin elemanı denir. Kümeler genellikle A, B, C,... gibi büyük harflerle gösterilir. x nesnesi A kümesinin
DetaylıAlgoritma ve Programlamaya Giriş
Algoritma ve Programlamaya Giriş Algoritma Bir sorunu çözebilmek için gerekli olan sıralı ve mantıksal adımların tümüne Algoritma denir. Doğal dil ile yazılabilir. Fazlaca formal değildir. Bir algoritmada
Detaylı: Yetmiş yedi milyon altı yüz doksan beş bin dokuz yüz dört
Matematik Bir Bakışta Matematik Kazanım Defteri Özet bilgi alanları... Doğal Sayılar DOĞAL SAYILARI OKUMA ve YAZMA Türkiye İstatistik Kurumu (TÜİK), adrese dayalı nüfus kayıt sistemi sonuçlarına göre Türkiye
Detaylı