Sayfa Değiştirme Algoritması (Page Replacement)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde özellikle işletim sistemi konusunda kullanılan ve hafızanın daha verimli çalışması için geliştirilmiş algoritmaların ismidir. İçerik Arkaplan ve ön bilgiler FIFO LRU Optimal Replacement Algoritmanın arka planı ve gerekli ön bilgiler Bilindiği üzere bilgisayarda…
Floyd-Warshall Algoritması
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin önemli konularından olan algoritma analizi sırasında sıkça bahsi geçen bir algoritmadır. Algoritmanın ana amacı belirli bir graf üzerinde bir başlangıçtan(source) bir bitiş düğümüne (sink, end, target) en kısa yoldan (shortest path) ulaşmaktır. Bu…
Sabit, Hareketli ve Yığıt Değişkenleri (Static,Dynamic, Heap Variables)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, programlama dillerinde bir değişkenin tanımlandığı hafıza alanı ve değişkenin hafızada tutuluş biçimi farklılık gösterir. Dilin tanımına göre değişkenlerin hafızaya (RAM) işlenişi ve yaşam süreleri üç farklı şekilde olabilir: 1. Sabit (static) 2. Yığın-Hareketli…
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…
