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

POZİTİF Mayıs sayısı çıktı!

batasoy
6 Mayıs 2006, 1 dakika okuma süresi

Ücretsiz bilgisayar dergisi Pozitif'in Mayıs sayısı da 211 sayfalık geniş bir içerikle yayınlandı. Dergiye, www.pozitifpc.com adresinden ulaşabilirsiniz.

Bu ay dergide kendi GNU/Linux dağıtımınızı yapmak, webmin ile sistem yönetimi, para harcamadan soğutma performansını artırmak gibi konulara yer verilmiş.

Özellikle "Kendi Linux dağıtımını hazırlama" konusu pekçok Linux yandaşının ilgisini çekecek

Her Nesil Kendi Filozofunu Yaratır

barbaros
30 Aralık 2004, 10 dakika okuma süresi

Richard Stallman'ın kitabı için Stanford Hukuk Fakültesi Hukuk Profesörü Lawrence Lessig tarafından yazılan giriş bölümü...

Her nesil kendi filozofunu yaratır-bir yazar, ya da zamanın görüntüsünü yakalayan bir sanatçı. Kimi zaman bu filozoflar böyle tanımlanır; çoğu zaman bu tespitin doğrulanması nesiller alan bir zamanda gerçekleşir. Tanımlansın ya da tanımlanmasın, tarih ideallerini konuşan insanlar tarafından şekillenir. Belki bir şiirin fısıltısında, belki de politik bir hareketin haykırışlarında.

Bizim neslimizin de bir filozofu var. O bir sanatçı ya da profesyonel bir yazar değil. O, bir programcı.

Greg Wilder ile müzik, yaratıcılık ve GNU/Linux üstüne

FZ
15 Kasım 2004, 17 dakika okuma süresi

Bilgisayarla müzik besteleme ve düzenleme konusunda önemli çalışmaları olan Greg Wilder ile müzik, bilgisayarlar, işletim sistemleri, yaratıcılık, yapay zekâ ve doğaçlama üstüne bir röportaj gerçekleştirdik.

Wilder onca iş güç arasında bizi kırmayarak sorulara epey detaylı cevaplar verdi ve Türkçe konuşan bilgisayar ve müzik dünyası ile iletişim kurabilmiş olmaktan ötürü memnuniyetini belirtti. Bu röportaj şerefine daha önce yayınlamamış olduğu iki parçayı MP3 olarak röportajın sonundaki bağlantılardan edinip dinleyebilirsiniz.

3... 2... 1... Yayındayız!

SSH ve Public Key Doğrulaması

cbc
21 Ağustos 2004, 1 dakika okuma süresi

SSH ve Public Key Doğrulaması ile ilgili birkaç paragraf yazı yazdım. Birilerinin işine yaraması dileği ile.

EnderUNIX ten 1000 tane Türkçe ipucu

hbilgil
22 Mart 2007, 1 dakika okuma süresi

Dünyanın en büyük ipucu arşivi haline gelen EnderUNIX ipucu sitesi türkçe ipuclarında 1000. ipucunu devirmiştir. Evet, tam olarak 1000 türkçe ve 200 e yakın ingilizce ipucu sizlerin de destekleri ile yayınlanmaktadır. Haberin linkine buradan Siteye ise buradan ulaşabilirsiniz.