Yazan: Şadi Evren ŞEKER Klik yapısının tersi olarak düşünülebilir. Basitçe bir grafta birbiri ile doğrudan bağlantısı olmayan düğümlerin oluşturduğu alt graftır. Yukarıdaki tasvirde iki adet graf verilmiştir. Üstte bütün graf görülmekte altta ise bu grafın bir alt grafı görülmketedir. Dikkat…

Yazan : Şadi Evren ŞEKER Graf teorisinde her iki düğümü birbirine bir kenar ile bağlanmış alt graflara verilen isimdir. Örneğin aşağıdaki grafikte bir klik kırmızı çizgiler ile işaretlenmiştir. Buna göre {A,B,C,D} alt grafı bir kliktir. Sosyal bilimlerde de aynı kelime(klik)…

Yazan: Şadi Evren ŞEKER Bir kaziyeyi (önerme) ispat ederek nazariye (teorem) elde etme yöntemidir. İstikra cüz’îler (tikeller) den küllî (tümel) ye gitme yöntemidir dolayısıyla örneklerden yola çıkarak her zaman için geçerli bir sonuç elde ederek ispat yapılır. Her istikra için…

Yazan: Şadi Evren ŞEKER İstikra lügatte, etraflıca düşünüp araştırma (tetebbu’) anlamına gelir. Bir yöntem olarak ise cüz’îler (tikeller) den küllî (tümel) ye gitme yöntemidir. Mantıkçılara göre istikrâ, küllînin hükmünü vermek için cüz’îler hakkında verilen hükümleri kapsayan önermelerden oluşan bir sözdür….

Yazan : Şadi Evren ŞEKER Çok kullanılan ispat yöntemlerinden birisidir. Buna göre ispatlanmak istenen kaziyenin (önermenin) tersinin yanlışlığı ispat edilirse sonuca ulaşılmış ve bir nazariye (teorem) elde edilmiş demektir. Basit bir günlük örnek şu şekilde verilebilir. Örneğin Ali, Ahmetin kapıdan…

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde kullanılan ispat yöntemlerinden birisidir. Bu yöntemde bir varlığın oluşmasının gösterilmesi hedeflenir.  Örneğin aşağıdaki teoriyi inşaa yöntemi ile ispat edelim: “2’den büyük her çift n sayısı için n düğüm içeren 3-düzenli graf bulunur” Öncelikle…

Yazan : Şadi Evren ŞEKER Bir graf üzerindeki her düğümün “k” kadar komşusu bulunması durumuna k-düzenli graf denilir. Örneğin aşağıdaki graf 2-düzenli bir graftır çünkü her düğümün derecesi 2’dir.

Yazan: Şadi Evren ŞEKER Bilgisayar bilimleri açısından matematiksel olarak ispat edilmişi kaziyeler (önermeler, statements) birer nazariyedir. Bazı kaziyelerin(önermelerin) doğruluğu ise sırf  farklı teorilerin ıspatına yardımcı oluyor diye ıspatlanır. Bu tip kaziyelere (önermelere) ise önkuram (önsav, lemma) adı verilmektedir. Bazı durumlarda…

Yazan: Şadi Evren ŞEKER Bir dilde tanımlı olan ve o dildeki alfabenin üyesi olan semboller ile üretilmiş her dizginin alt dizgisi olabilir. Alt dizgi o dizginin belirli bir kısmına verilen isimdir. Buna göre örneğin boş dizgi her dizginin alt dizgisidir….

  Yazan: Şadi Evren ŞEKER Bir dilde bulunan ve o dilin tanımlı olan alfabesi içerisindeki sembollerin çeşitli sayılarda ve çeşitli sırada dizilmesi ile elde edilen yazılardır. Örneğin bir dildeki alfabe aşağıdaki şekilde tanımlı olsun: ∑1 = {0,1} Buna göre dilimizde…