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….
Belirli Sonlu Otomat (Deterministic Finite Automat, DFA)
Yazan : Şadi Evren ŞEKER Sonlu otomatların özel bir halidir. Bu özel hal aşağıdaki 3 durumu içermelidir: Her durumdan (State) gidilecek koşulun tek bir durum göstermesi. Yani bir durumda başka duruma geçerken bir kelime ile sadece bir duruma gidilebilmesi Herhangi…
Bilgisayar Mühendisliği
Yazan : Şadi Evren ŞEKER Bu yazının amacı genel olarak bilgisayar mühendisliğini ve terimsel bazı problemleri açıklamaktır. Bu yazı, içinde bulunulan bilgisayarkavramlari.com sitesinin amacı olan akademik ve bilimsel açıklamaların dışına çıkmaktadır. Ancak bu yazı ile tartışılmakta olan bazı konulara açıklık…
