Çokterimli zamanda indirgeme, bir problemi çokterimli (polinomsal) zamanda başka bir probleme dönüştürme işlemidir. Bu durumda, ikinci problemi çokterimli zamanda çözebilirsek ilk problemi de çokterimli zamanda çözebiliriz.
Hamilton Çemberi Problemi, Gezgin Satıcı Problemi'ne aşağıdaki şekilde indirgenebilir.
Pragmatizm, felsefede; uygulayıcılık, uygulamacılık, pragmacılık, fiîliyye, faydacılık, yararcılık gerçeğe ve eyleme yönelik olan, pratik sonuçlara yönelik düşünme temelleri üzerine kurulmuş olan felsefi akımdır. William James (1842-1910) tarafından popüler hale getirilmiştir. Onun felsefe ekolünden olanı yapmak, başarmak anlamına da gelir. Hem iyinin teorisi hem de doğrunun teorisidir. İyinin teorisi olarak faydacılık refahcıdır (welfarist). İyi en fazla faydayı sağlayandır ve burada fayda zevk, tatmin veya bir nesnel değerler listesine göre tanımlanır. Bir doğru teorisi olarak ise faydacılık neticecidir (consequentialist). Doğru hareket bir şeyin uygulanabildiği ölçüde gerçek olduğu savına dayandırılmıştır. Bir fikrin doğruluğu faydalılığı, kullanışlılığı veya işlerliği gibi gözlemlenebilir etkilerine göre belirlenir.
Büyük O (Big-Oh) gösterimi matematiksel bir gösterim olup işlevlerin (fonksiyonların) asimptotik davranışlarını tarif etmek için kullanılır. Bir işlevin büyümesinin asimptotik üst sınırını daha basit başka bir işlev cinsinden tanımlanması demektir. İki temel uygulama alanı vardır: matematik alanında genellikle kırpılmış bir sonsuz serinin kalan terimini karakterize etmek için kullanılır; bilgisayar bilimlerinde ise algoritmaların bilgi işlemsel karmaşıklığının çözümlemesi için kullanılır.
David Hilbert, ünlü Alman matematikçi. Geometriyi bir dizi aksiyoma indirgeyen ve matematiğin biçimsel temellerinin oluşturulmasına önemli katkıda bulunan Alman matematikçi David Hilbert integralli denklemlere ilişkin çalışmalarıyla fonksiyonel analizin 20. yüzyıldaki gelişmesine öncülük etmiştir.
İkili adlandırma ya da binomial nomenklatür, tür adlarının iki kelimeden oluşacak biçimde gösterilmesi sistemidir. Carl Linnaeus (1707-1778) bitki ve hayvanların isimlendirilmesi için ikili adlandırma yani, 2 sözcükten oluşan bir sistem geliştirmiştir. Bu sistem bugün bazı değişikliklere uğramış ise de, prensipler hâlâ binomial nomenklatür kuralları çerçevesinde hâlen geçerliliğini korumaktadır.
P, çokterimli zamanda çözülebilen karar problemlerini içeren karmaşıklık sınıfıdır. P sınıfı pek çok doğal problemi içerse de bazı önemli problemlerin P içerisine girip girmediği bilinmemektedir.
Nen karar problemlerini içeren karmaşıklık sınıfıdır.
Paralel hesaplama ya da Koşut hesaplama, aynı görevin, sonuçları daha hızlı elde etmek için çoklu işlemcilerde eş zamanlı olarak işletilmesidir. Bu fikir, problemlerin çözümünün ufak görev parçalarına bölünmesi ve bunların eş zamanlı olarak koordine edilmesine dayanır. Paralel hesaplama ile performans artar, büyük sorunlar daha az sürede çözülür ve bilimdeki gelişmeler paralel hesaplamaya gereksinim duyar.
George Edward Moore, Cambridge Üniversitesi'nde önce okuyup sonra orada ders vermiş çağdaş İngiliz düşünürü. İdealizme olan şiddetli karşı çıkışıyla ün kazanan Moore, Bertrand Russell, Ludwig Wittgenstein ve Gottlob Frege ile birlikte analitik felsefe akımının kurucularından biridir.
Ray Charles Robinson, Amerikalı piyanist, müzisyen, ritim ve blues ustası.
Matematikte matematiksel programlama, eniyileme ya da optimizasyon terimi; bir gerçel fonksiyonu minimize ya da maksimize etmek amacı ile gerçek ya da tam sayı değerlerini tanımlı bir aralıkta seçip fonksiyona yerleştirerek sistematik olarak bir problemi incelemek ya da çözmek işlemlerini ifade eder. Örneğin bu problem şöyle olabilir:
Klasik mekanikte iki cisim problemi sadece birbirleriyle etkileşen iki nokta parçacığın hareketini tanımlamak için kullanılır. Bir gezegen ve yörüngesinde dolanan bir uydu, bir yıldız ve yörüngesindeki bir gezegen, birbirlerinin yörüngelerinde dolanan iki yıldız ve klasik atom modelinde çekirdeğin etrafında dolanan elektron, yaygın örneklerdir.
Avrupa'da siyaset, Avrupa'da devam eden ve sürekli değişim gösteren siyasi konularla ilgilenir. Bu kıtanın siyasi problemleri diğer kıtalara göre daha detaylı ve karmaşıktır çünkü mevcut problemlerin geçmişi görece daha uzundur; ayrıca Birleşik Avrupa için politik birliğin sağlanmasına yönelik çalışmalar da mevcut siyasi sorunların boyutunu daha da karmaşıklaştırmaktadır.
Dağıtık hesaplama bilişim biliminde dağıtık sistemleri inceleyen bir bilim dalıdır. Dağıtık sistem, birden fazla otomatik bilgisayarın bir ağ üzerindeki iletişimidir. Ağdaki bilgisayarlar belirli bir hedefe ulaşmak için birbirleriyle etkileşim içerisindedirler. Dağıtık sistemi çalıştıran bilgisayar programına dağıtık program denir. Bu tür programları yazma işlemine dağıtık programlama adı verilir.
Küpü iki katına çıkarma ya da Delos problemi, pergel ve cetvel kullanarak çözülemeyen üç geometrik problemden biri. Eski Mısırlı, Yunan ve Hint matematikçiler bu problem üzerinde çalışmışlardır.
Halis Özkahya, Türk hakem. Süper Lig'de ilk defa Konyaspor - Antalyaspor maçında görev yaptı.
Goldwasser–Micali (GM) kriptosistemi 1982 yılında Shafi Goldwasser ve Silvio Micali tarafından geliştirilmiş bir asimetrik anahtar şifreleme algoritmasıdır. GM standart kriptografik varsayımlar altında güvenliği kanıtlanmış ilk probabilistik açık anahtar şifreleme yöntemidir. Bununla birlikte başlangıç düz metinden yüzlerce kez daha geniş olan şifreli metinler olduğundan verimli bir kriptosistem değildir. Kriptosistemin güvenlik özelliğini kanıtlamak için Shafi Goldwasser ve Silvio Micali anlamsal güvenliğin geniş alanda kullanılan bir tanımını önerdiler.
Hesaplamalı karmaşıklık teorisi, hesaplama problemlerini kendi zorluklarına göre sınıflandırmaya ve bu sınıfları birbirleriyle ilişkilendirmeye odaklanan teorik bilgisayar bilimlerinde hesaplama teorisinin bir dalıdır. Bir hesaplama probleminde prensip, algoritmada belirtilen matematiksel adımların mekaniğe uygulanması yoluyla probleme yaklaşmaktır. Ve bununla beraber hesaplama karmaşıklık teorisindeki problemler, eşdeğer bir bilgisayar tarafından çözülebilen ortamlarda kullanılır.
Grafik hesap makinesi bir hesap makinesidir. Grafikleri çizebilir, eşzamanlı denklemleri çözebilir ve diğer görevleri yapabilir. En popüler grafik hesap makineleri de programlanabilir, bu nedenle programlanabilir hesap makinesi ve bilimsel hesap makinesi olarak kabul edilebilir.
KGpg, KDE için programlanmış anahtar yönetim penceresi ve düzenleyici içeren grafiksel özgür bir GnuPG arayüzüdür. Kullanıcılar kolaylıkla şifreleme anahtarları oluşturabilir ve yazdıkları mesajları şifreleyebilir, şifresini çözebilir, imzalayabilir veya doğrulayabilir. Konqueror ile bütünleşik çalışabilmesi sayesinde, kullanıcılar sağ tıklayıp Eylemler > Dosyayı Şifrele'yi seçerek dosyaları kolayca şifreleyebilirler. Konqueror'da şifrelenmiş bir dosyaya sol tıklamak, dosyanın şifresini çözmek için kullanıcıdan bir parola istemesine neden olacaktır. Kullanıcı, genel veya özel şifreleme anahtarları oluşturabilir ve anahtarları dışa veya içe aktarabilir, anahtarları imzalayabilir ve bir son kullanma tarihi belirleyebilir.