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.

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.

Matematikte, bir polinom belirli sayıda bağımsız değişken ve sabit sayıdan oluşan bir ifadedir. Polinom kendi içinde toplama, çıkarma, çarpma ve negatif olmayan sayının üssünü alma işlemlerini kullanır. Örnek olarak tek bilinmeyenli bir polinom olan x2 − 4x + 7, ikinci dereceden oluşan bir polinomdur. Diğer bir örnek olarak, x2 − 4/x + 7x3/2 bir polinom değildir, çünkü polinomlarda terimlerin derecelerinin doğal sayı olma zorunluluğu vardır 2. terimde x′i ele alan bir bölme işlemi x'in derecesini negatif yapmaktadır ve 3. terim doğal sayı olmayan bir derece içermektedir (3/2).

Geometride, elips bir koninin bir düzlem tarafından kesilmesi ile elde edilen düzlemsel, ikinci dereceden, kapalı eğridir.
Matematikte binom açılımı, iki sayının toplamının üslü ifadesinin cebirsel açılımıdır. Teoreme göre, (x + y)n formatında yazılmış bir polinom, b,c
0, b +c = n, axbyc formatındaki terimlerin toplamı şeklinde yazılabilir. Bu ifadede b,c,n
N, b
0, c
0, b+c=n, a> 0 koşulları sağlanmalıdır.
Korelasyon, olasılık kuramı ve istatistikte iki rassal değişken arasındaki doğrusal ilişkinin yönünü ve gücünü belirtir. Genel istatistiksel kullanımda korelasyon, bağımsızlık durumundan ne kadar uzaklaşıldığını gösterir.

Matematikte matris veya dizey, dikdörtgen bir sayılar tablosu veya daha genel bir açıklamayla, toplanabilir veya çarpılabilir soyut miktarlar tablosudur. Dizeyler daha çok doğrusal denklemleri tanımlamak, doğrusal dönüşümlerde çarpanların takibi ve iki parametreye bağlı verilerin kaydedilmesi amacıyla kullanılırlar. Dizeylerin toplanabilir, çıkartılabilir, çarpılabilir, bölünebilir ve ayrıştırılabilir olmaları, doğrusal cebir ve dizey kuramının temel kavramı olmalarını sağlamıştır.
Matematikte karmaşık sayı, bir gerçel bir de sanal kısımdan oluşan bir nesnedir. a ve b sayıları gerçek olursa karmaşık sayılar şu biçimde gösterilirler:

Eğer
bir kümeyse,
kümesinden
kümesine giden bir fonksiyona
kümesi üzerine ikili işlem denir. İkili işlemi
olarak gösterirsek,
yerine genellikle
,
,
ya da daha yaygın olarak
yazmak bir gelenek halini almıştır. Burada önemli olan, her
için, işlemin sonucu olan
elemanının yine
kümesinde olmasıdır, yoksa ikili bir işlemden söz edemeyiz. Örneğin,
ise,
işlemi bu küme üzerinde ikili bir işlem değildir. Örneğin,
bir doğal sayı değildir. Öte yandan
olarak tanımlanan işlem doğal sayılar kümesi üzerine ikili bir işlemdir.
En küçük kareler yöntemi, birbirine bağlı olarak değişen iki fiziksel büyüklük arasındaki matematiksel bağlantıyı, mümkün olduğunca gerçeğe uygun bir denklem olarak yazmak için kullanılan, standart bir regresyon yöntemidir. Bir başka deyişle bu yöntem, ölçüm sonucu elde edilmiş veri noktalarına "mümkün olduğu kadar yakın" geçecek bir fonksiyon eğrisi bulmaya yarar. Gauss-Markov Teoremi'ne göre en küçük kareler yöntemi, regresyon için optimal yöntemdir.
Birinci dereceden bir bilinmeyenli denklemler; a sıfırdan farklı, b ise herhangi bir gerçel veya karmaşık sayı olmak üzere,

Diskriminant matematik biliminde bir cebirsel kavramdır. Gerçel katsayılı ikinci derece polinom denklemlerin çözümü için kullanılır. İkinci dereceden büyük herhangi bir polinomun köklerinin bulunması için de bu kavram, köklerin toplamı için gereken ifadenin ve köklerin çarpımı için gereken ifadenin bulunması suretiyle genişletilmiştir. Bir polinom için çoklu köklerin varlığı veya yokluğu için gereken koşul da diskriminantın varlığı ve yokluğu ile bulunabilmektedir.

Doğrusal denklem dizgesi, birkaç tane aynı tip değişkenleri içeren birkaç tane doğrusal denklemlerin oluşturduğu topluluktur. Örneğin:
Matematikte katsayı, polinomun bazı terimlerinde, herhangi bir ifadenin bir serisindeki çarpma faktörüdür. Genellikle bir sayıdır fakat ifadede herhangi bir değişken de olabilir. Örneğin;


Basit cebir, matematik dersinde öğretilen cebirin en temel kısmıdır. Normalde liselerde öğretilir ve öğrencilerin işlem ve belirli sayılar üzerine kurulu olan aritmetiği anlamalarını sağlar. Cebir, değişken olarak bilinen sabit olmayan değerlerin büyüklüklerini açıklar. Soyut cebir aksine temel cebir, cebirsel yapı ile ilgilenmez, reel sayı ve karmaşık sayılarla ilgilenir.