Yazan : Şadi Evren ŞEKER Bir değişkenin ,  derleyici (compiler) veya yorumlayıcı (interpreter) tarafından bağlanmasıdır. Buna göre değişkeni o dilde ifade eden sembolün fiziksel makine adresine (hafızdaki adrese) çevrilmesi işlemidir.Yani, int a = 4; satırında a değişkeni ifade eden semboldür…

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…

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…

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…

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….

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…

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…

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…

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…

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…