Tek atama dili (single assignment language)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde kullanılan bir programlama dili tipidir. Bu dilde herhangi bir değişkene yalnızca bir kere atama yapılabilir. Literatürde sasl (single assignment language, tek atamalı diller) olarak geçen dil bu tipe bir örnektir. Ayrıca C dilinden…
İç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…
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…
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 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…
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…
Kaydırma Kayıtları (Kaydırma Yazmaçları , Shift Registers)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin özellikle mantık devreleri (logic circuits) alanında kullanılan bir devre tasarımı şeklidir. Alt yapı olarak flip-floplardan istifade eden tasarımda amaç girilen ikilik tabandaki bitlerin (ikil) her saat tikiyle bir kaydırılmasıdır. Bir kaydırma yazmacının mantık…
Eşlemeli Metotlar (Synchronized Methods)
Yazan : Şadi Evren ŞEKER JAVA, C++ veya C# gibi nesne yönelimli programlama dillerinde kullanılan bir terimdir. Basitçe, aynı anda çalışan birden fazla lifin (thread) veya işlemin (process) sıralı olmasını ve birbiri ile iletişim halinde çalışmasını sağlar. Nesne yönelimli programlama…
Priority Queue (Öncelik Sırası, Rüçhan Sırası)
Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin özellikle veri yapıları (data structures) konusunda sıkça kullanılan bir veri yapısının ismidir. Basitçe klasik bir sıranın (queue) üzerine öncelik değerinin eklenmesi ile elde edilir. Bilindiği üzere normalde sıralar (queue) ilk giren ilk çıkar…
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…
