Bilgisayar Sistemleri

İşletim Sistemleri

İçerik Değiştirme (Context Switching)

Yazan : Şadi Evren ŞEKER Bu yazıda anlatılan içerik değiştirme (context switching) konusunu anlamadan önce bilgisayarlarda bulunan işlemcinin (CPU) anlık olarak tek bir iş ile uğraşabileceğini söylememiz gerekiyor. İşletim sistemi tasarımında (operating system design) bulunan bir özellik sayesinde, anlık olarak…

C / C++ Derleyiciler Programlama Dilleri Scheme (Lisp)

Emirli Programlama (Imperative Programming)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, programlama dillerini sınıflandırmak ve bir programlama dilinin özelliklerini belirtmek için kullanılan bir terimdir. Genellikle literatürde prosedürel programlama (procedural programming) olarak da geçmektedir. Emirli programlama ile kastedilen, bir programlama dilindeki komutların satır satır emirlerden…

İşletim Sistemleri

Sembolik Bağ (Symbolic Link)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, işletim sistemi konusunda kullanılan bir terimdir. İşletim sisteminin temel fonksiyonlarından birisi de bilgisayarın sabit diskini (hard disk) ve bu disk üzerindeki dosyalama yapısını kontrol etmektir. Bu anlamda çeşitli işletim sistemi üreticileri çeşitli tasarımlar…

JAVA Son Kullanıcı

JAVA JDK Kurulumu

Yazan : Şadi Evren ŞEKER JDK kurulum paketlerini java.sun.com adresinden temin edebilirsiniz. Bu kitap kapsamında kullanılacak olan JDK, J2SE (java 2 standard edition) olarak da geçmektedir. Bu yazı yazılırken en son sürüm J2SE 6.0 update 12 olarak yayınlanmıştır. Bu isimlendirme…

C / C++ İşletim Sistemleri

Makine Dilleri (Machine Langauge)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde programlama dillerinin en alt seviyesini oluşturan ve insan tarafından neredeyse tamamen anlaşılmaz buna karşılık makine için en anlaşılır dildir. Aslında makine dilini anlamak için dillerin seviyelerini anlamakta yarar vardır. Yukarıdaki şekilde de tasvir…

Derleyiciler Programlama Dilleri

Hoare Mantığı ( Hoare Logic )

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, program doğrulama ( program corectness) için kullanılan mantığın ismidir. Basitçe bir dizi matematik kuralları ile bir programı modellemeye ve programın doğruluğunu ispatlamaya (veya yanlışlığını göstermeye) yarayan mantıktır. Bu mantığın bilgisayar dünyasında bir dil…