Gauss Sadeleştirmesi (Gaussian Elimination)
Yazan : Şadi Evren ŞEKER Gauss sadeleştirme yöntemi çok bilineyenli 1. derece denklemleri çözmek için kullanılır. Basitçe birden fazla değişkeni bulunan 1. derece bir denklemi çözmek için bilinmeyen sayısı kadar denklem gerekir. Bu denklemlerden bir tanesi seçilerek diğer denklemleri sadeleştirmek…
Fibonacci Arama Algoritması (Fibonacci Search Algorithm)
Yazan : Şadi Evren ŞEKER Bu arama algoritması, özyineli (recursive) bir seri olan fibonacci sayılarını kullanarak sıralı bir dizi üzerinde arama yapmaktadır. Çalışma mantığı arama yapılacak olan sıralı diziyi fibonacci sayılarını kullanarak parçalara bölmektir. Örneğin arama yapılacak olan alanın en…
Fibonacci Sayıları (Fibonacci Numbers)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde çok sık kullanılan sayı serileridir. Bu sayıların önemi özyineli (recursive) fonksiyonlar ile kolayca yazılabilmesidir. Fibonacci serisinin ilk iki sayısı 1’dir. Diğer sayılar ise kendinden önceki iki sayının toplamıdır. fib0=1 fib1=1 fib2=fib0 + fib1…
Özyineli Fonksiyonlar (Recursive Functions)
Yazan: Şadi Evren ŞEKER Fonksiyonlar tekrarlama yapılarına göre temel olarak iki türlü düşünülebilir. Buna göre bir fonksiyonun içinde yine kendisinden bir parça bulunuyorsa bu fonksiyonlara özyineli (recursive) fonksiyon denilirken, fonksiyonun kendisini tekrar etmemesi durumunda döngülü (iterative) fonksiyon ismi verilir. Teorik…
Körilemek (Currying)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde özellikle tembel çalıştırma (lazy evaluation) kullanılan programlamalarda fonksiyonların parametre sayılarını teke indirmek için kullanılan bir yöntemdir. Örneğin 2 parametre alan f(X , Y) -> Z fonksiyonu olsun. Bu fonksiyonda X ve Y parametre,…
Tembel Programlama (Lazy Programming)
Yazan : Şadi Evren ŞEKER Tembel programlama bir programlama yapısından daha çok bir hafıza yönetim biçimidir. Buna göre bir işlem hafızada yapılmadan gerekli olduğu ana kadar saklanır ve ancak gerekli olunca çalıştırılır. Bu yaklaşımın tersi olan hevesli programlamaya (eager programming)…
Sonlu Ototmatlar (Finite Automaton)
Yazan: Şadi Evren ŞEKER Bir sonlu durum makinesinin formal şekilde gösterilmiş halidir. Buna göre bir otomat’ı oluşturan 5 farklı unsur bulunur. Bunlar o otomatta bulunan durumlar (states) o otomatın durumları arası geçişlerin alabileceği semboller kümesi olan alfabe, o otomattaki durumlar…
Bağımsız düğümler (Anti Clique, Independent Set)
Yazan: Şadi Evren ŞEKER Klik yapısının tersi olarak düşünülebilir. Basitçe bir grafta birbiri ile doğrudan bağlantısı olmayan düğümlerin oluşturduğu alt graftır. Yukarıdaki tasvirde iki adet graf verilmiştir. Üstte bütün graf görülmekte altta ise bu grafın bir alt grafı görülmketedir. Dikkat…
Klik (clique)
Yazan : Şadi Evren ŞEKER Graf teorisinde her iki düğümü birbirine bir kenar ile bağlanmış alt graflara verilen isimdir. Örneğin aşağıdaki grafikte bir klik kırmızı çizgiler ile işaretlenmiştir. Buna göre {A,B,C,D} alt grafı bir kliktir. Sosyal bilimlerde de aynı kelime(klik)…
İstikra ile ispat (Tüme varım, Proof by Induction)
Yazan: Şadi Evren ŞEKER Bir kaziyeyi (önerme) ispat ederek nazariye (teorem) elde etme yöntemidir. İstikra cüz’îler (tikeller) den küllî (tümel) ye gitme yöntemidir dolayısıyla örneklerden yola çıkarak her zaman için geçerli bir sonuç elde ederek ispat yapılır. Her istikra için…
