Akademik Notlar

Bilgisayar Matematiği Temel Bilgisayar Kavramları Yapay Sinir Ağları (Artificial Neural Networks)

KNN (K nearest neighborhood, en yakın k komşu)

Yazan : Şadi Evren ŞEKER Sınıflandırmada (classification) kullanılan bu algoritmaya göre sınıflandırma sırasında çıkarılan özelliklerden (feature extraction), sınıflandırılmak istenen yeni bireyin daha önceki bireylerden k tanesine yakınlığına bakılmasıdır. Örneğin k = 3 için yeni bir eleman sınıflandırılmak istensin. bu durumda…

Bilgisayar Matematiği

Aritmetik Ortalama (Average , Mean)

Yazan : Şadi Evren ŞEKER Verilen bir sayı kümesindeki bütün elemanların toplamlarının, o sayı kümesindeki eleman sayısına bölümüdür. Kısaca aşağıdaki şekilde ifade edilebiilr: Σk / n yani sayılaırn toplamının sayıların sayısına bölümü. Örneğin aşağıdaki sayı kümesi verilmiş olsun: {1,3,8,3,5,7} bu…

Derleyiciler Donanım (Hardware) İşletim Sistemleri Programlama Dilleri Temel Bilgisayar Kavramları

Çevirici (Assembler)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde iki farklı kavram için assembler kelimesi kullanılmaktadır. Birincisi Assembly dili adı verilen ve makine diline (machine language) çok yakın düşük seviyeli (low level language) için kullanılan ve nesne kodunu (object code) makine koduna…

Bilgisayar Matematiği

Doğrusal Ahenk (Linear Congruence)

Yazan : Şadi Evren ŞEKER Sayı teorisinde (Number theory) kullanılan bu terim aşağıdaki formülasyona uyan yapılara verilen isimdir: ax ≡ b mod p , (p>0 ve a ve b sabit sayılar, x ise değişken) Yukarıdaki bu tanıma göre bir tabanda…

Bilgisayar Matematiği

Adi Rasgele (PseudoRandom)

Yazan : Şadi Evren ŞEKER Rastgele sayı üretmek için kullanılan yöntemlerden birisidir. Aslında tam olarak sayıların rasgele üretildiği söylenemez. Daha çok belirli bir aralıktaki sayıların moduler bir fonksiyonlar belirli periyotlarda tekrarlandığını söylemek doğru olur. Örneğin doğrusal ahenk methodu (linear congruential…

Algoritma Analizi (Teory of Algorithms) Bilgisayar Felsefesi Bilgisayar Matematiği

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…

Algoritma Analizi (Teory of Algorithms) Bilgisayar Felsefesi Bilgisayar Matematiği

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…

Algoritma Analizi (Teory of Algorithms) Bilgisayar Felsefesi

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

Bilgisayar Felsefesi Temel Bilgisayar Kavramları

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…

Bilgisayar Matematiği Mantık Devreleri (Logic Circuits)

Çıkarıcı Devre (Subtractor Circuit)

Yazan : Şadi Evren ŞEKER Mantıksal tasarım (logic design) kullanılarak bir çıkarma devresi yapmak mümkündür. Devre tasarımına başlanmadan önce ikilik tabandaki çıkarma işlemini hatırlayalım. Bu işlem 1 tümleyeni (1’s complement) veya 2 tümleyeni (2’s complement) alınarak sayının eksi halde gösterilmesi…