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

RSS Dosyası Yapısı

ctengiz
25 Kasım 2004, 4 dakika okuma süresi

RSS aslında sitelerin içeriklerini başlıklar şeklinde sunmak için kullanılan bir teknoji ve temeli de bir XML dosyası. Açılımı Rich Site Summary veya Really Simple Syndication. İlk olarak 1999 Netscape tarafından ortaya çıkarılan bu teknoloji daha sonra çeşitli gruplar tarafından geliştirildi. Tarihçe ve versiyonlar ile daha detaylı bilgi için yazının sonundaki kaynaklara başvurulabilir.

Hızlı ve Kirli Bir mod_chroot Kılavuzu

anonim
26 Temmuz 2006, 1 dakika okuma süresi

Apache ile çalışıyorsanız güvenlik işlemlerinin en başında yer alan şartlardan biri Apache'yi kafes içinde çalıştırmaktır.

Ancak klasik kafesleme yaklaşımları bazen insanın sabrını zorlayacak derecede karmaşık ve problemli olabiliyor ( Kişisel görüş kimseyi bağlamaz :) ) .

Ben kendi çözümümü mod_chroot ile hızlı ve kolay biçimde tamamlarken ortaya bu belge çıktı. Her ne kadar sürç-i lisan ettikse affola...

OpenBSD'de Basit Ağ Ayarları ve PF (Packet Filter) Kullanımı

honal
25 Ağustos 2004, 1 dakika okuma süresi

OpenBSD üzerinde PF(PacketFilter) kullanarak kendi "firewall" sistemlerini oluşturmak isteyenler için yol gösterici olabilecek bir dökümanı http://cc.kou.edu.tr/huzeyfe/openbsd/pf.pdf adresinden elde edebilirsiniz.

Fazla mesai süründürür!

ErdemDemir
28 Nisan 2006, 2 dakika okuma süresi

Geçen gün kitaplığımı düzenlerken, 10 yıl kadar önce okumuş olduğum Paul Lafargue'ın yazdığı "Tembellik Hakkı" kitabını yeniden okuma şansı buldum. Bir defa daha ezberimi bozan bu kitabı fazlamesai (!) camiasıyla paylaşmak istedim.

Paul Lafargue İnternet Arşivi

"Tembellik Hakkı"

Ve alıntılar, sadece fikir verebilmek için...

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

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.