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

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:

EncFS ile dosya sistemi şifreleme ve kolay kullanım

FZ
15 Nisan 2005, 1 dakika okuma süresi

FM editörlerinden sundance'in "Userspace Filesystem Encryption with EncFS" başlıklı makalesi O'Reilly Linux Devcenter'da yayınlandı.

En kısa sürede Türkçe halini de FM ortamında görmek ümidiyle... ;-)

Apache güvenliği

conan
27 Kasım 2004, 3 dakika okuma süresi

Bu yazıda Apache'nin dağıtımla gelen halinden daha güvenli bir şekilde çalışabilmesi için yapmanızı tavsiye edeceğim bazı değişiklerlerden bahsedeceğim. Bu tavsiyelerden birçoğu ayar dosyalarıyla ilgili olacağından dolayı Apache httpd.conf dosyası hakkında bilgi edinmiş olmanızı öneririm.

Aşık Olacağınız Paylaşım Şekli: shfs

pismikrop
27 Temmuz 2005, 2 dakika okuma süresi

shfs için böyle bir başlık koydum çünkü ben aşık oldum. Artık elimdeki tüm sunucuları güvenli bir şekilde klasörlerimin içine bağlayıp eş-zamanlı iş yapabilirim. Ve iptables'ta tek izinli port ile.

Uzaktaki sunucuda ortak çalışma için öncelikle nfs'i denedik. NFS yerel ağda bir harikaydı. Ama uzaktan erişimi oldukça yavaş ve güvensizdi. Daha güvenli bir paylaşım için shfs biçilmiş bir kaftan. portmap, rpc gibi ek hizmetler gerektirmeyen harika bir paylaşım ortamı.

shfs için sunucu tarafındaki malzemelerimizi sayıyorum: bir adet ssh sunucusu :) istemci tarafındaki malzemelerimiz ise güncel çekirdek sürümünüze ait kernel başlıkları, shfs utils, shfs-source, gcc, module-assistant

Şimdi Debian GNU/Linux ile (ki ben Ubuntu kullanıyorum :) kuruluma sıra geldi...

Bilim ve Gelecek: 2. Sayı Çıktı

FZ
3 Nisan 2004, 1 dakika okuma süresi

Bilim felsefesinde büyük bir dönüşümü başlatan Thomas Kuhn´un gözünden Kopernik Devrimini okumak ister misiniz? Anadolu´da binlerce yıl önce yaşamış insanlara dair araştırmaların yapıldığı Hacettepe Üniversitesi Biyolojik Antropoloji Laboratuvarı´nda bir gezintiye çıkmaya ne dersiniz? Doğurgan sihirli kareler ilginizi çeker mi? Klingsor´un İzinde isimli bir kuantum roman başucu kitabınız olabilir mi? Psikiyatristlere başvuran hasta sayısına baktığınızda gördükleriniz size psikiyatrinin ilerlediğini mi yoksa insanların delirdiğini mi düşündürtüyor?

Yukarıdaki cümlelerin işaret ettikleri ilginizi çekiyorsa bir gazete bayisine uğrayıp Bilim ve Gelecek dergisinin ikinci sayısını alabilir, bu konuda kendini ispatlamış bir kadronun çıkardığı dolu dolu bir dergiyle vakit geçirmenin hazzını yaşayabilirsiniz.