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.
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.
Boole cebiri değişkenlerin değerinin doğru ve yanlış olabildiği bir cebir altkoludur. Doğru ve yanlış değerleri genelde sırasıyla 1 ve 0 olarak ifade edilir. Değişken değerlerinin sayı, işlemlerin ise toplama ve çarpma olduğu temel cebrin aksine Boole cebrinde ∧ işareti ile ifade edilen "ve", ∨ işareti ile ifade edilen "veya", ¬ ile ifade edilen "değil" işlemleri bulunur.
Nehir ya da ırmak, genellikle denizlere, göllere ya da bir başka büyük akarsuya dökülen, özellikle genişliği ve taşıdığı su miktarı bakımından büyük akarsulara verilen genel isimdir. Kimi durumlarda ise bir başka suya ulaşmadan yer altında kaybolduğu ya da tamamen kuruduğu da görülmektedir. Büyük akarsular nehir ya da ırmak olarak adlandırılırken daha küçükleri ise çay ve dere olarak adlandırılırlar.
Programlama ve haberleşmede, bir bit bilgi depolama ve haberleşme veya bağlantının en küçük ve temel ünitesidir. Bir cihaz ya da fiziksel bir sistem tarafından depolanabilecek bilginin maksimum değeri normal olarak sadece 2 farklı şekilde bulunabilir. Bu durumlar genellikle ikili sayılar 0 ve 1 olarak yorumlanır. Ayrıca mantıksal değerler logical values, doğru ya da yanlış, flag ya da switch, on ya da off olarak yorumlanabilir.
Bağlaçlar veya rabıt (bağlama) edatları; kelimeleri, kelime gruplarını veya cümleleri biçim veya anlam yönüyle birbirine bağlayan kelimeler: ve, veya, ile, ama, de (da), ancak, çünkü, eğer, hâlbuki, hem … hem …, hiç değilse, ise, ki, lâkin, meğer, nasıl ki, ne … ne …, öyle, öyle ki, sanki, şu var ki, üstelik, yahut, yalnız, yani, yoksa, zira vs. Bağlaçlar, ifadeleri ilgi ve önem sırasına koyarak düzenlememize yardımcı olur.
Oyun teorisi veya Oyun kuramı, istatistik, sosyal bilimler, biyoloji, mühendislik, siyasi bilimler, bilgisayar bilimleri kullanılan meşhur teoridir. Oyun teorisi, bireyin başarısının diğerlerinin seçimlerine dayalı olduğu seçimler yapması olan bazı stratejik durumların matematiksel olarak davranış biçimlerini yakalamaya çalışır. İlk başlarda bir bireyin kazancının ötekinin zararına olduğu yarışmaları çözümlemek için geliştirilmişse bile, daha sonradan birçok kısıta dayanan çok geniş bir etkileşim alanını incelemeye başlamıştır. Bugün:
Oyun teorisi, sosyal kelimesinin geniş anlamda insan ve insan-dışı oyuncuları kapsayacak biçimde tanımlandığı, sosyal bilimlerin rasyonel yönü için bir birleşik alan kuramı veya bir tür şemsiyedir.
Mantıksal pozitivizm, Viyana Çevresi olarak adlandırılan filozofların felsefi düşünüş sistemlerini adlandırır. Başlıca temsilcileri Moritz Schlick, Rudolph Carnap ve Otto Neurath olan bu çevre, yeni pozitivistler ya da mantıkçı empiristler olarak da adlandırılır. Bu çevrenin oluşumunda önemli etkisi olan isim Ernst Mach'tır ki Mach'ın Viyana'da belirli dönemlerde mantık, fizik ve felsefe profesörlüğü yaptığı bilinmektedir. Mantıksal pozitivizmin çok farklı konumlardaki ve disiplinlerdeki filozofları bir araya getirir. Söz konusu akımın içinde sayılan ya da sayılmış olan belli başlı filozoflar şöyledir: Ernest Nagel, Hans Hahn, Kurt Gödel, Felix Kaufmann, Philipp Frank, Bertrand Russell, Whitehead, A. J. Ayer, Wittgenstein.
İşlem, bir işi sonuçlandırmak için gerçekleştirilen çalışmalar bütünü; muamele. Örnek: "Gerekli işlem gerçekleştirildikten sonra paranızı çekebilirsiniz".
Bir olasılık dağılımı bir rassal olayın ortaya çıkabilmesi için değerleri ve olasılıkları tanımlar. Değerler olay için mümkün olan tüm sonuçları kapsamalıdır ve olasılıkların toplamı bire eşit olmalıdır. Örneğin, bir rassal olay olarak madeni paranın tek bir defa havaya atılıp yere düşmesi ele alınsın; değerler 'yazı' veya 'tura' veya bunlar isimsel değişken ölçeğinde ifade edilirse 0 (yazı) veya 1 (tura) olur; olasılıklar ise her iki değer için ½ olacaktır. Böylece madeni bir paranın tek bir defa atılma olayı için iki değer ve ilişkili iki olasılık bu rassal olayın olasılık dağılımı olur. Bu dağılım ayrık olasılık dağılımıdır; çünkü sayılabilir şekilde ayrı ayrı sonuçlar ve bunlara bağlı olan pozitif olasılıklar vardır.
De Morgan yasası, türetilmiş çözümleme kuralları tümel evetleme ve tikel evetleme biçiminde olmayan önermeleri dönüştürmek için kullanılan teorem. 19. yüzyıl matematikçisi Augustus De Morgan tarafından formüle edilmiştir.
Matematikte, birkaç fonksiyon ya da fonksiyon gruplarının kendi isimleri yeterli öneme layıktır. Bu makaleler fonksiyonları açıklamak için olan daha ayrıntılı olarak gösteren bir listedir. İstatistik dışı ve matematiksel fizik gelişmeleri sonucu özel fonksiyonlar büyük bir teori olmuştur. Modern bir, soyut incelik fonksiyon uzayıları geniş karşılaştırma görünümü, sonsuz-boyutlu ve 'isimsiz' fonksiyonlar içindeki ve simetri ya da ilişki harmonik analiz ve grup temsilileri gibi özellikler ile özel fonksiyonlar ile seçilmiştir.
Matematikte Hilbert uzayı, sonlu boyutlu Öklit uzayında uygulanabilen lineer cebir yöntemlerinin genelleştirilebildiği ve sonsuz boyutlu da olabilen bir vektör uzayıdır. Daha kesin olarak, bir Hilbert uzayı, uzayın tam metrik uzay olmasını sağlayan bir uzaklık fonksiyonu üreten bir iç çarpımla donatılmış bir vektör uzayıdır. Bir Hilbert uzayı, bir Banach uzayının özel bir durumudur. Matematik, fizik ve mühendislikte sıkça kullanılmaktadır. Kuantum mekaniğiyle uyumludur. Adını David Hilbert'ten almaktadır.
Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo.
Soyut cebir ve mantıkta, ikili işlemlerin dağılma özelliği, temel cebirdeki dağılma kuralının genelleştirilmesidir.
Matematikte, tek fonksiyon ve çift fonksiyon, aralarında simetri ilişki bulunan ve toplamaya göre tersleri olan fonksiyonlardır. Matematiksel analizin birçok alanında, özellikle kuvvet serisi ve Fourier serisinde sıkça kullanılır. Kuvvet fonksiyonunun eş kuvvetlerine göre adlandırılır ve şu şartı şağlar: Eğer n çift tam sayı ise, f(x) = xn, çift fonksiyon; n tek tam sayı ise, fonksiyon tek fonksiyondur.
Parametre belirli bir sistemi tanımlamak veya sınıflandırmak için yardımcı olabilecek herhangi bir özellik. Parametre, sistemi tanımlarken veya performansını, durumunu değerlendirirken yararlı veya kritik olan bir sistem unsurudur.
Doğrusallık, grafiksel olarak düz bir çizgi olarak gösterilebilen matematiksel bir ilişkinin (fonksiyonun) özelliğidir. Doğrusallık, orantılılık kavramı ile yakından ilişkilidir. Fizikteki örnekler, bir elektrik iletkenindeki voltaj ve akımın doğrusal ilişkisini ve kütle ve ağırlık ilişkisini içermektedir. Daha karmaşık ilişkiler doğrusal olarak sayılmamaktadır.
Asal implikants yöntemi olarak da bilinen Quine–McCluskey algoritması (QMA), 1952'de Willard V. Quine tarafından geliştirilen ve 1956'da Edward J. McCluskey tarafından genişletilen Boole işlevlerinin minimizasyonu için kullanılan bir yöntemdir. Genel bir ilke olarak bu yaklaşım, mantıkçı Hugh McColl tarafından 1878'de gösterilmişti. 1937'de Archie Blake tarafından kanıtlandı ve yeniden keşfedildi. 1954'te Edward W. Samson ve Burton E. Mills ve 1955'te Raymond J. Nelson. Yine 1955'te Paul W. Abrahams ve John G. Nordahl ile Albert A. Mullin ve Wayne G. Kellner yöntemin ondalık bir varyantını önerdiler.
Espresso mantık sadeleştiricisi, dijital mantık kapısı devrelerinin karmaşıklığını etkili bir şekilde azaltmak için sezgisel ve özel algoritmalar kullanan bir bilgisayar programıdır. Espresso, IBM'den Robert K. Brayton tarafından geliştirilmiştir. Richard L. Rudell daha sonra 1986'da "PLA Sentezi için Çok Değerlikli Mantık Minimizasyonu" başlığı altında Espresso-MV varyantını yayınladı. Espresso birçok türevine ilham vermiştir.