
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.
Veri yapısı, bilgisayar ortamında verilerin etkin olarak saklanması ve işlenmesi için kullanılan yapı.

Yarıçap, bir daire veya kürenin özeğinin (merkezinin) çemberine olan mesafesidir. Çapın yarısına eşittir.

Sonlu durum makinası ; sınırlı sayıda durumdan, durumlar arası geçişlerden ve eylemlerin birleşmesiyle oluşan davranışların bir modelidir.

Königsberg'in yedi köprüsü; graf teorisinin temelini oluşturan ve XVIII. yüzyılda Königsberg köprülerinden ilhamlanılarak ortaya atılan ünlü bir matematik problemidir.

Kuantum Alan Teorisi (METATEORİ); Klasik Birleşik Alan (KAT) Teorilerini, Özel Görekliliği (SRT), Kuantum mekaniği (KM) teorilerini tek bir teorik çerçeve altında toplayan bir üst teoridir.

Düğüm; ip vb. doğrusal cisimleri, birbirine tutturmak için kullanılan yöntemdir. Düğüm, bir veya birden fazla ipten, dokumalardan, sicim ve kayışlardan, zincirlerden, hatta birbirine bağlanmış hatlardan meydana gelen dokumalardan meydana gelebilir. Düğümler, bağlama yöntemleri, kullanımları, hikâyeleri, kökenleri ve düğüm teorisinin matematiksel gözlemleri nedeniyle ilginç nesneler olarak tanınırlar.
Hamilton Yolu, yönlü veya yönsüz bir grafta Hamilton yolu veya Hamilton devresinin olup olmadığının kararının verilmesinin problemidir.
3SAT ve KLIK problemleri, Turing makinasından polinom zamanda kararlaştırılabilen NP problemleri arasında yer alır. Bu problemlerin birbirinin cinsine çevrilmesine indirgeme denilir.
Mimarlık teorisi veya mimari teori mimarlık hakkında düşünmek, tartışmak ve en önemlisi yazmak eylemlerine verilen isimdir. Mimarlık teorisi dünyanın birçok yerinde mimarlık fakültelerinde öğretilmekte ve bazıları da belli mimarlar tarafından benimsenip uygulanmaktadır.

David Bohm ; teorik fizik, felsefe ve nöropsikoloji alanlarına katkıda bulunmuş bir kuantum mekaniği fizikçisidir.

4=0 düğümü, bir ipe dört düğüm atıp iki ucundan çekince ipin düğümsüz kalmasıyla şaşırtır. Aslında son iki hamle ilk iki işlemi geri almıştır.

Graf teorisinde, düğümleri her kenar iki kümede de birer bitiş ucuna sahip olacak şekilde iki ayrı kümeye ayrılabilen graflara iki parçalı graf adı verilir.

Bir Bayes ağı, Bayes modeli ya da olasılıksal yönlü dönüşsüz çizge modeli bir olasılıksal çizge modelidir ve birbirleriyle koşulsal bağımlılıklara sahip bir rassal değişkenler kümesini yönlü dönüşsüz çizge(YDÇ) şeklinde ifade eder. Bayes ağları; gündelik hayatta meydana gelen bir olayı anlatmak ve o olayın gerçekleşmesine sebebiyet verebileceği bilinen birkaç olası nedenden herhangi birinin katkıda bulunan faktör olma olasılığını tahmin etmek için kullanılan ideal bir modelleme türüdür. Örneğin, bir Bayes ağı kullanılarak hastalıklar ve semptomları arasındaki olasılıksal koşul ilişkileri modellenebilir. Bu model kullanılarak, bir kişide görülen semptomlar verildiğinde bu kişinin bazı hastalıklara sahip olma olasılıkları hesaplanabilir. Buna benzer olarak neden-sonuç ilişkisi olan birçok olayın olasılığı bu modelleme ile görselleştirilebilir.

Matematikte graf ya da çizge, nesne çiftlerinin bir anlamda "ilişkili" olduğu bir dizi nesne kümesini belirleyen bir yapıdır. Nesneler, köşeler adı verilen matematiksel soyutlamalara karşılık gelir ve ilgili düğüm çiftlerinin her birine bir kenar, ayrıt adı verilir. Tipik olarak bir graf, kenarları için çizgiler veya eğriler ile birleştirilen, düğümler için bir nokta veya daire kümesi olarak diyagram şeklinde gösterilir. Graflar ayrık matematikte çalışmanın amaçlarından biridir.

Çizge teorisinde, yönlü çizge düğümler ve hepsi birer yöne sahip kenarlardan oluşan çizgedir.

Matematiksel analizde, küme üzerindeki bir ölçü, bu kümenin her bir uygun alt kümesine bir sayı atamanın sistematik bir yoludur ve sezgisel olarak kümenin boyutu olarak yorumlanır. Bu anlamda ölçü, uzunluk, alan ve hacim kavramlarının bir genellemesidir. Özellikle önemli bir örnek, Öklid geometrisinin geleneksel uzunluğunu, alanını ve hacmini n-boyutlu Öklid uzayının Rn uygun alt kümelerine atayan bir Öklid uzayındaki Lebesgue ölçüsüdür. Örneğin, gerçek sayılardaki [0, 1] aralığının Lebesgue ölçüsü, kelimenin günlük anlamındaki uzunluğudur ve tam olarak 1'dir.
Grafik teorisinin matematiksel disiplininde, yönlendirilmemiş bir G grafiğinin çizgi grafiği, G'nin kenarları arasındaki bitişiklikleri temsil eden başka bir L (G) grafiğidir.. L(G) şu şekilde oluşturulur: G'deki her kenar için, L(G)'de bir tepe noktası yapılır; G'de ortak bir tepe noktasına sahip her iki kenar için, L(G)'de karşılık gelen köşeleri arasında bir kenar yapılır.