Mantık programlama

Mantık programlama veya mantıksal programlama, belli bir program diline bağlı kalmaksızın mantıksal tanımlarla yapılmak istenilen, mantıksal algoritma açılımının kullanıcı tarafından bilgisayar ortamında tanımlanması esasına dayanan bir mantık çözümleme yardımlayıcısıdır.

Birçok program belli çalışma düzenine sahip olsa da, olası öngörülen veya öngörülemeyen çatallamalarda ilerler veya olası öngörü bir çıkmaza girmesiyle bir paradoksal eğri oluşturur.

Mantıksal programlama kuramının tam anlamıyla hayata geçirme çalışmaları devam etmektedir.

Ayrıca bakınız

Bilgisayar biliminin alt dalları

Matematiksel temeller	Matematiksel mantık · Kümeler teorisi · Sayı teorisi · Çizge teorisi · Tip teorisi · Kategori teorisi · Sayısal çözümleme · Bilgi teorisi · Kombinatorik · Boole cebiri

Hesaplama teorisi	Özdevinim teorisi · Hesaplanabilirlik teorisi · Hesaplamalı karmaşıklık teorisi · Kuantum hesaplama teorisi

Algoritmalar ve veri yapıları	Algoritma çözümlemesi · Algoritma tasarımı · Hesaplamalı geometri

Programlama dilleri ve derleyiciler	Ayrıştırıcılar · Yorumlayıcılar · Yordamsal programlama · Nesne yönelimli programlama · Fonksiyonel programlama · Mantık programlama · Programlama paradigmaları

Eşzamanlı, paralel ve dağıtık sistemler	Çoklu işleme · Grid hesaplama · Eşzamanlılık kontrolü

Yazılım mühendisliği	Gereksinim çözümleme · Yazılım tasarımı · Bilgisayar programlama · Biçimsel yöntemler · Yazılım testi · Yazılım geliştirme süreci

Sistem mimarisi	Bilgisayar mimarisi · Bilgisayar organizasyonu · İşletim sistemi

Telekomünikasyon ve ağ oluşturma	Bilgisayar müziği · Yönlendirme · Ağ topolojisi · Kriptografi

Veri tabanları	Veri tabanı yönetim sistemleri · İlişkisel veritabanı · SQL · İşlem yürütme · Veri tabanı endeksleri · Veri madenciliği

Yapay zekâ	Otomatikleştirilmiş muhakeme · Hesaplamalı dilbilim · Bilgisayar vizyonu · Evrimsel hesaplama · Uzman sistemler · Makine öğrenimi · Doğal dil işleme · Robotik

Bilgisayar grafikleri	Görselleştirme · Bilgisayar animasyonu · Görüntü işleme

İnsan bilgisayar etkileşimi	Bilgisayar erişilebilirliği · Kullanıcı arayüzleri · Giyilebilir hesaplama · Ubiquitous computing · Sanal gerçeklik

Bilimsel hesaplama	Yapay yaşam · Biyoenformatik · Bilişsel bilim · Hesaplamalı kimya · Hesaplamalı nörobilim · Hesaplamalı fizik · Sayısal algoritmalar · Sembolik matematik

Bilgisayar bilimi, ACM Hesaplama ve Sınıflandırma Sistemi'ne göre farklı konu ve alanlara ayrılabilir.

This article is issued from Vikipedi - version of the 8/20/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.