Graf teorisi, çizge teorisi veya çizit teorisi, grafları inceleyen matematik dalıdır. Graf, düğümler ve bu düğümleri birbirine bağlayan kenarlardan oluşan bir tür ağ yapısıdır. Bir graf, çizge veya çizit, düğümlerden (köşeler) ve bu düğümleri birbirine bağlayan kenarlardan oluşur.
Topoloji, matematiğin ana dallarından biridir. Yunancada yer, yüzey veya uzay anlamına gelen topos ve bilim anlamına gelen logos sözcüklerinden türetilmiştir. Topoloji biliminin kuruluş aşamalarında yani 19. yüzyılın ortalarında, bu sözcük yerine aynı dalı ifade eden Latince analysis situs ür.
Tıkızlık, topolojik uzayların sahip olabileceği başlıca özelliklerden biridir. Bir X uzayı ve birleşimleri X uzayını kaplayan herhangi bir açık kümeler topluluğu verildiğinde, bu topluluğun içinden sonlu sayıda açık küme hala X uzayını kaplayabiliyorsa, X uzayına tıkız (kompakt) denir. Gerçel sayılar kümesi (ℜ), üzerindeki standart topolojiye göre tıkız değildir, ancak ℜ’nin her kapalı ve sınırlı alt kümesi altuzay topolojisine göre tıkızdır. Matematiğin diğer pek çok alanında olduğu gibi, sonsuz bir nesnenin sonlu bir nesneye indirgenebilmesi çok önemli avantajlar sağladığı için topoloji alanında ve topolojik yöntemler kullanan diğer alanlarda vazgeçilmez bir kavramdır.
Nesne yönelimli programlama veya kısaca NYP, Her işlevin nesneler olarak soyutlandığı bir programlama yaklaşımıdır. NYP destekleyen programlama dilleri yüksek seviye diller olarak adlandırılır.
Kombinasyon, bir nesne grubu içerisinden sıra gözetmeksizin yapılan seçimlerdir. Nesne grubunun tekabül ettiği kümenin alt kümeleri olarak da tanımlanabilir. Çünkü alt kümelerde sıra önemli değildir.
George Edward Moore, Cambridge Üniversitesi'nde önce okuyup sonra orada ders vermiş çağdaş İngiliz düşünürü. İdealizme olan şiddetli karşı çıkışıyla ün kazanan Moore, Bertrand Russell, Ludwig Wittgenstein ve Gottlob Frege ile birlikte analitik felsefe akımının kurucularından biridir.
Nesne Yönelimli Çözümleme ve Tasarım, bir sistemin/sistem modülleri setinin/organizasyonun/işletme biriminin gereksinimlerinin çözümlenmesinde ve uygun bir çözümün tasarımında nesne ile modelleme tekniklerini kullanır. Modern nesne yönelimli çözümleme ve tasarım yöntemlerinin çoğu, gereksinim, tasarım, uygulama, test ve dağıtım süreçleri boyunca kullanım senaryoları üzerine kuruludur. Kullanım Senaryoları, nesne yönelimli programlama ile birlikte ortaya çıkmış olmasına rağmen yordamsal programlanan sistemlerde de işe yaramaktadır.
Küme, matematikte farklı nesnelerin topluluğu veya yığını olarak tanımlanmaktadır. Bu tanımdaki "nesne" soyut ya da somut bir şeydir. Fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. Örneğin, "Tüm canlılar topluluğu", "Dilimiz alfabesindeki harflerin topluluğu", "Masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. Dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. O halde, matematikte "İyi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.
Gerçel fonksiyonlar, matematiksel analizin özellikle reel analizin klasikleşmiş nesneleridir.Bu bağlamda, gerçek değerli bir fonksiyonun aynı zamanda tanım kümesini gerçek sayıların oluşturduğu gerçek değerli fonksiyon anlamına geldiği söylenebilir.Ancak, Fourier Analizinde olduğu gibi, kimi zaman tanım kümesi reel olup, görüntü kümesi karmaşık sayılardan oluşan kompleks fonksiyonların da gerçek değişken kabul edildiği olur.
Kombinatorik, genellikle sonlu soyut nesneleri konu alan soyut matematik dalıdır. Dalla ilgilenen matematikçilere kombinatoryalist veya kombinatorist denir. Matematiğin, cebir, olasılık kuramı, ergodik teori ve geometri gibi farklı dallarıyla da ilgili olan kombinatorik ayrıca bilgisayar bilimi ve istatistiksel fizik gibi dallarda uygulanmıştır. Kombinatorik dahilindeki konulardan bazıları; belirli kriterleri karşılayan nesnelerin "sayılması", kriterlerin ne zaman karşılanmış olacağına karar vermek, kriterleri karşılayan nesnelerin inşa edilmesi ve analiz edilmesi, "en büyük", "en küçük" veya "optimal" nesneleri bulmak ve bu nesnelerin sahip olabileceği cebirsel yapıları bulmaktır.
Cebirsel geometri, matematiğin bir dalıdır. Adından anlaşılabileceği gibi, soyut cebirin, özellikle değişmeli cebirin yöntemleri ile geometrinin dili ve problemlerini bir araya getirir. Çağdaş matematik içerisinde merkezi bir rol üstlenmesinin yanında, karmaşık analiz, topoloji, sayılar kuramı gibi matematiğin diğer dallarıyla yakın ilişkisi vardır.
Matematikte fonksiyon uzayı bir X kümesinden bir Y kümesine tanımlı fonksiyonların oluşturduğu kümeye verilen bir addır. Fonksiyonlar kümesi yerine fonksiyon uzayı denilmesinin nedeni matematiğin kendi içindeki uygulamalarında bu kümenin genellikle topolojik uzay veya vektör uzayı olarak ortaya çıkmasıdır.
Gözetimli öğrenme ya da denetimli öğrenme, bilinen etiketler ve özellikler kullanarak bir fonksiyon öğrendiğimiz, makine öğreniminin önemli bir alt dalıdır. Bu yöntem, eğitim veri seti kullanılarak öğrenilen modelin, yeni ve bilinmeyen veri noktalarını doğru bir şekilde tahmin etmesini amaçlar.
K-ortalama kümeleme ya da K-means kümeleme yöntemi N adet veri nesnesinden oluşan bir veri kümesini giriş parametresi olarak verilen K adet kümeye bölümlemektir. Amaç, gerçekleştirilen bölümleme işlemi sonunda elde edilen kümelerin, küme içi benzerliklerinin maksimum ve kümeler arası benzerliklerinin ise minimum olmasını sağlamaktır.
Tarih boyunca matematiğin konu çeşitliliği ve derinliği artmaktadır, matematiği kavrama, birçok konuyu matematiğin daha genel alanlarına göre sınıflandırma ve düzenleme için bir sistem gerektirir. Bir dizi farklı sınıflandırma şeması ortaya çıkmıştır ve bazı benzerlikleri paylaşsalar da, kısmen hizmet ettikleri farklı amaçlara bağlı olarak farklılıkları vardır. Ek olarak, matematik geliştirilmeye devam ettikçe, bu sınıflandırma şemaları da yeni oluşturulan alanları veya farklı alanlar arasında yeni keşfedilen bağlantıları dikkate alacak şekilde değişmelidir. Farklı alanlar arasındaki sınırı aşan, genellikle en aktif olan bazı konuların sınıflandırılması daha zor hale gelir.
Hesaplamalı geometri, geometri açısından ifade edilebilen algoritmaların incelenmesine ayrılmış bilgisayar bilimlerinin bir dalıdır. Bazı çalışmalar tamamen geometrik problemlerden meydana gelirken bazıları ise hesaplamalı geometrik algoritmaların incelenmesi sonucunda meydana gelmektedir. Bunun gibi problemlerin hesaplama geometrisinin bir parçası olduğu düşünülmektedir. Modern hesaplamalı geometri son zamanlarda gelişme göstermesine karşın, tarihin antik dönemine kadar uzanan en eski bilgi işlem alanlarından biridir.
İstatistikte, aşırı uyma, üretilen bir analizin belirli bir veri kümesine aşırı oranda uyum göstermesi, dolayısıyla bu veri kümesinde yer almayan yeni verilere uyum sağlayamaması problemidir. Aşırı uyan bir modelde verinin gerektirdiğinden daha fazla parametre vardır. Bunun temel sebebi, verinin elde edilişinde ortaya çıkan sapmaları (gürültü) da kapsayacak bir analiz yapılmış olmasıdır.
Otomatik kümeleme algoritmaları, veri kümeleri hakkında önceden bilgi sahibi olmadan kümeleme yapabilen algoritmalardır. Diğer küme analizi tekniklerinin aksine, otomatik kümeleme algoritmaları, gürültü ve aykırı noktaların varlığında bile en iyi küme sayısını belirleyebilir.
Olfactores, Vetulicolia, Tunicata (Urochordata) ve Vertebrata'yı içeren kordalılar içinde bir daldır. Olfactores, Chordata şubesinin ezici çoğunluğunu temsil eder, çünkü Cephalochordatlar, dalda yer almayan tek kordalılardır.
Bilişimde biçimsel kavram çözümlemesi, nesne ve niteliklerinden oluşan bir derlemeden, bir kavram hiyerarşisi veya biçimsel ontoloji türetmenin ilkelerini belirleyen bir yöntemdir. Hiyerarşideki her kavram, ortak nitelikleri paylaşan nesneleri temsil eder; hiyerarşideki her alt kavram ise, kendi üstündeki kavramların içindeki nesnelerin bir alt kümesini temsil eder. Rudolf Wille tarafından 1981 yılında ortaya atılan terim, 1930'larda Garrett Birkhoff tarafından geliştirilmiş kafes (latis) kuramına ve kısmi sıralı kümelere dayanır.
