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 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…
İkillik Prensibi (Duality Principle, İstaniyet)
Yazan : Şadi Evren ŞEKER Din ve felsefede benzer anlamlara gelmesine karşılık bu yazının amacı bilgisayar bilimleri için önemli olan matematikteki ikilik prensibini açıklamaktır. Bir matematikçi bu kavramı basitçe şöyle açıklayabilir “boyalı elimle bir cama ellesem ve elimin izi camda…
Dış Yol Uzunluğu (External Path Length)
Yazan : Şadi Evren ŞEKER Bir ağacın dış düğümlerine ayrı ayrı ulaşılması için geçilmesi gereken yol miktarıdır. Örneğin aşağıdaki ağaç için bu değeri hesaplayalım: yukarıdaki ağaçta kırmızı renkli düğümler iç düğümdür. Siyah renk ile gösterilen düğümleri ise dış düğümlerdir. Buna…
Kubit (Qubit)
Yazan : Şadi Evren ŞEKER Günümüz bilgisayar teknolojilerinin üzerine inşa edilmiş olan Von Neumann bilgisayarlarında en düşük veri ünitesi ikildir (bit). Benzer şekilde kuantum bilgisayarları içinde kubit (qubit = quantum bit) kullanılmaktadır. Normal ikilde (bit) sadece 1 ve 0 değerleri…
Sıralama Algoritmaları (Sorting Algorithms)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde verilmiş olan bir grup sayının küçükten büyüğe (veya tersi) sıralanması işlemini yapan algoritmalara verilen isimdir. Örneğin aşağıdaki düzensiz sayıları ele alalım: 5 9 2 3 7 11 -4 6 Bu sayıların sıralanmış hali…
Gerekircilik (Nedensellik, Determinism)
Yazan: Şadi Evren ŞEKER Bir olayın başka bir olayı gerektirmesi durumudur. Basitçe neden-sonuç ilişkisine dayanlı felsefi yaklaşımdır. Buna göre bütün olaylara nesnel bir yaklaşımda bulunulur ve bu yaklaşım her zaman aynı sonucu verir. gerekircilik yaklaşımı aynı zamanda bir düşünce yapısının…
İ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…
İstikra(Tüme varım, Induction)
Yazan: Şadi Evren ŞEKER İstikra lügatte, etraflıca düşünüp araştırma (tetebbu’) anlamına gelir. Bir yöntem olarak ise cüz’îler (tikeller) den küllî (tümel) ye gitme yöntemidir. Mantıkçılara göre istikrâ, küllînin hükmünü vermek için cüz’îler hakkında verilen hükümleri kapsayan önermelerden oluşan bir sözdür….
burhan-ı mütenakıs (proof by contradiction, olmayana ergi)
Yazan : Şadi Evren ŞEKER Çok kullanılan ispat yöntemlerinden birisidir. Buna göre ispatlanmak istenen kaziyenin (önermenin) tersinin yanlışlığı ispat edilirse sonuca ulaşılmış ve bir nazariye (teorem) elde edilmiş demektir. Basit bir günlük örnek şu şekilde verilebilir. Örneğin Ali, Ahmetin kapıdan…