Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
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.
Spor Toto Teşkilatı’nın resmi oyunu olan İddaa, yerli ve yabancı liglerdeki futbol karşılaşmalarının kesin maç sonucunu, ilk yarı ile birlikte maçın kesin sonucunu, maçın skorunu ve toplam gol sayısının 2 ve altında mı yoksa 3 ve üstünde mi olduğunu tahmin etmek suretiyle oynanan bir oyundur.
PageRank, Google tarafından geliştirilen ve web sayfalarının önemini belirlemek için kullanılan bir algoritmadır. İnternet üzerindeki bağlantıların analiz edilmesiyle hesaplanan Pagerank değeri Google Arama sonuçlarında sayfaların sıralanması için kullanılan faktörlerden biridir.
Yirmibir ya da blackjack, şans ve taktiğe dayalı bir iskambil oyunu.
Poker, şans, sinir hakimiyeti ve taktiğe dayalı bir iskambil oyunudur. Birçok poker oynama çeşitleri vardır; genelde en çok bilineni ve oynananı Texas Hold’em'dir. Ancak bütün oyunlarda amaç en iyi beşli seriyi yapmaktır. Strip poker, çevrimiçi poker, Çin pokeri gibi türleri mevcuttur.
Coulomb yasası ya da Coulomb'un ters kare yasası, bir fizik yasasıdır. Elektrik yüklü tanecikler arasındaki elektrostatiği tanımlar. Bu yasa 1785'te Fransız fizikçi Charles Augustin de Coulomb tarafından yayınlanmıştır ve klasik elektromanyetizmadaki önemli bir gelişmedir. Coulomb yasası Gauss yasasından ve vice versa(bahsi geçen hadisenin tam tersinin de geçerli olduğunu anlatmak için kullanılır)dan türetilmiştir. Yasa elektromanyetizmin prensibi durumuna gelmiştir.
Fiyat endeksi; belirli bir istatistiksel olaya ait değerlerin, bu halde belirli tek bir mal veya hizmet veya belirli bir grup mal/hizmetle ilgili fiyatların, zamana ya da yere göre farklılık göstermelerini özetleyen bir sayısal ölçüdür. Fiyat endeksi, iktisat bilimi ve uygulaması içinde çok önemli rol oynar. Diğer taraftan fiyat endeks sayıları hesaplanması ve değerlendirilmesi istatistik biliminin önemli bir konusudur ve özel olarak yalnız fiyatların zaman içinde değişmesini inceleyen bir zaman serisi özetlemesi olarak görülür.
Fizikte, birim zamanda aktarılan veya dönüştürülen enerjiye ya da yapılan işe güç denir, P simgesiyle gösterilir. Uluslararası Birim Sistemi'nde güç birimi, saniyedeki bir joule'e eşit olan watt'tır kısacası J/s. Eski çalışmalarda güç bazen iş olarak adlandırılırmıştır. Güç türetilmiş bir nicelik ve skaler bir büyüklüktür.
Texas Hold’em, poker oyununun bir türüdür. En dinamik versiyonu olarak bilinir.
Termodinamiğin(Isıldevinimin) ikinci yasası, izole sistemlerin entropisinin asla azalamayacağını belirtir. Bunun sebebini izole sistemlerin termodinamik dengeden spontane olarak oluşmasıyla açıklar. Buna benzer olarak sürekli çalışan makinelerin ikinci kanunu imkânsızdır.
Bayes teoremi, olasılık kuramı içinde incelenen önemli bir konudur. Bu teorem bir rassal değişken için olasılık dağılımı içinde koşullu olasılıklar ile marjinal olasılıklar arasındaki ilişkiyi gösterir. Bu şekli ile Bayes teoremi bütün istatistikçiler için kabul edilir bir ilişkiyi açıklar. Bu kavram için Bayes kuralı veya Bayes savı veya Bayes kanunu adları da kullanılır.
Miktar endeks sayıları tek bir mal veya hizmet veya belirli bir grup veya hizmet için miktarların zaman içinde değişmelerini incelemek amacıyla hesaplanan her bir zaman birimi için tek bir sayı hesaplanmasını kapsayan bir zaman serisi özetleme yöntemidir. İktisat bilimi ve iktisat politikası uygulaması için bazı miktar endeksleri çok önem taşımaktadır. Örneğin, ihracat endeksi ve ithalat endeksi dış ticaret ögelerinin miktarlarının zamanla değişmesini gösteren miktar veya hacim endeks sayıları olurlar.
Fiyat endeks sayılarını hesaplamak için birçok sayıda değişik formül bulunmaktadır. Bu değişik fiyat endeks sayıları için formüllerin hepsi veri olarak fiyatlar ve miktarları kullanmaktadırlar. Ancak bu aynı verileri değişik olarak birleştirmektedir. Genel olarak bir fiyat endeksi, temel (baz) dönem fiyatlarının, diğer zaman dönemleri fiyatlarının, temel (baz) dönem miktarlarının ve diğer dönem miktarlarının değişik bileşimlerinin toplamı özet halinde bulmaktadır. Değişik fiyat endeksleri formülleri sınıflandırılırken ilk sınıflama harcamaları esas alan endeksler ve fiyat relatiflerinin ağırlıklı ortalamasını esas alan formüller şeklinde yapılabilir.
Olasılık kuramı bilim dalında matematiksel beklenti veya beklenen değer veya ortalama birçok defa tekrarlanan ve her tekrarda mümkün tüm olasılıklarını değiştirmeyen rastgele deneyler sonuçlarından beklenen ortalama değeri temsil eder. Bir ayrık rassal değişkennin alabileceği bütün sonuç değerlerin olasılıklarıyla çarpılması ve bu işlemin bütün değerler üzerinden toplanmasıyla elde edilen değerdir. Bir sürekli rassal değişken için rassal değişken ile olasılık yoğunluk fonksiyonunun çarpımının aralığı belirsiz integralidir. Fakat dikkat edilmelidir ki bu değerin genel pratik anlamla rasyonel olarak beklenmesi pek uygun olmayabilir, çünkü matematiksel beklentiin olasılığı çok düşük belki sıfıra çok yakın olabilir ve hatta pratikte matematiksel beklenti bulunmaz. Ağırlıklı ortalama olarak da düşünülebilir ki değerler ağırlık katsayıları verilen olasılık kütle fonksiyonu veya olasılık yoğunluk fonksiyonudur.
18. yy. ve sonrasında geliştirilmiş, genellikle vektörel mekanik olarak nitelendirilen ve orijinalinde Newton mekaniği olarak bilinen analitik mekanik, klasik mekaniğin matematiksel fizik kaynaklarıdır. Model harekete göre analitik mekanik, Newton’un vektörel enerjisinin yerine, hareketin iki skaler özelliği olan kinetik enerjiyi ve potansiyel enerjiyi kullanır. Bir vektör, yön ve nicelik ile temsil edilirken bir skaler, nicelik ile(yoğunluğu belirtirken) temsil edilir. Özellikle Lagrange mekaniği ve Hamilton mekaniği gibi analitik mekanik de, sorunları çözmek için bir sistemin kısıtlamalarının ve tamamlayıcı yollarının kavramını kullanarak klasik mekaniğin kullanım alanını etkili bir şekilde yapılandırır. Schrödinger, Dirac, Heisenberg ve Feynman gibi kuram fizikçileri bu kavramları kullanarak kuantum fiziğini ve onun alt başlığı olan kuantum alan teorisini geliştirdiler. Uygulamalar ve eklemelerle, Einstein’a ait kaos teorisine ve izafiyet teorisine ulaşmışlardır. Analitik mekaniğin çok bilindik bir sonucu, modern teorik fiziğin çoğunu kaplayan Noether teoremidir.
Öklid'in teoremi, sayılar teorisinde temel bir ifade olup sonsuz sayıda asal sayı olduğunu ileri sürer. Teoremin iyi bilinen farklı ispatları bulunmaktadır.
Rastgele yürüyüş (ya da rassal yürüyüş) matematiksel bir nesne olup, bir stokastik veya rastgele süreç olarak bilinir. Bu süreç, herhangi bir matematiksel uzayda –örneğin tamsayılar uzayı–atılan rastgele adımların toplamından oluşan patikayı tanımlamaya yöneliktir. Örneğin, bir molekülün sıvı veya gaz içerisinde izlediği yol, hayvanların yem arayışında takip ettiği patika, değişkenlik gösteren hisse fiyatları ve de bir borsa oyuncusunun finansal durumu rastgele yürüyüş modelleri ile tahmin edilebilir; ancak gerçekte tamamen rastlantısal olmama ihtimalleri de vardır. Bu örneklerin de gösterdiği gibi, rastgele yürüyüş modelinin birçok bilim dalında uygulama alanı mevcuttur; ekoloji, psikoloji, bilgisayar bilimleri, fizik, kimya, biyoloji ve ekonomi bunlara örnektir.
Dik üçgen yükseklik teoremi veya geometrik ortalama teoremi, bir dik üçgendeki hipotenüs üzerindeki yükseklik uzunluğu ile hipotenüs üzerinde oluşturduğu iki doğru parçası arasındaki ilişkiyi tanımlayan temel geometrinin bir sonucudur. İki doğru parçasının geometrik ortalamasının yüksekliğe eşit olduğunu belirtir.
Temel cebirde, kuadratik formül, bir ikinci dereceden denklemin köklerini (çözümlerini) bulan bir formüldür. İkinci dereceden bir denklemi çözmek için ikinci dereceden formülü kullanmak yerine çarpanlara ayırma, tam kareye tamamlama, grafik çizme ve diğerleri gibi başka yollar da vardır.
