owl (web ontology language, web ontoloji dili)
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…
En uzun Ortak Küme (longest common subsequence, Lcs)
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…
Dinamik Programlama (Dynamic programming)
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….
parçala fethet yöntemi (divide and conquer)
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ı…
de morgan kuralı (de morgan rule)
yazan: Şadi Evren ŞEKER mantıksal devre tasarımı açısından oldukça kullanışlı olan bu kurala göre : (x ve y)’ <=> x’ veya y’ (x veya y)’ <=> x’ ve y’ yani ve kapısıyla bağlı bir devrenin olumsuzu, devrenin giriş değerlerinin olumsuzlarının…
varlık bilim (ontoloji (ontology))
yazan: Şadi Evren ŞEKER ontoloji (varlıkbilim) terim olarak olmak ya da olmamak kavramı üzerinde durur. Yani birşeyin var olup olmamasından, nasıl olduğuna kadar uzanan süreç ontolojidir. Bu anlamda, birşeyin var olup olmaması ile ilgilenen epistomolojinin üzerine, varlıkları gruplayan ve bu…
veya kapısı (or gate)
yazan : Şadi Evren ŞEKER 2 farklı önermeden birisinin gerçekleşmesi durumunu inceleyen kapıdır. Mantıkta buluna veya bağlacı şeklinde çalışır. Bu durumu aşağıdaki örnek üzerinde inceleyelim. Aşağıda iki farklı önerme verilmiştir: 1. üniversitede öğrenci olmak 2. devre analizi yapabilmek bu durum…
Ve kapısı (and gate)
yazan : Şadi Evren ŞEKER 2 farklı önermenin aynı anda gerçekleşmesi durumunu inceleyen kapıdır. Mantıkta buluna ve bağlacı şeklinde çalışır. Bu durumu aşağıdaki örnek üzerinde inceleyelim. Aşağıda iki farklı önerme verilmiştir: 1. üniversitede öğrenci olmak 2. devre analizi yapabilmek bu…
Önermeler (kaziye) Mantığı (Propositional Logic)
yazan: Şadi Evren ŞEKER önerme mantık bilimi açısında anlam taşıyan en ufak olgudur. Örneğin: “insanın iki gözü vardır” bir önermedir. Bu önermelerin gerçek hayattan alınması zorunlu değildir. Örnemenin sonucu, önerildiği gibi gerçekleşirse bu durumda önermenin sonucu olumludur. Aksi durumda, yani…
Alt küme toplamı problemi (subset sum problem)
yazan: Şadi Evren ŞEKER Algoritma teorisinde meşhur problemlerden birisidir. NP-Complete problemlere iyi bir örnektir. Problemin tanımı aşağıdaki şekildedir: verilen eksi ve artı tam sayılar kümesinin herhangi bir alt kümesinin toplamının 0 olduğunu bulmak. Bu problemin kontrol edilmesi oldukça basittir ancak…