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

Yeni bir E-dergi : pozi+if

boreas
9 Mart 2006, 1 dakika okuma süresi

E-lapis, penguence gibi ücretsiz dergilerin arasına yaklaşık üç ay önce yayına başlayan yeni bir e-dergi pozi+if eklendi. Programlama, özgür yazılımlar gibi konuların yanında donanım ve yazılım testi gibi konularada ağırlık veren bu dergi yaklaşık 200 sayfalık içeriğiyle umut vaad ediyor.

Adres : http://www.pozitifpc.com/

Ve yine Kevin Mitnick, bu sefer basımdan önce kaldırılmış ilk bölüm

Phaedrus
6 Şubat 2003, 1 dakika okuma süresi

Kevin Mitnick´in yazdığı Art of Deception adlı kitaptan Wiley yayınevi tarafından basımdan hemen önce çıkartılan ilk bölümü Bu adreste okuyabilirsiniz. Genel olarak bu bölüm Mitnick´in geçirdiği kaçak günleri, hapisteki zamanlarını ve medyada Mitnick´in adıyla ve düzenlediği asılsız, popülist haberlerle, ardından da yazdığı kitapla milyon dolarlar kazanan gazeteci John Markoff´u anlatıyor.

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.

LINUXnet 4. Sayı Çıktı

anonim
22 Eylül 2005, 1 dakika okuma süresi

LINUXnet'in 114 sayfalık 4. sayısını, tam sürüm Fedora Core 4 dağıtımı ve LINUXnet Özel CD'sinden oluşan 5 CD'lik özel setiyle beraber bayilerden edinebilirsiniz.

İçerik hakkında daha detaylı bilgiyi www.linuxnet.com.tr adresinden edinebilirsiniz.

Kümesteki Kartal Neden Uçamaz? Türk Girişimcilerin Internet Serüvenleri

FZ
3 Kasım 2005, 1 dakika okuma süresi

Nevzat, Amerika'daki yüksek lisans eğitimini yarıda bırakıp Türkiye'ye döndüğünde, kendisine gelecek vaad eden bankadaki işinden ayrılan Melih'le birlikte risk dolu bu projeye atıldı. Cem de diğer işlerini bırakıp teklif edilen ortaklığı kabul etti. Kendilerini bekleyen zor günleri hiç bilmiyorlardı. Ufak bir adımla yemeksepeti.com'un uzun yolculuğuna başladılar.

Burak ve Serkan, üniversite hayatları boyunca aldıkları eğitimi düşünmeyip mimarlık yapmaktan vazgeçtiler. Kurulu düzenlerini bozdular. Evden çalıştılar. Sıkıntı çektiler. Birlikte gittigidiyor.com adındaki hayallerinin peşine düştüler.