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

Bilim ve Gelecek: 2. Sayı Çıktı

FZ
3 Nisan 2004, 1 dakika okuma süresi

Bilim felsefesinde büyük bir dönüşümü başlatan Thomas Kuhn´un gözünden Kopernik Devrimini okumak ister misiniz? Anadolu´da binlerce yıl önce yaşamış insanlara dair araştırmaların yapıldığı Hacettepe Üniversitesi Biyolojik Antropoloji Laboratuvarı´nda bir gezintiye çıkmaya ne dersiniz? Doğurgan sihirli kareler ilginizi çeker mi? Klingsor´un İzinde isimli bir kuantum roman başucu kitabınız olabilir mi? Psikiyatristlere başvuran hasta sayısına baktığınızda gördükleriniz size psikiyatrinin ilerlediğini mi yoksa insanların delirdiğini mi düşündürtüyor?

Yukarıdaki cümlelerin işaret ettikleri ilginizi çekiyorsa bir gazete bayisine uğrayıp Bilim ve Gelecek dergisinin ikinci sayısını alabilir, bu konuda kendini ispatlamış bir kadronun çıkardığı dolu dolu bir dergiyle vakit geçirmenin hazzını yaşayabilirsiniz.

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.

E-Kare Dergisi Yayın Hayatına Başladı

anonim
2 Ağustos 2006, 1 dakika okuma süresi

Elektrik ve Elektronik üzerine yayınlanan ücretsiz e-kare dergi yayın hayatına başladı. Amacı 7den 77ye tüm elektrik ve elektronik severlere ücretsiz bir edergi hizmeti sunmak.

Dergiyi bilgisayarınıza indirmek için www.teknikev.net adresini kullanabilirsiniz.

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.

VZA Yöntemi İle Verimlilik Analizi

FZ
2 Eylül 2004, 1 dakika okuma süresi

Bir firmada bilgi üretimi, birikimi ve kullanımı, nitelikli insangücü, sosyal, fiziksel altyapı gibi çeşitli kaynakların dengeli dağılmaması, departmanların yapısal ve örgütsel farklılıkları ile birleştiğinde, iş akışı açısından potansiyel sorun alanlarının oluşmasına yol açmaktadır.

Bu saptamalar altında, departman değerlendirmesinde sadece iş hacmi, üretim miktarı, ciroya etki gibi büyüklüklerle ölçüm yapmanın yanlış olmasa da eksik bir yaklaşım olduğu söylenebilir. Departman aktivitelerini mümkün kılan insan kaynağı, sosyal ve fiziki altyapı, teknoloji ve yenilik kapasitesi gibi departmana tahsis edilen kaynakların da irdelenmesi ve bu kaynakların, firma ciro hedefine ulaşırken ne derece verimli kullanılabildiğinin de analiz edilebilmesi gerekmektedir. Dolayısıyla departmanın, sonuç odaklı etkinlik göstergeleri haricinde, aktivitelerinin niteliğini değerlendiren verimlilik göstergeleri açısından da yorumlanabilmesi gereklidir.

Birden çok ve farklı ölçeklerle ölçülmüş ya da farklı ölçü birimlerine sahip girdi ve çıktıların karşılaştırma yapmayı zorlaştırdığı durumlarda, karar birimlerinin göreceli performansını ölçmeyi amaçlayan doğrusal programlama tabanlı bir teknik olan Veri Zarflama Analizi, Günhan Kürkçüoğlu tarafından (Tolga Kürkçüoğlu'nun da katkıları ile) gerçekleştirilen ve bilgi işlem yöntemlerinin, bilgisayarların üretime katkısına önemli bir örnek teşkil eden bu çalışmada metod olarak kullanılmıştır.