Değişken Tip Bağlama (Dynamic Type Binding, Müteharrik Şekil Bağı)
Yazan : Şadi Evren ŞEKER İçerik: Sabit tip bağlamaları (Static Type Binding) Hareketli Tip Bağlamaları (dynamic type binding) Tip çıkarımı (Type inference, Şekil istidlali) Programlama dillerinde bir değişkenin tipinin belirlenmesi iki türlü olabilir. Birinci tip tanımlamada değişkenin tipi sabit olarak…
Allen Fasıla Mantığı (Allen’s Interval Logic)
Yazan : Şadi Evren ŞEKER 1983 yılında James F. Allen tarafından ortaya atılan ve zaman modellemek için kullanılan mantıktır. Bu mantık bilgisayar bilimlerinde zaman çıkarımına dayalı doğal dil çalışmalarında önemli bir modelleme şeklidir. Mantık basitçe olayları ve olaylar arasındaki ilişkileri…
İşlem Önceliği (Operator Precedence)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde önemli konulardan birisi olan programlama dillerinin işlemleri yapma sırasını belirler. Bir programlama dilinde işlem önceliği bir iki farklı unsura göre belirlenir. Öncelikle sonucu etkileyen ve işlemin matemetiksel önceliğine göre bir tercih yapılır. Örneğin…
Boyer Moore Dizgi Arama Algoritması (Boyer-Moore String Search)
Yazan : Şadi Evren ŞEKER İçerik Algoritmanın çalışması Örnek çalışma Tek harfli atlama tabloları Gelişmiş atlama tabloları Algoritma performansı Bir metin veya hedef dizgi (string) içerisinde bir başka dizginin (string) aranması sırasında kullanılan algoritmalardan birisidir. KMP (Knuth Morris Prat) algoritması…
Binom Ağaçları (Binom Trees, Çift Termili Ağaçlar)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde kullanılan bir veri yapısı türüdür. Bu yapıda ağacın her elemanı binom dağılımındaki sayılar kadar çocuk düğüm (node) sahibi olur. Daha basit bir tabirle her eklenen yeni düğüm ağacın o ana kadar olan bir…
Haber (Predicate)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde önemli bir rol oynayan dilbilimi ve dil felsefesinin önemli unsurlarından birisidir. Bir cümlenin iki önemli unsurundan birisi olarak kabul edebiliriz. Haber-müpteda ilişkisi (Subject-Predicate) veya Özne-yüklem ilişkisi de denilebilir. İçerik 1. Haberin dilbilimsel incelemesi…
Şekli Mantık (Kipler Mantığı, Modal Logic)
Yazan : Şadi Evren ŞEKER Mantığın bir türü olan şekli mantığında şekiller (modal) bir kaziyenin (önerme) doğruluğunu göstermek için kullanılır. Genel olarak şekil mantığında gösterilen 3 tip şekil bulunur: olabilirlik (possibility) ihtimal (probability) gereklilik (necessity) Doğal dil açısından ve dilbilim…
Zamansal Mantık (Temporal Logic)
Yazan : Şadi Evren ŞEKER Bilgisayar mühendisliğinin önemli parçalarından birisi de modellemedir. Çeşitli alanlarda veri modellemesi yapılan bilgisayar bilimlerinin, modellemeye ihtiyaç duyduğu bir konu da zaman modellemesidir. Yani kaziyelerin (önerme, predicate) ifade ettikleri zamanı modellemek için bir sistem geliştirilmesi gerekmektedir….
Dilbilgisel Bakış (Grammatical Aspect)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin güncel araştırma konularından olan doğal dil işleme (natural language processing) ve dil bilim (linguistics) konusundan önemli olan bilbilgisel bakış (grammatical aspect), kabaca bir fiilin zamanının başka bir fiil ile aynı bakışa sahip olmasıdır….
Kelimebilimsel Bakış (Lexical Aspect)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin bir çalışma alanı olan doğal dil işleme (Natural Language Processing) konusunda özellikle zaman kavramı önemli bir yer tutar. Bir eylemin (fiil , event) zamanının tutulması için çeşitli sınıflandırma yöntemleri geliştirilmiştir. Bu yöntemlerden birisi…
