Bilgisayar Sistemleri

Algoritma Analizi (Teory of Algorithms) Derleyiciler Programlama Dilleri Veri Güvenliği (Cryptography) Yazılım Mühendisliği

Program doğruluğu ( Program correctness)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde bir programın istenen özellikleri yerine getirip getirememesine verilen isimdir. Buna göre şayet bir program, beklenen özellikleri tam ve eksiksiz yerine getiriyor, istenmeyen sonuçlar ortaya çıkmıyor ve program başladıktan sonra her durumda başarılı bir…

Automata (Otomatlar) Derleyiciler Doğal Dil İşleme (NLP) Programlama Dilleri

Özyineli Geçiş Ağları (Reursive Transition Networks)

Yazan : Şadi Evren ŞEKER Veri modellemede kullanılan bir ağ şeklidir. Esas itibariyle içerikten bağımsız dillerin (context free grammers) görsel gösterimi için kullanılabilirler. Ağların yapısı uzatılmış geçiş ağlarına (augmented transition network) benzemekle birlikte en büyük farkı ve isminin özyineli olmasının…

Algoritma Analizi (Teory of Algorithms) Automata (Otomatlar) Bilgisayar Standartları Derleyiciler Doğal Dil İşleme (NLP) Donanım (Hardware) Dosya Organizasyonu (File Organisation) İşletim Sistemleri Mantık Devreleri (Logic Circuits) Programlama Dilleri Sistem Programlama (System Programming) Temel Bilgisayar Kavramları Veri Yapıları

Turing Makinesi (Turing Machine)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin önemli bir kısmını oluşturan otomatlar (Automata) ve Algoritma Analizi (Algorithm analysis) çalıştırmalarının altındaki dil bilimin en temel taşlarından birisidir.1936 yılında Alan Turing tarafından ortaya atılan makine tasarımı günümüzde pekçok teori ve standardın belirlenmesinde…

Automata (Otomatlar) Derleyiciler Doğal Dil İşleme (NLP) Programlama Dilleri Temel Bilgisayar Kavramları

Özyineli Sayılabilir Diller (Recursively Enumerable Languages)

Yazan : Şadi Evren ŞEKER Muntazam dillerden (formal languages) birisi olan ve bu özelliği ile Mantık, Matematik ve Bilgisayar bilimlerinin çalışma alanına giren bir dil çeşididir. Sınıflandırma olarak Chomsky Hiyerarşisinde (Chomsky Hierarchy) 0. seviye olan (Type 0) bu dile uygun…

Automata (Otomatlar) Bilgisayar Standartları Derleyiciler Doğal Dil İşleme (NLP) Programlama Dilleri Temel Bilgisayar Kavramları

Chomsky Hiyerarşisi ( Chomsky Hierarchy )

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin özellikle dil alanında yapılan çalışmalarında muntazam dilleri (formal languages) tasnif etmek için kullanılan bir yapıdır. Literatürde Chomsky–Schützenberger hiyerarşisi olarak da geçmektedir. Bilindiği üzere ( muntazam diller (formal langauges) veya CFG yazısından da okunabileceği…

İşletim Sistemleri

Sanal Hafıza (Virtual Memory)

Yazan: Şadi Evren ŞEKER Sanal bellek olarak da isimlendirilen hafıza türü, bilgisayarın birincil hafızası (primary memory) olarak bilinen RAM‘in yetersiz kaldığı durumlarda ikincil hafıza (secondary memory) olarak bilinen diskin bir kısmının kullanılmasıdır. Unix/Linux terminolojisine göre takas alanı (Swap space) olarak…

İşletim Sistemleri

Sayfalama (Paging)

Yazan : Şadi Evren ŞEKER İçerik Hafıza Yönetim Problemleri Sayfalama (Paging) Sayfa Tablosu (Page Table) Bilgisayar bilimlerinin önemli konularından birisi olan işletim sistemlerinin bir görevi de hafızayı verimli yönetmektir (memory management). Kısaca sınırlı miktarda hafıza (RAM, Bellek, Memory) bulunmakta ve…