zdığı "Operating Systems: Design & Implementation"'da anlatılan işletim sistemi. Amacı, dersle birlikte öğrencilerin bir dönem içinde gerçek bir işletim sistemi ile deneyim kazanabilmeleri ve teorinin, pratikte nasıl uygulandığını öğretebilmektir. Bu nedenle Tanenbaum yıllarca comp.os.minix compuserve öbeğinden ve insanlardan gelen geliştirme taleplerini reddetmiş, Minix'i mümkün olduğunca küçük ve işlevsel bırakmıştır.

Minix'in tasarımı, hedef kitlesi gözetilerek yapılmıştır. Bu nedenle o dönemlerde bilgisayarlar çok pahalı olan sabit disk sürücüsü desteği olmadan sadece disketler üzerinde çalışıyordu.

Bu talepleri gerçekleştirmek isteyen ve Minix'ten farklı bir yapı kullanan Linus Torvalds, 1991 yılında Linux projesini Minix öbeği altında duyurmuştur. Minix'ten kayan büyük bir geliştirme öbeği Linux'a katkıda bulunmuşlardır.

Son kararlı sürümü (3.1.8) 4 Ekim 2010 tarihinde yayınlanmıştır. http://www.minix3.org/news/





MySQL

MySQL, altı milyondan fazla sistemde yüklü bulunan çoklu iş parçacıklı (İng. '), çok kullanıcılı (İng. '), hızlı ve sağlam (İng. ") bir veri tabanı yönetim sistemidir.

UNIX, OS/2 ve Windows platformları için ücretsiz dağıtılmakla birlikte ticari lisans kullanmak isteyenler için de ücretli bir lisans seçeneği de mevcuttur. Linux altında daha hızlı bir performans sergilemektedir. Kaynak kodu açık olan MySQL'in pek çok platform için çalıştırılabilir ikilik kod halindeki indirilebilir sürümleri de mevcuttur. Ayrıca ODBC sürücüleri de bulunduğu için birçok geliştirme platformunda rahatlıkla kullanılabilir.

Geliştiricileri, 500'den fazlası 7.000.000 kayıt içeren 10.000 tablodan oluşan kendi veritabanlarını (100 gigabyte civarında veri) MySQL'de tuttuklarını söylüyorlar.

Web sunucularında en çok kullanılan veri tabanı olup ASP, PHP gibi birçok Web programlama dili ile kullanılabilir.

MySQL, tuttuğu tablolarla çok kullanıcılı sistemlerde söz konusu olan erişim hakları sorununu başarılı bir şekilde çözmektedir. MySQL'in 4.0 sürümü ile birlikte "" desteği, 4.1 sürümüyle birlikte de alt sorgu desteği eklenmiştir.

Ayrıca "veri tutarlılığını (İng. ")" sağlama işinin programcıya bırakılması tercih edilmiştir, ancak bu bir dezavantaj olarak görülmeyebilir. Çünkü pek çok veri tabanı programcısı VTYS'lerdeki veri tutarlılığının esnek olmayan, zorlayıcı bir özellik olduğunu düşünmektedir.

MySQL aşağıdaki veri tabanı nesnelerini desteklemekte olup bu nesnelerin bazıları 5.1 sürümü ile gelmiştir:



MySQL için çok çeşitli grafiksel arayüze sahip programlar mevcuttur. Bunlar içerisinden en bilineni yine MySQL'i geliştiren firma tarafından geliştirilmiş ücretsiz bir yazılım olan MySQL GUI Tools'dur.
Bunun yanında PHP ile geliştirilmiş phpMyAdmin diğer alternatif bir yazılımdır. Tek bir PHP dosyası ile işlem yapan Javascript ile birçok işi kolaylaştıran Adminer* yazılımı da önerilmektedir.






Matematik felsefesi

Matematik felsefesi, matematiği anlama çabalarını sınıflandırmaya çalışan bir felsefe dalıdır.

Başlıca soruları matematik ve matematiğin konusu olan nesnelerin kaynağı ile ilgilidir. Özellikle "doğru" bir önermenin özelliklerini inceler:


Diğer önemli bir konu matematiksel bir kuramın gerçekliğidir. 
Matematik (Doğa Bilimlerinden farklı olarak) deneysel olarak sınanamadığı için belirli bir matematik kuramını gerçek bulmak için nedenler aranmaktadır (Bkz. Epistemoloji). Luitzen Brouwer’in temellerini attığı Sezgici Matematik bu görüşün bilenen temsilcilerindedir. Mantıkçı Matematik yaklaşımı ise Bertrand Russell ve Gottlob Frege tarafından savunulmuştur. David Hilbert, biçimcilik akımının temsilcilerinden sayılmaktadır. Gelenekselcilik mantıkcı görgücüler (Rudolf Carnap, Alfred Jules Ayer, Carl Hempel) tarafından temsil edilmiştir.
Matematik Felsefesindeki önemli konulardan biri de matematiğin kesinlik problemidir.Bu konuda Avusturyalı Matematik-mantıkçı Kurt Gödel'in çalışmaları önemlidir.





Tarayıcı (anlam ayrımı)





C (programlama dili)

AT&T Bell laboratuvarlarında, Ken Thompson ve Dennis Ritchie tarafından UNIX İşletim Sistemi' ni geliştirebilmek amacıyla B dilinden türetilmiş yapısal bir programlama dilidir. Geliştirilme tarihi 1972 olmasına rağmen yayılıp yaygınlaşması Brian Kernighan ve Dennis M. Ritchie tarafından yayımlanan "C Programlama Dili" kitabından sonra hızlanmıştır. Günümüzde neredeyse tüm işletim sistemlerinin (Microsoft Windows, GNU/Linux, *BSD, Minix) yapımında %95' lere varan oranda kullanılmış, halen daha sistem, sürücü yazılımı, işletim sistemi modülleri ve hız gereken her yerde kullanılan oldukça yaygın ve sınırları belirsiz oldukça keskin bir dildir." Keskinliği, programcıya sonsuz özgürlüğün yanında çok büyük hatalar yapabilme olanağı sağlamasıdır.
Programlamanın gelişim süreciyle beraber programlamanın karmaşıklaşması, gereksinimlerin artması ile uygulama programlarında nesne yönelimliliğin ortaya çıkmasından sonra C programcıları büyük ölçüde nesne yönelimliliği destekleyen C++ diline geçmişlerdir.

C'nin ilk gelişme safhaları 1969 ile 1974 arasında AT&T Bell Laboratuvarları'nda gerçekleşti. Ritchie'ye göre, en yaratıcı devre 1972 idi. Dilin pek çok özelliği "B" adlı bir dilden türediği için, yeni dile "C" adı verildi. B dili yorumlanan bir dildi ve veri tipi desteği yoktu. Yeni donanımların farklı veri tiplerini desteklemesi, ve yorumlanan dillerin çalışma zamanında görece yavaş olması sebebi ile, C dili, tip desteği eklenmiş ve derlenen B olarak geliştirildi.

"B" adının kökeni konusunda ise söylentiler değişik: Ken Thompson B'nin BCPL programlama dilinden türediğini söylemektedir, ancak Thompson eşi Bonnie'nin onuruna adını Bon koyduğu bir programlama dili de geliştirmiştir.

1973'e kadar C yeterince güçlü bir hale gelmiş ve ilk başta PDP-11/20 assembly dili ile yazılan UNIX'in çekirdeğinin büyük kısmı C ile yeniden yazılmıştı.

Böylece UNIX, çekirdeği bir assembly dili ile yazılmayan ilk işletim sistemlerinden biri olmuştu.

1978'de Ritchie ve Brian Kernighan "The C Programming Language (C Programlama Dili)" kitabının ilk baskısını yayımladılar. C programcıları tarafından "K&R" olarak bilinen bu kitap, yıllar boyunca C dilinin gayriresmi standardı olarak kullanıldı. C'nin bu sürümü bugün "K&R C" olarak adlandırılır. Bu kitabın ikinci baskısı ise aşağıda anlatılan ANSI C standardını içerir.

K&R dilde şu değişiklikleri yaptı:


K&R C genellikle tüm C derleyicilerinin desteklemek zorunda olduğu dilin en temel kısmı olarak kabul edilir. Uzun yıllar boyunca, ANSI C'nin kabul edilişinden sonra bile, yüksek taşınabilirlik ( "portability") istendiğinde, K&R C, C programcıları tarafından "ortak payda" olarak kabul edilmiştir çünkü bazı derleyiciler henüz ANSI C'yi desteklemek üzere güncellenmemişlerdi ve zaten iyi yazılmış bir K&R C programı aynı zamanda ANSI C'yi de destekliyordu.

K&R C'nin yayımlanmasını izleyen yıllar içine dile AT&T'nin derleyicilerinin ve bazı başka bilgisayar üreticileri tarafından desteklenen kimi "gayriresmi" özellikler eklendi. Bunların içinde aşağıdaki özellikler de vardı:


1970'lerin sonunda C, en çok kullanılan mikrobilgisayar dili olarak BASIC'in önüne geçmeye başladı. 1980'lerde ise, IBM PC ile kullanılmak üzere benimsenmesiyle birlikte popülaritesi iyice artmaya başladı. Aynı zamanda, Bell Laboratuvarları'nda Bjarne Stroustrup ve iş arkadaşları C'ye nesneye yönelim eklemek üzere çalışmaya başlamışlardı. C bugün UNIX dünyasında en çok kullanılan dil olarak kalırken, Stroustrup'un geliştirip C++ adını verdiği dil Microsoft Windows işletim sisteminde en önemli dil oldu.

1983'te Amerikan Ulusal Standartlar Enstitüsü (ANSI) bir C standardı oluşturmak için bir kurul oluşturdu. Uzun ve yorucu bir çalışmadan sonra, bu kurul standardı 1989'da tamamladı ve standart ANSI X3.159-1989 "Programming Language C (C Programlama Dili)" olarak yayımlandı. Dilin bu versiyonu genellikle ANSI C olarak adlandırılır. 1990'da bu standart, küçük değişikliklerle Uluslararası Standartlar Örgütü (ISO) tarafından da benimsenip ISO/IEC 9899:1990 olarak yayımlandı.
ANSI C'yi oluşturmanın amaçlarıdan biri K&R C'yi içeren ve dile sonradan katılan "gayriresmi" özellikleri de dile katan bir standart oluşturmaktı. Standart k fonksiyon prototiplerini ve daha yetenekli bir önişlemciyi de standarda ekledi.

Bugün artık ANSI C neredeyse tüm derleyiciler tarafından desteklenmektedir. Günümüzde yazılmakta olan C programlarının çoğunluğu ANSI C standardına uygun olarak yazılmaktadır. "Yalnızca" standart C kullanılarak yazılmış bir program, standarda uyumlu her derleyici ile doğru bir biçimde derlenip çalıştırılabilir. Ancak, standart olmayan kütüphaneler kullanılarak yazılmış programlar belli bir platform ya da derleyici gerektirebilirler...

ANSI standartlaştırma işleminden sonra C dili uzun bir süre oldukça sabit kaldı, ancak C++ gelişmeyi sürdürdü. Buna bağlı olarak, 1990'ların sonunda ISO standardı güncellendi ve 1999'da ISO 9899:1999 olarak yayımlandı. 2000 yılının Mart'ında ise, "C99" olarak bilinen bu standart ANSI tarafından da benimsendi.

C99'un yeni özellikleri şöyle özetlenebilir:


Örneğin codice_14 deyimi c99 da geçerli iken c89 da geçerli değildir...


C99'u bugün GCC ve bazı başka derleyiciler desteklemekteyken, Microsoft ve Borland derleyicilerine C99 desteği eklemekte isteksiz davranmaktadırlar.

Merhaba, dünya örneği ilk olarak "The C Programming Language" kitabının birinci baskısında kullanıldı ve birçok programlama kitabında kullanılan tanıtıcı örnek haline geldi. Bu örnek ekrana ya da terminal ekranına "merhaba, dünya" yazar.

Kitaptaki kodun orijinal hali:
Standart olarak onaylanan "merhaba, dünya" versiyonu:
1. satır : Bir önişlemci komutudur ve daha program derlenmeden önce devreye girerek istenilen değişiklikleri kaynak dosya üzerinde gerçekleştirir. Bu programda codice_21 (standart input-output) başlık dosyasını programa dahil eder. Bu başlık dosyasında standart giriş-çıkış fonksiyonlarının prototipleri mevcuttur. Burada programdaki komutun amacı codice_22 fonskiyonunu programa dahil etmektir.

2. satır : Bu satırda programda işe codice_