Bilgisayar Felsefesi

Bilgisayar Felsefesi Resim İşleme (Image Processing) Temel Bilgisayar Kavramları Yapay Sinir Ağları (Artificial Neural Networks)

Özellik Çıkarımı (Feature Extraction)

Yazan : Şadi Evren ŞEKER Bir sisteme giren girişlerin bütün bir bilgi olarak değil de bu bilgiyi oluşturan vasıflardan bazılarının çıkarılması ve sistemin bu vasıflar üzerine kurulması durumudur. Örneğin bir miktar resimden içinde çimen bulunanların tespit edilmesi isteniyor olsun. Bilindiği…

Bilgisayar Felsefesi Temel Bilgisayar Kavramları Yazılım Mühendisliği

Şelale Modeli ( Waterfall Model )

Yazan : Şadi Evren ŞEKER Yazılım mühendisliğinde kullanılan bir yazılım projesi yönetim modelidir. Bu model aşağıdaki 4 temel merhaleden oluşmaktadır: tahlil (analiz, analysis) tasmim (tasarım, design) tatbik (uygulama, implementation tecrübe (test,test) Yazılım mühendisliğindeki diğer modellere temel teşkil eden bu modelde…

Bilgisayar Felsefesi Temel Bilgisayar Kavramları Veri Tabanı (Database) Yazılım Mühendisliği

Vücubiyet (Modality)

Yazan  : Şadi Evren ŞEKER Yazılım mühendisliği (software engineering) ve veritabanı tasarımı (database design) konularında sistem modellenmesi aşamasında sıkça karşılaşılan bir problem de sistemde modellenen unsurlar (entity) arasındaki ilişkinin (relationship) vücubiyetidir ( modality ) . Bu terim bir unsurun diğerini…

Bilgisayar Felsefesi Bilgisayar Matematiği Temel Bilgisayar Kavramları Veri Yapıları Yazılım Mühendisliği

Sayısallık (Cardinality)

Yazan : Şadi Evren ŞEKER Unsurlar (Entities) arasındaki sayısal bağlantıyı ifade etmek için kullanılan bir terimdir. Literatürde bazı kaynaklarda sayılabilirlik olarak da geçmektedir.  Buna göre bir unsur ile diğer unsur arasında aşağıdaki üç ilişki şeklinden birisi olmalıdır: Birebir one-to-one Bire…

Bilgisayar Felsefesi Temel Bilgisayar Kavramları Veri Tabanı (Database) Yazılım Mühendisliği

ERD ( Unsur İlişki Çizimi, Entity Relationship Diagram )

ERD ( Unsur İlişki Çizimi, Entity Relationship Diagram ) Yazan : Şadi Evren ŞEKER Yazılım mühendisliği (Software engineering) ve veritabanı tasarımında (database design) sıkça kullanılan bu çizim yöntemine göre, modellenmek istenen sistemdeki unsurlar (Entities) çıkarılarak bu unsurlar arasındaki ilişkiler (relationships)…

Bilgisayar Felsefesi Veri Tabanı (Database) Yazılım Mühendisliği

İlişki (Relationship)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde ilişki kavramı çok çeşitli anlamlarda kullanılabilir. Örneğin nesnelerin birbiri ile olan ilişkisi veya veritabanındaki tabloların ilişkisi gibi. Veritabanı teorisindeki tablo ilişkisi Temel olarak bir ilişkisel veritabanını modellemekte kullanılan ERD (Unsur ilişki çizimi, entity…

Bilgisayar Felsefesi Temel Bilgisayar Kavramları Veri Tabanı (Database) Yazılım Mühendisliği

Unsur (Entity)

Yazan : Şadi Evren ŞEKER Veritabanı tasarımında (database design) ve yazılım mühendisliğinde (software engineering) sıkça kullanılan bir tasarım yöntemi, modellenmek istenen sistedemki unsurları çıkararak bu unsurların özelliklerini ve bu unsurlar arasındaki ilişkileri tutmaktır. Temel olarak bir unsur nesne yönelimli programlama…

Algoritma Analizi (Teory of Algorithms) Bilgisayar Felsefesi İşletim Sistemleri Temel Bilgisayar Kavramları

Kıtlık (Starvation)

Yazan : Şadi Evren ŞEKER Bir algoritmada sıra bekleyen işlere bir türlü sıra gelmemesi durumudur. Teorik olarak sıradaki her işe birgün sıra gelecektir ancak fiiliyatta bu bir türlü gerçekleşmeyebilir. Bu tip problemler genelde öncelik tanımlanmış olan algoritmalarda çıkar. Şöyle bir…

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…