Sonlu
Vikisözlük'te sonlu ile ilgili tanım bulabilirsiniz.
- Sonlu, sonsuzun karşıtı
Diğer
- Sonlu durum makinası
- Sonlu elemanlar yöntemi
- Sonlu küme
Bilgisayar programcılığı, söz dizimi ve anlamı tanımlanmış bir kurallar bütünü olan programlama dillerini kullanıp sonlu sayıda komutu yazarak bilgisayara belirli bir işi yaptırmaktır.
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.
Grup teorisi veya Grup kuramı, simetrileri inceleyen matematik dalıdır. Simetri kuramı olarak da adlandırılabilir. Bir nesnenin simetrileri ile kast edilen, nesneye uygulandığında nesneye hiçbir etki olmamış gibi sonuç veren dönüşümlerdir. Her nesnenin en az bir simetrisi vardır: hiçbir şey yapmadan olduğu gibi bırakma dönüşümü. Bahsettiğimiz dönüşümlerin tersleri de vardır ve aradığımız özellikleri sağlarlar. Son olarak da dönüşümlerin art arda yapılması, birleşimli bir işlemdir. Bu üç koşula sırasıyla birim elemana sahip olma, elemenların tersi olma ve grup işleminin birleşmeli olması denir. Bu kavramların matematikte soyutlanması, üzerinde tersinebilir ve bileşme özelliğine sahip ikili bir işlemin tanımlı olduğu kümeler ile yapılır. Daha detaylı açıklamak gerekirse, grup nesnesi bir küme G ve onun üzerinde tanımlı bir 
Topolojik uzaylar, matematiğin Topoloji dalının başlıca uğraş konularıdır. Bir X kümesi ve bu kümenin alt kümelerinin bir kısmını içeren ve aşağıdaki varsayımları sağlayan S kümesinden oluşurlar:
Sayılar teorisi, tamsayılar ve bunlarla ilgili işlemleri inceleyen bilim dalıdır. Sayılar teorisi, tam sayıların özelliklerini inceleyen matematiğin bir alanıdır. Matematiğin en eski alanlarından biri olan bu alanda, uzun yıllar uygulama sahası çok az bulunmuştur. Fakat son yıllarda teknolojik gelişmelerin ve bilgisayar sistemlerinin temelinin sonlu sayıda işlem yapan makinelere dayanması bu alanı uygulama bulur hale getirmiştir. Aslen, matematiğin ihtiyaçtan değil de felsefi temellerden oluştuğunun bir kanıtıdır.
Sonlu elemanlar yöntemi ya da sonlu elemanlar metodu (FEM), mühendislik ve matematiksel modellerde sıklıkla kullanılan bir sayısal analiz yöntemidir. FEM, özellikle yapı statiği, ısı aktarımı, akışkanlar mekaniği, kütle aktarımı ve elektrik potansiyeli problemlerinde kullanılır; yöntem, özellikle iki veya üç boyutlu kısmi diferansiyel denklemleri ve sınır değer problemlerinin çözümünde uygulanır.
Seri, bir dizi olmak üzere 
Friedrich Daniel Ernst Schleiermacher, Aydınlanma eleştirilerini geleneksel Protestan Hristiyanlık ile uzlaştırma girişimi ile tanınan bir Alman Reformcu ilahiyatçı, idealist filozof ve Yeni Ahit bilginidir.
Panenteizm, diyalektik teizm veya kamusal tanrıcılık, panteizmde olduğu gibi Evren'in kendisinin Tanrı olduğunu, panteizmden farklı olarak da ilk devindirici olan Tanrının Evren ve tüm varlıkları özünden yarattığını ve Evren'e aşkın, Evren'in bilincinde mutlak ve değişmez bir varlık olarak egemen olduğu inancıdır.
PowerPC, AIM olarak bilinen Apple-IBM-Motorola ittifakının 1991'de geliştirdiği bir RISC mikroişlemcisidir. Genel olarak kişisel bilgisayarlar içindir. PowerPC merkezi işlem birimleri (CPU) gömülü (embedded) ve yüksek performans işlemcileri olduğu için popüler olmuştur. PowerPC 1990'da AIM' in ve PReP'in temel taşı oldu, fakat mimari Apple'ın Macintosh'unun 1994–2006 modellerinde daha başarılı bulundu.
Dizi, bir sıralı listedir. Bir küme gibi, ögelerden oluşur. Sıralı ögelerin sayısına dizinin uzunluğu denir. Kümenin aksine sıralı ve aynı ögeler dizide farklı konumlarda birkaç kez bulunabilir. Tam olarak bir dizi, tanım kümesi sayılabilen toplam sıralı kümelerden oluşan bir fonksiyon olarak tanımlanabilir. Örneğin doğal sayılar gibi. Diziler bu örnekte olduğu gibi sonlu olabilir. Ya da tüm çift pozitif tam sayılar gibi sonsuz olabilir.
Matematikte, kardinal sayılar ya da nicel sayılar, kısaca kardinaller; bir kümenin kardinalitesi ya da nicesi olarak bilinen büyüklüğünü göstermek için kullanılan sayılardır. Sonlu kümelerde kardinalite, kümenin öğe sayısını gösteren doğal bir sayıdır. Sonsuz kümelerin öğe sayısını tanımlamak için transfinite kardinal sayılar vardır.
Sonsuz, eski Yunanca Lemniscate kelimesinden gelmektedir, çoğunlukla matematik ve fizikte herhangi bir sonu olmayan şeyleri ve sayıları tarif etmekte kullanılan soyut bir kavramdır.
Ayrık matematik veya bazen kullanılan diğer adıyla sonlu matematik ya da kesikli matematik, matematiğin ayrık yapılarıyla ilgilenen süreklilik içermeyen konularını kapsayan matematik dalıdır.
Otomat teorisi, teorik bilgisayar biliminde soyut makineleri ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni Yunanca "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.
Sonlu hacim yöntemi, kısmi diferansiyel denklemlerin cebirsel denklemler halinde sunulması ve değerlendirilmesi için kullanılan bir yöntemdir. Sonlu farklar ve sonlu elemanlar yöntemine benzer olarak, örgüden oluşturulmuş geometrideki ayrık noktalarda ilgili değerlerin hesaplanmasına dayanır.
Akozmizm, felsefede Tanrı'nın tek ve nihai gerçeklik olduğunu, sonlu nesne ve olayların bağımsız olarak var olmadıklarını savunan görüştür. Akozmizmin, her şeyin Tanrı olduğunu savunan panteizmle aynı şey olduğu düşünülmüştür.
Bilimsel hesaplama karmaşık problemleri anlamak ve çözmek için gelişmiş bilgi işlem yeteneklerini kullanan çok disiplinli bir alandır. Hesaplamalı bilim üç farklı unsuru birleştirmektedir:
Michael Oser Rabin, İsrailli bilgisayar bilimcisi. Dana Scott'la birlikte hazırladığı 1959 tarihli makale ile deterministik olmayan sonlu durum makinelerinin temelini atmış ve 1976'da Turing Ödülü'ne değer görülmüştür. Rabin, verili bir metin üzerinde herhangi bir dizeyi bulmaya yarayan algoritmayı da geliştirmiştir.
Cebirsel sayı kuramı soyut cebir tekniklerini kullanarak tam ve oranlı sayıları inceleyen sayılar kuramı dalıdır. Cebirsel sayı alanları ile bunların tam sayı halkaları, sonlu alanları ve işlev alanları gibi özelliklerle ifade edilen sorulara çözüm bulmaya çalışır. Bu dal aracılığıyla açığa çıkarılan bilgiler Diyofantus denklemlerinin çözümünde kullanılmaktadır.