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

Computer Programming Using GNU Smalltalk

FZ
5 Ekim 2009, 1 dakika okuma süresi

Smalltalk, ilk nesne yönelimli dillerden biri olarak pek çok başka platforma da esin kaynağı olmuştur. Bu önemli programlama dili için Canol Gökel tarafından yayınlanan "Computer Programming Using GNU Smalltalk" başlıklı bedelsiz kitabı buradan indirip okuyabilirsiniz.

50 Sene Sonra Üniversite Olacak Mı? E-öğrenme Üstüne Serbest Bir Diyalog

FZ
14 Şubat 2008, 1 dakika okuma süresi

Acaba sizce gelecek 50 sene içinde üniversiteler başta olmak üzere eğitim kurumları ve e-öğrenme nasıl şekillenecek? Bilgiye bakış açımız nasıl dönüşecek?

Bilgi biriktirme ve bunu sunmanın ötesine geçeceğimiz kesin. Günümüzde okul soru sormayı öğretmekten ziyade cevapları öğrenmeyi sağlayıcı bir rejime dönüşmüş durumda. Orta vadeli gelecek tahminlerimize göre, bilgi artık edinilmeye değer bir meta olarak görülmeyecek. Kolay elde edilen her şey toplumun gözünde değer yitirir ve aynı durum bilginin de başına gelecektir. Değer verilen şey güzel sorular olacak.

Unutmayın ki cevapların değeri düştükçe soruların değeri artar. Dolayısı ile insanları soru sormaya yöneltmek ve bunu sağlayacak türden soru sorabilme tekniklerini geliştirmek önemli olacaktır.

Yazının devamı buradan okunabilir.

Bilişsel Bilimler Kılavuzu - II

FZ
1 Şubat 2005, 15 dakika okuma süresi

Bilgisayarlar düşünebilir mi?: İnsan yanlısı, bilgisayar yanlısı, canlı yanlısı, robot yanlısı, bilişsel bilimciler derneği başkanı, Budacı bilge ve bekçi arasında bir söyleşme.

Giriş

Bu soru, kimilerine çok ilginç gelebilir; bilim-kurgu yapıtlarıyla dolup taşmışlar için ise yine o bildik sorudur. Ancak, burada yer alması, bu iki bakışın da bundan daha temel bir soruyu gözden kaçırmalarından kaynaklanıyor: İnsanlar düşünebilir mi?

İnsanların düşünebiliyor olduğuna eminizdir. Kendimizden biliriz. İçimizdeki seslerin dansı gibidir düşünmek. Dışavurmadan sürdürdüğümüz bir yarım tümcecikler silsilesi. Bizden tanımlanması istendiğinde, "hani var ya! Bunu herkes kendi içinde yaşar" deriz. Peki ama düşündüğümüze emin miyiz?

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.

Debian GNU/Linux İçin Paket Yapımı

yuxel
14 Kasım 2004, 1 dakika okuma süresi

Debian GNU/Linux'u en popüler dağıtımlardan birisi yapan şüphesiz ki paket yönetim sistemidir. Neredeyse tüm paketleri resmi depolardan (http://www.debian.org) veya gayri resmi yansılardan (http://www.apt-get.org) edinmek mümkün. Ancak bazen istediğiniz programı istediğiniz koşullarda paketlenmiş olarak bulamıyorsunuz. Bu durumda kendiniz kaynak koddan derlemek zorunda kalıyorsunuz. Daha sonraki kullanımlar veya arkadaşlarınızla paylaşmak için bu derleme işlemini bir paket olarak kenarda köşede bekletmek isteyebilirsiniz. Bu belgede, Debian paket yapımı hakkında bilgi bulacaksınız