P harfi "polynomial", NP harfleri ise "non-deterministic polynomial" ifadelerini temsil eder, Türkçe karşılıkları "polinom" ve "belirleyici olmayan polinom"dur. "P eşittir NP?" ise hesaplama teorisi'nin en temel ve meşhur problemidir.
Cebir sayılar teorisini, geometriyi ve analizi içine alan geniş bir matematik dalıdır. Temel matematik işlemlerinden, çember ve daire alanları bulmayı kapsayan geniş bir ilgi alanına sahiptir. Cebir, mühendislik ve eczacılık gibi birçok alanda kullanılmaktadır. Kuramsal cebir, ileri matematiğin bir dalı olmakla birlikte sadece uzmanlar tarafından çalışılan bir koldur.
Alan Mathison Turing, İngiliz matematikçi, bilgisayar bilimcisi ve kriptolog. Bilgisayar biliminin kurucusu sayılır. Geliştirmiş olduğu Turing testi ile makinelerin ve bilgisayarların düşünme yetisine sahip olup olamayacakları konusunda bir kriter öne sürmüştür.
Termodinamik; ısı, iş, sıcaklık ve enerji arasındaki ilişki ile ilgilenen bilim dalıdır. Basit bir ifadeyle termodinamik, enerjinin bir yerden başka bir yere ve bir biçimden başka bir biçime transferi ile ilgilenir. Bu süreçteki anahtar kavram, ısının, belirli bir mekanik işe denk gelen bir enerji biçimi olmasıdır.
Polinomsal zamanda çalışan bir algoritma, bir Turing makinesinin girişin uzunluğuna göre en fazla bir polinom tane adımda çözebildiği bir problemdir.
Sabit zamanda çalışan bir algoritma bir Turing makinesinin girdi uzunluğundan bağımsız olarak n tane adımda çözebildiği bir problemdir. Sabit zaman polinomsal zamanın bir alt kümesidir.
Logaritmik zamanda çalışan bir algoritma, bir Turing makinesinin girişin uzunluğu 
ise en fazla 
civarı adımda çözebildiği bir problemdir. Örneğin, ikili arama algoritması logaritmik zamanda çalışır.
Turing makinesi, karmaşık matematiksel hesapların belirli bir düzenek tarafından yapılmasını sağlayan hesap makinesi.
Nen karar problemlerini içeren karmaşıklık sınıfıdır.
Üstel zamanda çalışan bir algoritma, bir Turing makinesinin girişin uzunluğunun en fazla 
katı tane adımda çözebildiği bir problemdir. Doğal olarak, üstel zaman polinomsal zamanı içine alabilir.
Boyut analizi fiziksel büyüklüklerin farklı çeşitlerinin karışımını içeren fiziksel durumları içeren ve sıklıkla fizik, kimya ve mühendislikte kullanılan kavramsal bir yöntemdir.Fizikçiler ve mühendisler tarafından türevli denklemlerin ve hesaplamaların olasılıklarının kontrolünde kullanılır.Ayrıca deneylerle veya kavramın daha karmaşık teorileriyle denenebilen karmaşık fiziksel durumlarla ilgili mantıklı hipotezler oluşturmak için de kullanılır.
Vektör uzayı veya Yöney uzayı, matematikte ölçeklenebilir ve eklenebilir bir nesnelerin (vektörlerin) uzayına verilen isimdir. Daha resmî bir tanımla, bir vektör uzayı, iki elemanı arasında vektör toplamasının ve skaler denilen sayılarla çarpımın tanımlı olduğu ve bunların bazı aksiyomları sağladığı kümedir. Skalerler, rasyonal veya reel sayılar kümesinden gelebilir, ama herhangi bir cisim üzerinden bir vektör uzayı oluşturmak mümkündür. Vektör uzayları, skalerlerin geldiği cisime göre reel vektör uzayı, kompleks vektör uzayı veya genel bir cisim üzerinden K vektör uzayı şeklinde adlandırılır.
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.
SAT problemi bir NP-tam sınıfı problemidir.
Savitch Teoremi, uzay karmaşıklığını konu edinen ve bu hususta sonuca varan en eski teoremlerden biridir. Belirlenimsiz makinelerin belirlenimli makinelere dönüştürülmesinde, gerekli olan uzay karmaşıklığını incelemiştir ve beklenenden çok daha küçük uzay gereksinimi olduğunu ortaya koymuştur. Daha formal bir ifadeyle, 
uzay kullanan bir belirlenimsiz Turing makinesi, belirlenimli bir turing makinesine dönüştürülürken 
uzay gerektirir.
Tek anakütle ortalaması için parametrik hipotez sınaması veya tek-örneklem için sınama veya μ için sınama, bir rastgele örneklem ortalaması ile bu örneklemin çekilmiş olduğunu düşündüğümüz anakütlenin μ ile belirtilen "anakütle ortalaması" hakkında bir hipotez değeri belirtilmesinin anlamlı olup olmadığını araştırmamızı sağlayan parametrik hipotez sınamasıdır.
Sözde dışbükey bölgeler, matematikte karmaşık analizin ve çok değişkenli karmaşık analizin merkezinde yer alan holomorf fonksiyonların doğal tanım kümeleridir.
Thales teoremi veya temel orantı teoremi olarak da bilinen kesişme teoremi, kesişen iki çizginin bir çift paralelle kesilmesi durumunda oluşturulan çeşitli çizgi parçalarının oranları hakkındaki temel geometride önemli bir teoremdir. Benzer üçgenlerdeki oranlarla ilgili teoreme eşdeğerdir. Geleneksel olarak Yunan matematikçi Thales'e atfedilir.
Matematikte, hesaplanabilir sayılar, belirlenen herhangi bir doğruluk seviyesine ulaşacak şekilde sonlu ve sona eren bir algoritma ile hesaplanabilen reel sayıları ifade eder. Bu sayılar, yinelemeli sayılar, etkili sayılar ya da hesaplanabilir reel sayılarolarak da adlandırılır. Hesaplanabilir reel sayılar kavramı, o dönemde mevcut olan sezgisel hesaplanabilirlik kavramı üzerinden Emile Borel tarafından 1912'de ortaya konmuştur.
