Yazan: Şadi Evren ŞEKER Mantıksal işlemlerin tahlil edilmesinde kullanılan önemli âletlerden birisidir. Buna göre herhangi bir mantıksal önermenin (kaziye) muhtemel sonuçları bu tablo vasıtasıyla gösterilebilir. Çalışma şekli önermede (kaziye) bulunan giriş değerlerinin bütün muhtemel girişleri için bir satır oluşturmak ve…

Karnaugh haritası (Karnaugh map) Yazan: Şadi Evren ŞEKER Bool cebirinde verilen mantıksal gösterimleri sadeleştirmek için kullanılan haritadır. Buna göre bir mantıksal devrenin eleman sayısını azaltmak için de kullanılabilir. Örneğin 3 girişli (3 adet farklı binary (ikili) giriş değeri (0 veya…

yazan: Şadi Evren ŞEKER Bu dil, web ontolojilerini (varlıkbilimlerini) modellemek ve web üzerinde kullanılan, sınıf ve sınıflar arası ilişkileri işlemek için XML tabanlı çalışan bir dildir. w3c tarafından internet üzerinde geliştirilmekte olan sematic web projesinde kullanılmaktadır. Bir OWL ontolojisinde sınıf…

yazan : Şadi Evren ŞEKER İki küme arasındaki ortak elamanların (sıralı olmak şartıyla) en uzun ortaklığını arar. Örnek: A-> {X,M,J,Y,A,U} B-> {M,Z,J,A,W,X,U} olarak verilmiş olsun. Bu iki kümenin, sırası bozulmadan ortak olan en uzun alt kümesi: LCS -> {M,J,A,U} olarak…

Yazan: Şadi Evren ŞEKER Bir problem tahlil ve çözüm yöntemi olan dinamik programlama yapı olarak parçala fethet yöntemine benzer. Tek farkı problemi parçalara böldükten sonra aynı problemin tekrarı olan parçaları bir kerede çözüp her tekrar için ayrı bir çözüm yapmamasıdır….

yazan: Şadi Evren ŞEKER Bu yöntem algoritma analizinde çok kullanılan, bir algoritmayı tahlil etmek veya yeni bir algoritma oluşturmak için kullanılan yaklaşımlardan birisidir. Bu yaklaşıma göre problem ufak ve çözülmesi nispeten daha kolay olan parçalara bölünür. Her parça ayrı ayrı…