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

D. E. Knuth´tan Özel Dersler

malkocoglu
10 Mayıs 2004, 1 dakika okuma süresi

Dr. Bilgisayar Bilimi'nin kendisinden özel ders almak ister miydiniz? Donald Knuth'un bilgisayar bilim derslerini buradan izleyebilirsiniz.

Özgür Yazılım Projeleri başarıyla nasıl yürütülür?

roktas
18 Ekim 2005, 1 dakika okuma süresi

CVS ve Subversion'un arkasındaki isim: Karl Fogel'den bir kitap: Özgür Yazılım Projeleri başarıyla nasıl yürütülür?. Diktatör proje yöneticilerinden, proje içi iletişime, "Nasıl geçiniyorsunuz peki?"den, proje sürüm kriterlerine kadar uzanan bir dizi konuyu da irdeleyen kitap özgür bir lisansla sunulmuş. Afiyet olsun!

Yeniden Düzenleme (Refactoring) Video Sunumu

malkocoglu
3 Nisan 2003, 1 dakika okuma süresi

Yazılım mühendisliği dünyasında özellikle XP (eXtreme Programming) gruplarında, "Yeniden Düzenleme" (Refactoring) tekniği oldukça ilgi görmeye başladı. Birim testler mevcut ise, kodumuzun tasarımını değiştirmenin artık bir ismi, değişik teknikleri ve de destekleyen yardımcı programları var.

Emacs üzerine eklenti olarak kullanılan Xrefactory böyle bir program. Xrefactory kuruluşu, kullanılışı (ilk kez video ile) sitemizde yayınlandı.

Kent Pitman Lisp ve ötesi ile ilgili soruları yanıtladı - Bölüm 1

FZ
11 Kasım 2004, 50 dakika okuma süresi

Kent Pitman, 2001 yılının sonuna doğru Slashdot camiasının Lisp/Scheme, standartlar, yazılım geliştirme ve diğer konulardaki sorularını cevapladı, merakları nı giderdi. Bir hayli detaylı olan bu soru cevap seansı uzunluğundan ötürü iki bölümde yayınlandı. Birinci bölüm huzurlarınızda...

Algoritmalar

Tarık
22 Nisan 2010, 1 dakika okuma süresi

Prof. Dr. Vasif Vagifoğlu Nabiyev tarafından algoritma konusunda hazırlanmış ilk Türkçe başvuru kaynağı. Genel ve güncel birçok algoritmanın olması gerektiği gibi cebirsel analizleriyle ele alındığı derli toplu ilk Türkçe kitap.