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

Port Tarayıcıların Tehlikeleri, Yöntemleri, Karşı Savunma Stratejileri

FZ
12 Ocak 2004, 1 dakika okuma süresi

Bilindiği gibi internet üzerindeki cihazların birbirleriyle konuşmasını sağlayan protokol ailesi TCP/IP'dir. Bu protokol grubunu düşündüğünüzde, asla herkese açık bir ağ üzerinden gizli bilgiyi gönderilmek amacıyla tasarlanmadığını görülür. Tasarlandığı dönemde, her zaman iletişimin özel ve güvenli hatlar üzerinde olacağı düşünüldüğünden bu yönden her hangi bir geliştirme düşünülmemiştir.

Serbülent ``Nightwalker´´ Ünsal´ın bu çalışmasında, bu gerçeği en ustaca kullanan araçlardan biri, port tarayıcılar incelenmiştir. Ancak burada şunu belirtmek gerekir ki; konun çok geniş bir kapsamı olması sebebiyle makalede büyük ağların ve ana bilgisayarların değil, genel olarak son kullanıcıların ve kişisel sistemler ile küçük ağların bu tehdit karşısındaki durumları incelenmiştir.

Xmame : Birkaç Romalı Dövelim Mi?

darkhunter
9 Haziran 2005, 4 dakika okuma süresi

Xmame, zamanında Atari salonlarında harçlıklarımızı tükettiğimiz oyunları GNU/Linux'a taşıyan bir emülatör. Emülatörler ve Emülasyon hakında daha fazla bilgi almak için buraya bakabilirsiniz. Bu klavuz xmame'in Debian GNU/Linux altında kurulumunu ve çalıştırılmasını anlatmaktadır. Ek olarak günün stresini Romalı döverek atmak isteyenlere yol göstermektedir. ;-)

Belgeler.org 1.3.2 ve GNU/Linux man Sayfaları

yalcink01
16 Şubat 2004, 2 dakika okuma süresi

Ülkemizdeki, GNU/Linux ve Özgür Yazılım belgelendirme ve yerelleştirme projelerinden en iyilerinden birisi olan belgeler.org projesi yoluna emin adımlar ile devam ediyor. Site yeniden güncellendi ve 44 adet yeni man sayfası çevirisi eklendi. Daha önce FM ana sitede duyurduğumuz Bootdisk HOWTO çevirisi ve LinuX Sistem Yöneticisi Kılavuzu´nun güncellenmiş hali (sürüm 0.8) de siteye eklendi. Benim dikkatinizi çekmek istediğim nokta, kılavuz çevirilerinden ziyade, man sayfalarının durumudur.

Diff ve Patch Kullanımına Giriş

Armish
27 Ocak 2004, 1 dakika okuma süresi

Bu araçlar programlama veya program kodları ile uğraşanlar için bazen hayat kurtarıcı olabilyor. diff ve patch'i kullanmak konusunda az da olsa bilgim olsun diyorsanız bu yazı size yardımcı olabilir.

"Enterprise" Açık Kodlu Çözümler Dergisi: O3

anonim
24 Kasım 2005, 1 dakika okuma süresi

"Enterprise" seviye için geliştirilen açık kaynak kodlu yazılımla ilgilenen arkadaşların takip edebileceği kamuya açık bir dergi yayınlanmaya başladı. Sitesine burdan ulaşabilirsiniz.

Derginin pdf versiyonuna burdan, torrent dosyasına ise burdan ulaşabilirsiniz.

Kaynak: /.