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

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.

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.

Yazıcıdan Güzel Kod Basmak (Pretty Print)

malkocoglu
1 Haziran 2004, 1 dakika okuma süresi

Kod gözden geçirme (code review) toplantılarında olmazsa olmaz olan "2 kod sayfası bir yazıcı sayfasına" denk gelecek, ve her satırın numaralı olacak şekilde gosteren bir yazıcı çıktısıdır. Bunun için kullanılan enscript programının kuruluşu, Ghostview, Ghostscript ve Emacs ile yapılan bağlantılarının nasıl olacağını aşağıdaki yazıda anlatılmıştır.

http://www.bilgidata.com/yazi.jsp?dosya=a_enscript.xml

Root-Kit´lerin tesbit edilmesi ve temizlenmesi

cayfer
8 Ocak 2004, 1 dakika okuma süresi

İyi korunmayan GNU/Linux sistemlerinin başının belası olan Root-Kit lerin tesbit edilmesi ve temizlenmesi ile ilgili bir uygulama notu:

Google, bu konuda çok yazı/mesaj bilmekle beraber derli toplu bir temizleme dökumanı bilmiyordu. Biz de böyle bir nottan daha fazla insanın yararlanabilmesi düşüncesiyle dökumanı ingilizce hazırladık. Öte yandan, notların hitap ettiği kullanıcı grubu olan sistem yöneticilerinin bilişim ingilizcesi ile yazılmış dökumanları okuyabileceklerini varsayıyoruz.

Root-kit'ler NT ve Linux işletim sistemlerine bir şekilde root veya admin olarak erişim sağlamayı başaran sistem kırıcılarının kendilerini gizleyerek rahat rahat çalışmalarına izin veren bir yazılım grubu.

Deneyimlerimiz yalnızca Linux ortamında olduğu için notlarımız da yalnızca Linux için.

Bilim ve Gelecek: 3. sayı çıktı

FZ
13 Mayıs 2004, 1 dakika okuma süresi

Bilim ve Gelecek dergisinin son sayısından FM okurlarının ilgisini çekebilecek birkaç konu başlığı:

Kopernik Devrimi'nin tamamlanış öyküsü: Newton Evreni
Erdal İnönü ile 50 yıl sonra gelen ödül üzerine
Kim demiş kadınlar matematik yapamaz diye!
Türlerin yok oluşu
Bilgisayar mühendisliği eğitimi nasıl olmalı? - Matematik altyapı ve tarihe başvurunun önemi