Yazılımbilim - 1. Bölüm

0
malkocoglu
malkocoglu
23 Ocak 2004 , 1 dakika okuma süresi
Teorik yazılımbilim, günümüzdeki bilgisayarların soyut temelini oluştuyor. Bu alanda isimleri tanıdık gelen Turing, Church gibi kimseler olduğu gibi, diğer alanlardan bilim adamları mevcuttur, mesela Kurt Gödel. Tarihçesi belki de ünlü matematikçi Hilbert'in 1900 yılında bir beyan ettiği "açık problemler"'den 10'cusuna kadar giden yazılımbilim, bir problemin çözülebilirliğini ispat etmek için algoritmanın ne olduğundan başlayarak, bazı algoritmaların çözülemeyeceğini bulmak ile devam etti, ve nihai olarak günümuz donanımının altyapısını hazırlayarak önemli bir alan olarak kendini ispat etti.
Yazılımbilim'in alt bölümü olan hesapsal yük teorisi (computational complexity) altında algoritmaların üzerindeki yükü, ne kadar hızlı işleyeceklerini ölçmeye ve bu bağlamda onları kategorileştirmeye uğraşmaktadır.

Ekteki yazılar, hesapsal yük teorisine devam etmek üzere yapılan bir giriştir. İlk önce Turing makinalarını tanımla başlamıştık, fakat bunun sayılar kuramına girmeden yapılmayacağını farkettik, ve ekteki yazılar çıktı. NP-tam'lığa geleceğiz! Seyretmeye devam edin.

Hesapsal Yük Teorisi

Sonsuza Giden İkili Sayıların Kümesi

Sonsuzluklar Arasındaki Farklar

Durmayan Turing Makinalar? Var mıdır?
kitap
4
Linkedin Facebook Twitter Google plus

Görüşler

sametc
0
sametc
helal olsun super makaleler yazılmıs ve cevrilmiş:)
malkocoglu
0
malkocoglu
tesekkurler!
FZ
0
FZ
Wilde mı yoksa Shaw mu demişti hatırlamıyorum, klasik eserler için şöyle bir laf vardı: Herkesin bildiği ama hiç kimsenin okumadığı kitaplar. :) Doğruluk payı yok değil ;-)

Bu güzel bilgisayar bilimleri ve matematik makaleleri için teşekkürler. Bazı kavramlar gerçekten zordur. Sonsuzluk türleri, yakınsaklık vs. gibi kavramlar başlangıçta basit gibi görünmekle birlikte insan beynini alışılmış kalıpların dışına çıkmaya zorladıkları için garip ruh hallerine yol açabilirler. Cantor ve Gödel gibi aşırı yoğun ve derinlemesine düşünüp, genç yaşta çok acayip eserler veren adamların hayatı incelendiğinde bu durum daha iyi anlaşılabilir.

Bu makaleler bana yazımın başındaki sözü hatırlattı. Yani matematik ve bilgisayar bölümü öğrencileri bunları öğrenirler sonra bunların %99´u gider (en azından Türkiye´deki durum böyle :) programcı olur, genellikle de web programcısı (ITU kitaplığında son birkaç yıl içinde gerçekleştirilen kütüphane kitap alım istatistiklerine göre, mühendislik öğrencileri kendi dersleri ile ilgili kitaplardan ziyade deliler gibi PHP, MySQL ve Apache kitabı almaktadırlar, insanların kafasında olan net düşünce görüldüğü gibi veritabanına bağlı, bir miktar kullanıcı güncelleme izni olan ve hemen hepsi öyle ya da böyle birbirine benzeyen binlerce web sitesi yapmaktır, evet insanlarımız gerçekten de yaratıcıdır :). Ve o beyinler acayip rutin olan kod yazma ve saç ağartan bir iş olan hata ayıklama sürecinde büyük bir değirmende öğütülen buğday taneleri gibi öğütülür. Binlerce sayfalık dokümantasyon sürekli okunur, parametreler ezberlenmeye, API çağrıları netleştirilmeye çalışılır. Artık kimsenin Turing´di, Gödel´di, Cantor´du, vs. düşünecek hali yoktur. Özellikle de banka ortamında yazılım geliştiriyorsanız sizden kafayı gömmenizi ve çek, senet, hesap, SQL, ORACLE, gene SQL, Java, sınıflar, binlerce sınıf, metod, özellik, gene SQL, hadi deadline geldi, aaa kodda hata çıkmış, bu nasıl programcı, evet daha çok çalışmalıyız, sistemler daha ucuza gelmeli, her zaman beklenenden daha çabuk bitirilmeli, evet yeni versiyon çıkmış yeni dokümantasyon beyne kazınmalı... Bu delirtici döngü böyle sürer gider.

Belki de Programlamanın Tao´sunda dendiği gibi ( http://www.fazlamesai.net/modules.php?name=News&file=article&sid=976 ) C ile çekirdek kodlayan programcıların işi bu bakımdan daha kolaydır :)

Neyse, ben susayım artık :)
malkocoglu
0
malkocoglu
Vallahi bizim de doktora planlari olmasa herhalde bu konulara pek ilgimiz olmayacakti; uzun zamandir biz de bilgi islemde Java siniflari, SQL kodlari ile ugrasmaktayiz, herhalde bir sure de ugrasmaya devam edecegiz. Aslinda, bilgi islem sektorune sahsima ilk altin bilezigi sagladigi icin mutesekkirim. Proje idaresi, teknik liderlik, vs. konularinda cok sey ogrenmemize vesile oldu. Hatalar, dokumantasyon gibi cok hammaliyesi oldugu dogru ama! Aah su yazilim muhendisligi bir matematiksel tabana oturtulsa. Hangi tasarimin daha iyi olacagini karar vermek icin Mortal Kombat yapmaya gerek kalmamali. Sektor su anda agirlikli tecrube (heuristics) temelli gitmektedir. Bu yuzden tecubelerin paylasilmasi hayati onem tasiyor. Sizin de sitenizden, bizim de yapmaya calistigimiz bu zaten...


Görüş belirtmek için giriş yapın...

İlgili Yazılar

Dilbilim ve Linux Buluşması: Morphix-NLP İncelemesi
FZ
13 Aralık 2003, 1 dakika okuma süresi

DDİ (Doğal Dil İşleme, NLP - Natural Language Processing) yaklaşık son 40 yıldır önemli bir araştırma disiplini olagelmiştir. Dilbilim ve bilgisayar bilimleri yöntemlerini bir araya getiren bu alanda pek çok değişik uygulama ve çözüm bekleyen önemli problemler mevcuttur. Farklı dillerdeki çok büyük metin dosyalarını incelemek, örüntüleri (pattern) keşfetmek, dönüşümleri gerçekleştirmek, metinleri otomatik olarak sınıflandırmak, konuşma sentezlemek ve konuşmayı anlayıp metne dönüştürebilmek, bilgisayarları bizim anadilimizi anlayabilir hale getirmek yani onlara semantik yetiler kazandırmak, vs. DDİ dalındaki önemli meselelerden sadece birkaçıdır.

Erciyes Üniversitesi Linux Topluluğu GNU/Linux Dergisi Çıkardı
anonim
25 Ocak 2008, 1 dakika okuma süresi

Bilişim Kulübü altında faaliyet gösteren Erciyes Üniversitesi Linux Topluluğu (EULT) 2007 yılında kuruldu. Açık kaynak kodlu yazılıma katkıda bulunmak, GNU/Linux'a yeni başlayanlara rehberlik etmek amacıyla yola çıkan topluluk 2008 Ocak ayı itibarı ile e-dergisinin ilk sayısını yayınladı.

Dergiye http://universitem.erciyes.edu.tr/eult_e_dergi_1.pdf adresinden ulaşabilirsiniz.

Veri Yapıları ve Algoritmalar
polat
22 Şubat 2003, 1 dakika okuma süresi

Veri Yapıları ve Algoritmalar (Program Tasarımı ve Yazılım Mühendisliğinde) program geliştiren, matematik ve mühendislik problemlerini bilgisayar ortamında çözmek isteyen, iş dünyasına yönelik yazılım tasarımları yapan her düzeyden programcı veya yazılımcılar için ciddi bir başvuru kitabıdır. Kitap, aynı zamanda, üniversitelerin bilişimle ilgili bölümlerinde okutulan Veri Yapıları ve Algoritmalar dersleri için bir ders kitabı özelliğindedir. Program ve yazılım tasarımında, ciddi bir bakış açısı yakalamak isteyenlere önerilir...

Open Source Development with CVS, 3rd Edition
anonim
18 Şubat 2005, 1 dakika okuma süresi

CVs konusundaki bir soruma yanıt ararken rastladım bu kitaba. Benim gibi CVS ye yeni başlayanlar için herşeyi sıfırdan alarak hayat kurtaran bir kitap. Karl Fogel ve Moshe Bar ın yazdığı bu kitabı CVS kurması yönetmesi veya kullanması gereken herkese tavsiye ederim.

Ah.. En iyi kısmı yazmayı neredeyse unutuyordum. Kitabı bu adresten ücretsiz olarak indirebilirsiniz.

Knoppix Rehberi
yuxel
1 Ocak 2005, 1 dakika okuma süresi

Knoppix'e yeni başlayanlar için bir rehber : Knowing Knoppix.

GNU/Linux'un ne olduğundan, Knoppix'in ne olduğuna; açılış parametrelerinden, KDE'ye; yerel ağ kurulumundan, yazdırma işlemlerine kadar pek çok konuyu basit bir dille anlatan faydalı bir eser.

Editörün Notu: Knoppix ile ne kadar acayip şeylerin yapılabileceğini merak edenlere iki adres daha: Knoppix Hacks ve True Stories of Knoppix Rescues