Kısıt Koşul Programlama

Roman Barták'ın "On-line Guide to Constraint Programming" (Kısıt Koşul Programlamaya Giriş) kılavuzu farklı bir yazılım geliştirme paradigması için öenmli bir kılavuz niteliğinde.

Kısıt koşul programlama, kabaca istenen çözümün sağlaması gereken şartların (kısıt koşulların) sunulduğu ve çözümün adım adım tarif edilmediği programlama şekli olarak tanımlanabilir.

Kısıt koşul programlama gitgide popülaritesini artırmaya başladı, Mozart Programming System gibi somut uygulamalar pek çok problemin çözümünde kullanılıyor. NP-zor problemler, yapay zekâ, mantık, elektronik, bilgisayar grafikleri gibi konularda çalışan yazılımcıların kısıt koşul programlama konusunda bilgi sahibi olmalarında fayda var.

Kaynak: Computer Science Daily News

İlgili Yazılar

Yazılım Şirket Çeşitleri

anonim
18 Temmuz 2003, 1 dakika okuma süresi

Bu yazımızda, yazılım üreten şirketlerin hangi kategorileri oluşturduğunu, bu kategorilerin tarihini birkaç örnek ile göstermeye çalışacağız. Kategorilerden birisi olan "ürün şirketi", rahatça bilinen ve tasvir edilen bir şirket olsa da, öteki şirket türü, danışman şirketi, yaygın olarak bilinmeyen yazılım şirketleridir. Yazının bilgilendirici olacağını umuyorum.

Yazının devamı

Matematik Dünyası - Yeni Sayı Çıktı

FZ
26 Şubat 2004, 1 dakika okuma süresi

Türkiye´nin yegâne popüler matematik ve bilgisayar bilimleri dergisi Matematik Dünyası´nın son sayısı çıktı.

İstanbul Bilgi Üniversitesi desteği ile çıkan derginin son sayının kapak konusu ``2 x 2 = 4´´. Evet yanlış okumadınız. Aşikar gibi görünen bu ifadenin temel kavramlar oluşturulup nasıl ispatlandığını bu sayıda okuyup matematiğin harika dünyasında eğlenceli bir gezintiye çıkabilirsiniz.

Bilgisayar bilimcilerinin ilgisini çekecek bölümlerden biri ise Chris Stephenson´un Bilgisayar Bilimi köşesinde ele aldığı ``Sayıları Tepeleyerek Sıralamak´´ başlıklı makale. Bu yazıda çeşitli sıralama algoritmalarının algoritmik karmaşıklığı inceleniyor ve ilginç örnekler veriliyor.

İstatistiklere göre derginin abone sayısı 4200´ü, satışı ise 8000´i geçmiş durumda ancak Prof. Dr. Ali Nesin, bunun Türkiye´nin nüfusuna (ve genç nüfusuna) sahip bir ülke için hala çok düşük olduğunu vurguluyor haklı olarak. Bu sayının artmasını ümit ediyoruz.

Administrative tools

HoLY
3 Nisan 2002, 1 dakika okuma süresi

Dsniff, MRTG, IP Flow Meter, Tcpdump, NTOP, Ngrep ve diğerleri hakkında açıklamada bulunan PDF formatında bir döküman. Neden ve nasıl ağı dinleyebileceğimizi örneklerle de açıklamışlar saolsunlar:) Döküman bu linkte

belgeler.org Güncellendi

FZ
11 Mart 2003, 1 dakika okuma süresi

Açık sistemlerle, GNU/Linux'la, Debian'la, yazılım geliştirmeyle, güvenlik ve daha bir ton teknik işle anadilinde uğraşan ve uğraştıran kişilerin kutsal sitelerinden belgeler.org yine bomba gibi belgelerle güncellendi! Son eklenenler arasında neler mi var? Hemen arz edelim:

Otostopçunun Galaksi Rehberi : Yeniden Raflarda

butch
22 Mayıs 2004, 1 dakika okuma süresi

"Galaksinin haritası bile çıkarılmamış ücra bir köşesinde, gözlerden uzak bir güneşin yörüngesinde, tamamıyla önemsiz küçük bir gezegen döner. Gezegenin maymundan gelen halkı genellikle mutsuzdu. Ağaçlardan inmekle büyük hata yaptıklarını düşünenlerin sayısı gün geçtikçe artıyordu. Bazıları ağaçlara çıkmanın bile yanlış bir hamle olduğunu ve okyanuslardan asla ayrılmamış olmaları gerektiğini söylüyordu. Sonra adamın birinin, sırf değişiklik olsun diye bundan böyle nazik davranmanın ne kadar iyi olacağını dile getirdiği için ağaca çivilenmesinden yaklaşık iki bin yıl sonra, bir perşembe günü, o önemsiz gezegen bir kestirme yol uğruna yok olup gidecekti. Ama bilinmeyen gerçek şuydu ki gezegenin yaratılış amacı yalnızca Nihai Soruya cevap bulmak için yapılan bir deneydi..."

Douglas Adams'ın efsane dizisi Otostopçunun Galaksi Rehberi yeniden raflarda. (Kabalcı Yayınevi)