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.
Fonksiyon, matematikte değişken sayıları girdi olarak kabul edip bunlardan bir çıktı sayısı oluşmasını sağlayan kurallardır. Fonksiyon, 17. yüzyılda matematiğin kavramlarından biri olmuştur. Fizik, mühendislik, mimarlık ve birçok alanda kullanılmaktadır. Galile, Kepler ve Newton hareketlerin araştırılmasında, zaman ve mesafe arasındaki durumu incelemek için fonksiyonlardan faydalanmıştır. Dört işlemden sonra gelen bir işlem türüdür.
Newton'un hareket yasaları, bir cisim üzerine etki eden kuvvetler ve cismin yaptığı hareket arasındaki ilişkileri ortaya koyan üç yasadır. İlk kez Isaac Newton tarafından 5 Temmuz 1687 tarihinde yayımlanan Philosophiae Naturalis Principia Mathematica adlı çalışmada ortaya konmuştur. Bu yasalar klasik mekaniğin temelini oluşturmuş, bizzat Newton tarafından fiziksel nesnelerin hareketleri ile ilgili birçok olayın açıklanmasında kullanılmıştır. Newton, çalışmasının üçüncü bölümünde, bu hareket yasalarını ve yine kendi bulduğu evrensel kütleçekim yasasını kullanarak Kepler'in gezegensel hareket yasalarının elde edilebileceğini göstermiştir.
- 1. Yasa
- Eylemsiz referans sistemi adı verilen öyle referans sistemleri seçebiliriz ki, bu sistemde bulunan bir parçacık üzerine bir net kuvvet etki etmiyorsa cismin hızında herhangi bir değişiklik olmaz. Bu yasa genellikle şu şekilde basitleştirilir: “Bir cisim üzerine dengelenmemiş bir dış kuvvet etki etmedikçe, cisim hareket durumunu korur.”
- 2. Yasa
- Eylemsiz bir referans sisteminde, bir parçacık üzerindeki net kuvvet onun çizgisel momentumunun zaman ile değişimi ile orantılıdır:
Gaz yasaları, gazlardaki termodinamik sıcaklık (T), basınç (P) ve hacim (V) aralarındaki ilişkileri açıklayan bir takım kanundur. Rönesans'ın geç dönemleriyle 19. yüzyıl arasındaki dönemde bulunmuş birkaç yasadan oluşur.
Cisim, halka ve grup gibi soyut bir cebirsel yapıdır. Kabaca, elemanları arasında toplama, çıkarma, çarpma ve bölme yapılabilen ve bu işlemlerde sayılardan alışık olduğumuz temel aritmetik kurallarının geçerli olduğu bir küme olarak tanımlanabilir.
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.
Karp-Flatt ölçütü, koşut işlemcili sistemlerde kodun koşutlaştırılma derecesini gösteren bir ölçüdür. Amdahl yasası ve Gustafson yasası ile uyumlu olan ölçüt 1990 yılında Alan H. Karp ve Horace P. Flatt tarafından ortaya atılmıştır.
SAT problemi bir NP-tam sınıfı problemidir.
Hiperbolik düzlemin dönüşüm grubu, genel Möbius grubunun alt grubu olup 
ile gösterilir. Üst yarı düzlemi koruyan bu grup Riemann küresi üzerinde tanımlıdır. nin etkisi altında hiperbolik doğrular yine hiperbolik doğrulara giderken, herhangi iki eğri arasındaki açının mutlak değerinin, hiperbolik uzunluk ve uzaklığın korunması grubun karakteristik özelliklerinden bazılarıdır. Bu özelliklerden önemli bir sonuca, hiperbolik düzlemin dönüşüm grubuyla hiperbolik yarı düzlemin izometri grubunun eşyapılı olduğuna, varmak mümkündür.
Okamoto–Uchiyama kriptosistemi, 1998'de T. Okamoto ve S. Uchiyama tarafından bulundu. Sistem 
kümesinde çalışır, n p2q ya eşittir ve p ve q büyük asal sayılardır.
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.
Lagrange mekaniği, klasik mekaniğin yeniden formüle edilmesidir. İtalyan-Fransız matematikçi ve astronom Joseph-Louis Lagrange tarafından 1788’de geliştirilmiştir.
Mantıkta ve matematikte, bir doğruluk değeri ya da mantıksal değer, bir önermenin doğruluk ile ilişkisini belirleyen bir değerdir.
Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.
Önermeler mantığı, mantığın önermelerle ilgilenen dalıdır. Birden fazla önermenin mantık bağlaçları kullanılarak bir araya getirilmesiyle oluşturulan yeni önermelerin doğruluğunun belirlenmesi için kullanılır. Önermeler mantığının niceleyiciler, eşitlik ve ait olma ilişkileriyle genişletilmesi birinci-derece mantığın konusudur.
Hamilton mekaniği klasik mekaniğin tekrar formüle edilmesiyle geliştirilmiş ve Hamilton olmayan klasik mekanik ile aynı sonuçları öngörmüş bir teoridir. Teoriye daha soyut bir bakış açısı kazandıran Hamilton mekaniği klasik mekaniğe kıyasla farklı bir matematiksel formülasyon kullanmaktadır. Tarihi açıdan önemli bir çalışma olan Hamilton mekaniği ileriki yıllarda istatistiksel mekanik ve kuantum mekaniği konularının da geliştirilmesine önemli katkılarda bulunmuştur.
Pro sonlu gruplar, Matematikte ilk olarak sayılar kuramında görülmüştür. 19. yüzyılın sonlarına doğru kongurans sistemlerini çalışmak için Alman matematikçi Hensel tarafından bulunan p-sel tamsayılar halkası Zp, pro-sonlu grupların en temel örneklerinden birisidir. Alman matematikçi Krull herhangi bir sonsuz Galois genişlemesinin Galois grubunun aslında doğal bir şekilde pro-sonlu grup yapısına sahip olduğunu gördü. Bu yapının sonlu Galois genişlemelerinin Galois gruplarıyla belirlendiğini gösterdi. Daha sonra, cebirsel geometri alanında Grothendieck, şemaların temel gruplarını birer pro-sonlu grup olarak tanıttı.
