Yerleştirme Algoritmaları (Fitting Algorithms)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde kısıtlı bir alanın verimli kullanılması için geliştirilmiş algoritmalardır. Örneğin sınırlı bir hafıza ( RAM ) içerisine en verimli şekilde programları yerleştirmek, işletim sistemleri için bir problemdir. Benzer problemlerle gerçek haytta da sıkça karşılaşılmaktadır….
burhan-ı mütenakıs (proof by contradiction, olmayana ergi)
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…
TimeML
Yazan : Şadi Evren ŞEKER TimeML, olaylara bağlı zaman kavramlarını ve bu zamanlar ve olaylar arasındaki ilişkileri tutmak için ağırlıklı olarak James Pustejovsky tarafından 2003 yılından beri geliştirilen XML tabanlı bir işaretleme dilidir. Dilin web üzerindeki sayfasına http://www.timeml.org adresinden erişilebilir….
Özetleme Fonksiyonları (Hash Function)
Özetleme Fonksiyonları (Hash Function) Yazan : Şadi Evren ŞEKER Özetleme fonksiyonlarının çalışma şekli, uzun bir girdiyi alarak daha kısa bir alanda göstermektir. Amaç girende bir değişiklik olduğunda bunun çıkışa da yansımasıdır. Buna göre özetleme fonksiyonları ya veri güvenliğinde, verinin farklı…
Ağaçlar (tree)
Yazan : Şadi Evren ŞEKER Bir graf şayet bağlı grafsa ve hiç döngü içermiyorsa bu grafa ağaç adı verilir. Bilgisayar bilimlerinin önemli veri tutma yöntemlerinden birisi de ağaçlardır. Buna göre veriler bir ağaç yapısına benzer şekilde (kök gövde yapraklar) tutulur….
STTL (A standard timetabling language (standart bir zaman çizelgeleme dili))
Yazan : Şadi Evren ŞEKER STTL -> A standard timetabling language (standart bir zaman çizelgeleme dili) Bu dil ilk olarak Jeff Kingston tarafından zaman çizelgeleme problemlerine bir girdi standardı elde etmek için önerilmiştir. Dilin çıkışında kullanılan problem bir lisede haftalık…
OWL Time (OWL Zaman, Web Varlıkbilim Dili Zaman)
Yazan : Şadi Evren ŞEKER Gelişen zamanlama ihtiyaçları ile birlikte zamanın gösterimi ve formüllenmesi de bir ihtiyaç haline gelmiştir. Örneğin yapılan her siparişte, siparişin zamanının tutulması, basir bir kiralama işleminde veya bilet satış işleminde yapılan işlemin hangi tarih ve saatler…
TTML (Time Tabling Markup Language, Zaman Çizelgeleme İşaretleme Dili)
Yazan : Şadi Evren ŞEKER Zaman çizelge işareteleme dili (Timetabling Markup Language (TTML)), XML üzerine kurulmuştur. MathML üzerine kurulu zaman çizelgeleme problemlerinin çözümünde kullanılmaktadır. TTML üzerinde kullanılan formülleme dili küme teorisine dayandırılabilir. Örneğin MathML üzerinde kullanıcılara tamamen yeni semboller ile…
Arc Constraint (Kiriş Şartı)
Yazan : Şadi Evren ŞEKER AC3 algoritması olarak bilinen ve kiriş tutarlılıklarını (arc consistency) işlemek için kullanılan algoritma anlatılacaktır. Şart işleme (Constraint Processing) konusunda kullanılan önemli yöntemlerden birisidir. Bu algoritmanın AC1 ve AC2 diye adlandırılan daha eski ancak performans olarak…
4 vezir problemi (4 queen problem)
Yazan: Şadi Evren ŞEKER Satranç oyunundan esinlenerek üretilen bu problemde 4×4’lük bir satranç tahtasına (orjinal satranç tahtası 8×8’lik olmakla beraber problem tahtanın küçültülmüş bir kısmında tasarlanmıştır) 4 adet vezirin birbirini yemeden nasıl yerleştirileceği tartışılır. Bilindiği üzere satranç oyununda vezirler satır…