Sayılabilirlik, bir kümedeki eleman sayısıyla doğal sayılar arasında birebir eşleme kurulabilme durumu.
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:
Termodinamik; ısı, iş, sıcaklık ve enerji arasındaki ilişki ile ilgilenen bilim dalıdır. Basit bir ifadeyle termodinamik, enerjinin bir yerden başka bir yere ve bir biçimden başka bir biçime transferi ile ilgilenir. Bu süreçteki anahtar kavram, ısının, belirli bir mekanik işe denk gelen bir enerji biçimi olmasıdır.
Türbülans veya Çalkantı bir akışkanın hareket hâlindeki düzensizliğidir. Akışkanlar dinamiğinde, türbülans veya türbülanslı akış, basınç ve akış hızında meydana gelen kaotik, stokastik değişimlerle tanımlanan bir akış rejimidir. Akışkanın düzenli katmanlar hâlinde aktığı laminer akışın aksine türbülanslı akışlar düzensiz biçimde karışarak hareket eder. Akışın hangi rejimde olduğu atalet kuvvetlerinin viskozite kuvvetlerine oranını belirten boyutsuz Reynolds sayısı ile tahmin edilebilir. Örneğin, tipik bir boru akışı için Reynolds sayısı yaklaşık 2300'ü aştıktan sonra genellikle akış, türbülanslı rejime geçer. Yüksek Reynolds sayıları türbülanslı rejimin habercisi olarak sayılabilirse de bu geçişin gerçekleştiği Reynolds sayısı birçok faktöre bağlıdır ve farklı problemlerde çok daha yüksek veya düşük bir Reynolds sayısında türbülanslı rejime geçiş olabilir.
Isı, belirli sıcaklıktaki bir sistemin sınırlarından, daha düşük sıcaklıktaki bir sisteme, sıcaklık farkı nedeniyle geçen enerjidir. Isı, parçacıkların 40.000-400.000 hz./s titreşmesi ile oluşur. Isı da iş gibi bir enerji akışı biçimidir. Isı sistem sınırlarında ve geçiş durumunda iken belirlenebilir. Isı sistemin bir durum fonksiyonu değildir.
Sıcaklık ya da suhunet, bir cismin sıcaklığının ya da soğukluğunun bir ölçüsüdür. Gazlar için kinetik enerji, mutlak sıcaklık dereceleriyle orantılıdır.
- Duyularla algılanmakta ve genellikle sıcak ya da soğuk terimleri ile ifade edilmektedir. Teknik olarak bu değerlendirme doğru değildir. İki cisim birbirine temas ettirildiğinde sıcak olan soğumakta soğuk olan ısınmakta ve belirli bir süre temas halinde kaldıklarında her ikisi de aynı sıcaklığa gelmektedir. Buradan yola çıkarak; sıcaklık, bir maddenin ısıl durumunu belirten ve ısı geçişine neden olan etken olarak tanımlanabilir.
- Termik denge halinde bulunmayan sistemle çevresini termik denge haline getirmeye zorlayan potansiyeldir. Termik denge sağlandıktan sonra bu potansiyel kalkmakta, sistemde çevresiyle aynı değeri almaktadır.
- Noktasal bir özelliktir.
- Enerjinin mikroskobik düzeydeki statik hâlidir.
- Bir maddenin ortalama hıza sahip herhangi bir molekülünün kinetik enerjisiyle doğru orantılı olan büyüklüğüne denir.
- Sıcaklık, genleşmeye bakılarak dolaylı yoldan ölçülebilir. Ölçümünde, termometre denilen cihaz kullanılmaktadır.
- Bir cismin, etrafına, kendiliğinden enerji verme eğiliminin bir ölçüsüdür. Enerji veren madde daha yüksek sıcaklıktadır.
Doğal Dil İşleme, yaygın olarak NLP olarak bilinen yapay zekâ ve dilbilim alt kategorisidir. Türkçe, İngilizce, Almanca, Fransızca gibi doğal dillerin işlenmesi ve kullanılması amacı ile araştırma yapan bilim dalı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.
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.
Matematikte, Markov Zinciri, Markov özelliğine sahip bir stokastik süreçtir. Markov özelliğine sahip olmak, mevcut durum verildiğinde, gelecek durumların geçmiş durumlardan bağımsız olması anlamına gelir. Bir başka deyişle, mevcut durumun açıklaması, sürecin gelecekteki evrimini etkileyebilecek tüm bilgiyi kapsar. Gelecek durumlara belirli bir şekilde değil, olasılıksal bir süreçle ulaşılacaktı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.
Hesaplamalı fizik, fizik sorunlarını çözebilmek için sayısal algoritmaların üretilmesi ve gerçeklenmesini içerir. Genelde kuramsal fizikin bir alt dalı olarak değerlendirilir ancak bazen de kuramsal ve deneysel fizik arasında orta bir dal olarak da düşünülü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.
Hızlı Geçiş Sistemi (HGS), Boğaz Köprüleri ve Otoyol geçişlerinde ödemenin pasif RFID teknolojisi kullanılarak gerçekleştirildiği Türkiye'de 17 Eylül 2012 tarihinde kullanılmaya başlanan bir ücretlendirme sistemidir. Ücret toplama işlevi gişelerde yer alan antenler aracılığı ile araç üzerindeki etiketin algılanması ve bu etiket ile ilişkilendirilmiş hesaptan tahsil edilmesi esasına dayanır. Böylelikle gişelerde ödeme yapmak için duraksamadan hızlı bir geçiş sağlanır. Sistemde ek olarak gişelerden geçen aracın dört farklı açıdan görüntüsünü çekerek sınıf ve plakasını tespit eden akıllı kameralar kullanılmaktadır. Tüm bu artı özelliklerine rağmen, Hızlı Geçiş Sisteminin yatırım maliyeti, mevcut sisteme göre çok daha düşüktür.
Sonsuz küçükler, ölçülemeyecek kadar küçük cisimleri tarif etmek için kullanılır. Sonsuz küçüklerden yararlanmaktaki asıl amaç nicelik bakımından çok küçük olsalar da hala açı, eğim gibi belirli özelliklere sahip olmalarıdır. Sonsuz küçük kelimesi 17. Yüzyıl Modern Latin uydurma sözcüğü olan bir dizideki “sonsuzuncu” terim anlamına gelen infitesimustan gelmektedir. İlk olarak 1670 yılı civarında Nicolas Marecator ya da Gottfried Wilhelm Leibniz tarafından kullanılmıştır. Genel anlamla sonsuz küçük bir cisim herhangi bir uygulanabilir ölçümden küçük olan ama boyut olarak sıfırdan farklı ya da çok küçük olan ve bu nedenle sıfırdan ayırt edilemeyecek durumdaki cisimdir. Bundan dolayı sonsuz küçük ifadesi sıfat olarak kullanıldığında aşırı derecede küçük anlamına gelmektedir. Bir anlam verebilmek için genellikle aynı bağlamdaki başka bir sonsuz küçük ile karşılaştırılması gerekir. Sonsuz miktarda çok sonsuz küçük bir integral üretmek amacıyla toplanır. Arşimet “Mekanik Teoremlerin Metodu” adı verilen çalışmasında katı cisimlerin hacimlerini ve bölgelerin alanlarını bulmak için Bölünmezler Yöntemi olarak bilinen yöntemi kullanmıştır. Yayımlanan resmi bilimsel eserlerinde aynı problemleri Tüketme Yöntemi ile çözmüştür. 15. Yüzyılda Cusalı Nicholas’ın üzerinde çalıştığı bir çemberin alanını çemberi sonsuz kenarlı bir çokgen olarak hesaplama yöntemi 17. Yüzyılda Johannes Kepler tarafından geliştirilmiştir. Simon Stevin’in 16. Yüzyılda tüm sayıların ondalık gösterimi üzerine yaptığı çalışmalar gerçek sürekliliğe temel hazırladı. Bonaventura Cavalieri’nin bölünmezler yöntemi klasik yazarların sonuçlarını genişletmesine olanak sağladı. Bölünmezler yöntemi, eş boyutlu varlıklardan oluşan geometrik figürler ile ilişkilidir. John Wallis’in sonsuz küçük görüşü geometrik figürleri figürle aynı boyuta sahip sonsuz yapı bloğuna bölmesi ile bölünmezler yönteminden ayrılır. Bu görüş integral kalkülüsünün genel yöntemleri için temel hazırlamıştır. Sonsuz küçükleri alan hesabında 
ile göstermiştir. Leibniz tarafından kullanılan sonsuz küçükler, sonlu ve sonsuz sayılar için başarılı olan Süreklilik Kuramı ve belirlenemez miktarlar için gösterimi değiştirmenin yönteminin sadece belirlenebilir olanları göstererek yapılacağını anlatan Aşkın Homojenite Yasası gibi bulgusal prensiplere dayanmaktaydı. 18. Yüzyıl sonsuz küçüklerin Leonard Euler ve Joseph-Louis Lagrange gibi matematikçiler tarafından sıklıkla kullanıldığı bir zaman aralığı olmuştur. Augustin-Louis Cauchy sonsuz küçükleri Cour d’Analyse adlı eserinde sürekliliği açıklamak için ve Dirac delta fonksiyonunun ilk formlarından birini tanımlarken kullanmıştır. Tıpkı Cantor ve Dedekind’ın Stevin’in sürekliliğinin daha soyut bir halini geliştirdikleri gibi Paul du Bois-Reymond da sonsuz küçük ile zenginleştirilmiş süreklilik üzerine fonksiyonların artış oranını temel alan bir seri çalışma yapmıştır. Du Bois-Reymond’un çalışması Emile Boral ve Thoralf Skolem’ e ilham verdi. Borel Bois-Reymond’un çalışmalarını Cauchy’nin sonsuz küçüklerin artış oranına dair çalışmalarıyla bağlantı kurdu. Skolem 1934’te aritmetiğin standart dışı ilk modellerini geliştirdi. Süreklilik ve sonsuz küçük yasalarının matematiksel “implementasyonu” Abraham Robinson tarafından 1961’de yapılmıştır. Robinson ayrıca Edwin Hewirr’in 1948’de ve Jerzy Łoś’un 1955’teki çalışmalarına dayanarak standart dışı analizi geliştirmiştir. Hipergerçekler sonsuz küçük ile zenginleştirilmiş sürekliliği sağlar ve transfer prensibi de Leibniz’in süreklilik yasasını sağlar.
Termodinamik'in üçüncü yasası bazen ‘mutlak sıfır sıcaklığında dengede olan sistemlerin özelliklerine ilişkin’ olarak şu şekilde tanımlanır:
Bir petri ağı sistemlerin incelenmesi için kullanılabilecek bir araçtır. Petri ağları, sistemin matematiksel bir modelle modellenebilmesine izin verir. Bir Petri ağı, geçiş ve yerleşim düğümlerinden oluşan tek yönlü iki parçalı graf olarak da tanımlanabilir. Ok şeklinde gösterilen yönlü eğriler, bir geçişten önce ve sonra hangi yerlerin olduğunu tanımlarlar.
Yongada sistem bir entegre devre türüdür. Tek başına bir bilgisayarda bulunan bütün parçaları içerebilir. Aynı zamanda analog, sayısal, karışık sinyal ve radyo iletişimi işlevlerini bünyesinde toplayabilir. Yongada sistemlere düşük güçle çalışan mobil elektronikte sıkça rastlanır. En yaygın kullanım alanı gömülü sistemlerdir. Yongada sistemlerin mikrodenetleyicilerden en büyük farkı işlem gücü ve yüksek hafızasıdır. Ayrıca yongada sistemler harici flash depolama, RAM ve çok çeşitli başka elemanlarla aynı anakart üzerinde onları yöneterek çalışabilirken mikrodenetleyicilerde bunun gibi çok parçalı bir yapı yoktur. Daha doğrusu bir gömülü sistem eğer bir mikrodenetleyici ile kurulduysa ROM, RAM gibi bileşenler mutlaka mikrodenetleyicinin içerisinde bulunurken yongada sistemde böyle bir zorunluluk yoktur. Ayrıca yongada sistemlerin gücü son kullanıcıların kullandığı Windows, Macintosh, iOS, Android vb. işletim sistemlerini çalıştırmaya yeterken mikrodenetleyiciler çok daha spesifik alanlarda ve çok kısıtlı ROM ve RAM'ler ile çalışırlar. Nihayetinde mikrodenetleyiciler örneğin bir çamaşır makinesini kontrol ederken yongada sistemler akıllı telefon, tablet ve hatta bilgisayarlara bile can verebilirler.
Termodinamikte, sistemin termodinamik durumu, durum fonksiyonları olarak bilinen uygun değişken değerleriyle tam olarak tanımlanabilir. Termodinamik değişkenlerinin değerleri bir sistem için bir kere belirlendiğinde, termodinamiğin bütün özelliklerinin değerleri eşsiz bir şekilde belirlenmiş olur. Genellikle, termodinamik durum termodinamik dengenin biri olarak varsayılır. Yani, bu durum bir sistemin sadece belli bir süredeki durumu değil, durum süresiz uzunlukta aynı ve değişmezdir.
