Değişken Bağlama (Binding Variable)
Yazan : Şadi Evren ŞEKER Matematikte veya Bilgisayar Bilimlerinde bir değişken(variable) , duruma göre bağlı değişken (bounded variable) veya serbest değişken (free variable) olarak isimlendirilebilir. Şayet değişken genel olarak herhangi bir sayıyı ifade ediyorsa ve anlık olarak hangi sayı olduğu…
Durma Problemi (Halting Problem)
Yazan : Şadi Evren ŞEKER Problem kısaca bir programın bir zaman sonra durup durmayacağının belirsizliği üzerine tartışmadır. Yani basitçe elimizde bir program ve bu programın parametresi olsun (programa verilebilen bir girdi). Programın bitip bitmeyeceğini bilemeyiz. Peki bunu nasıl ispatlarız? Burada…
Tersine Koyarak İspat (antitez, Contraposition)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde de kullanılan ispat yöntemlerinden birisi bir önermenin tersini ispatlayarak önermenin doğruluğunu göstermektir. Doğrudan ispat yöntemlerinde p -> q zinciri kullanılmaktadır. Bu yaklaşımda ise ¬p -> ¬q yaklaşımı ile iki önermenin de tersi alınır…
Doğrudan İspat (Direct Proofing)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin pekçok alanında da kullanılan ispat yöntemlerinden en basitidir. Bu yönteme göre ispatlanmak istenen durum genelde p->q şeklinde bir önermenin (kaziye) ispatının diğer bir önermeyi (kaziyeyi) gerektirdiği bir dizilimdir ve birisinin ispatı diğerini gerektirir….
çoklu şekil değiştirmeler (multiple transformations)
Yazan : Şadi Evren ŞEKER OpenGL üzerinde şekil değiştirme işlemleri ilgili yazılarda açıklanmıştır. Bu yazının amacı şekil değiştirme işlemlerinin birden fazla olması durumunda kullanılabilecek OpenGL fonksiyonlarını açıklamaktır. Öncelikle OpenGL içerisinde anlık olarak tek bir matris aktiftir. Şekiller basılmadan önce bu…
OpenGL Şekil Değiştirme İşlemleri (Transformations)
Yazan : Şadi Evren ŞEKER Bu yazının amacı opengl kütüphanesi kullanılarak şekil değiştirme işlemlerinin nasıl yapıldığını açıklamaktır. Temel olarak 3 tip şekil değiştirme işlemi vardır: Taşıma (Translate) Döndürme(Rotate) Ölçekleme (Büyültüp küçültmr, Scaling) Bu işlemlerin hepsi için OpenGL kütüphanesinde hazır fonksiyonlar…
Cohen-Sutherland Doğru Kesme Algoritması (Line Clipping Algorithm)
Yazan : Şadi Evren ŞEKER Bu algoritmanın bilgisayar grafiklerindeki kullanımı, görüntülen alan dışına uzanan doğruların kesilmesidir. Yani büyük bir uzayda sadece kısıtlı bir alan gösterilmektedir. Bu algoritma sayesinde gösterilmeyen yerlerde bulunan çizgiler (doğrular) hesaplanmadan sadece gösterilen alan için hesaplama yapılarak…
Homojen Koordinatlar (Homogenous Coordinates Form)
Yazan : Şadi Evren ŞEKER Homojen koordinat formunda kısaca aşağıda gösterilen 4×4 matrisin şekil değiştirmede (transformation) kullanılmasıdır. Bu matris kullanımı sırasında üç boyutlu bir ortam için (x,y,z) koordinatlarından oluşan Kartezyen uzayın her eksendeki dönüşümünü göstermek mümkündür. Bu ortak dönüşüm matrisinden…
NFA’den DFA’e çevirim (Converting NFA to DFA)
Yazan : Şadi Evren ŞEKER Bu yazıda belirsiz sonlu otomattan(NFA) Belirli sonlu otomata (gerekirci sonlu otomat, nedensel sonlu otomat, deterministic finite automata) dönüştürmenin nasıl yapıldığı anlatılmaktadır. Basitçe bir iki adımlık işlemler izlenerek bu dönüşüm gerçekleştirilebilir: Öncelikle gerekircilik (determinism) açısından birbiri…
Belirsiz Sonlu Otomat (Nondeterministic Finite Automat, NFA)
Yazan : Şadi Evren ŞEKER DFA (deterministic finite automat) belirli sonlu otomatların (özdevinirlerin) tersine her durumdan gidişin karışık olduğu ve her durum için bir sonraki kelimede nereye gidileceğinin belirli olmadığı otomatlardır. Basitçe DFA kurallarına uymayan bütün otomatlar NFA olarak adlandırılabilir….
