Matematiksel Tümevarımın ikinci Teoremi (Second principle of mathematical induction)
Yazan : Şadi Evren ŞEKER Temel olarak matematiksel tümevarımın kullandığı yaklaşıma benzer. Bir farkı ispatı bir seri veya seri üreten bir fonksiyon üzerinden değil de ayrı ayrı örnekler üzerine bina etmesidir. Yani matematiksel tümevarım yönteminde aşağıdaki şekilde bir yazım mümkündür:…
Matematiksel Tümevarım Teoremi (Mathematical Induction Principle)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin de için de bulunduğu pek çok mühendislik ve bilim disiplinlerinin kullandığı ispat yöntemlerindendir. Temel olarak mantıktaki istikra (tümevarım) yaklaşımından faydalanır. Basitçe bir eşitliği ispatlamak için, eşitliğin her iki tarafı da birer kere ilerlettirilir…
Toplamlar (Summations)
Yazan : Şadi Evren ŞEKER Bir serinin elemanlarının toplamını ifade etmek için kullanılan matematiksel işlemin ismidir. Basitçe bir seri ve bu serinin (sequence) bütün elemanlarının toplamını bulmak hedeflenir. Matematiksel olarak Σ sembolü ile gösterilir. Toplamlar yukarıdaki şekilde görüldüğü üzere sigma…
Seriler (Sequences)
Yazan : Şadi Evren ŞEKER Seriler, kısaca aşağıdaki özellikleri taşıyan sayı kümesidir: Bir serinin başlangıç değeri bulunmalıdır Bir serideki sayılar arasında aritmetik bir bağlantı bulunmalıdır. Bir serinin bitiş değeri bulunmalıdır. Yukarıdaki üç şartı sağlayan sayı kümesine seri (sequence) ismi verilir….
Nokta Kesiciler (PointCuts)
Yazan : Şadi Evren ŞEKER Bağlam yönelimli programlama (Aspect oriented programming) konusunda kullanılan en önemli yapı taşlarındandır. Basitçe bir programın akışı içerisinde bağalam noktaları (joinpoints) belirlendikten sonra bu noktalara hangi bağlamların (Aspects) bağlanacağını belirleyen kümedir. Yani nesne yönelimli bir ortamda…
Birleşim Noktaları (JoinPoints)
Yazan : Şadi Evren ŞEKER Bağlam yönelimli (aspect oriented) programlamada kullanılan terimlerdendir. Anlam olarak programda bulunan bir kontrol noktasının bir veya daha fazla bağlamın etkisinde olduğu nokta demektir. Bu anlamda bir kodda bulunan bütün satırlar birleşim noktası (joinpoint) olabilir ancak…
Bağlam Örücüler (Apect Weavers)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde yazılım geliştirme sürecinde kullanılan yaklaşımlardan birisi de bağlam yönelimli programlamadır (Aspect oriented programming). Bu yaklaşım, yazılım geliştirme yaklaşımları sıralasında nesne yönelimli programlamadan sonra gelmektedir. Yani bir anlamda her bağlam yönelimli programlama yaklaşımı aslında…
Veri Bütünlüğü (Data Integrity)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin birinci derece uğraştığı varlık veridir. Yani bilgisayar bilimlerinde yapılan her işi bir bakışa göre veriyi işlemek olarak görmek mümkündür. İşlenen bu verinin bütünlüğü ise ayrı bir problemdir. Veri bütünlüğü ile genelde verinin birden…
Bağlam Yönelimli Programlama (Aspect Oriented Programming)
Yazan : Şadi Evren ŞEKER Yazılım mühendisliğinde kullanılan bir programlama yaklaşımıdır. AOP olarak kısaltılmış halde de geçer. Türkçe literatüründe bağlam / cephe / kesit / görünüm yönelimli programlama kelimelerinin hepsi farklı kaynaklarda kullanılmıştır. 1990’lı yılların ortalarında özellikle JAVA ve nesne…
Izgara Tarama (Raster Scan)
Yazan : Şadi Evren ŞEKER Bilgisayar grafiklerinde bir şeklin ekranda gösterilmesi sırasında kullanılan yöntemin ismidir. Basitçe ekranı imgecik (pixel) matrisinden oluşan bir ızgara gibi düşünebiliriz. Örneğin 1024 x 768 boyutlarındaki bir ekranın yine aynı boyutlardaki bir ızgara olarak düşünülmesi mümkündür….
