soyut sınıf(Alm. abstrakte Klasse; Fr. classe abstraite; İng. abstract class) blşm. Nesneye yönelik programlamada programlama dilinden bağımsız olarak kendi içinde nesne yaratılamayan ancak kendisinden nesne yaratılabilecek alt sınıfların tanımlanmasında kullanılabilen sınıf.
soyut veri tipi(Alm. abstrakter Datentyp; Fr. type de données abstrait, m; İng. abstract data type) blşm. Bilgisayar programlamasında bilgisayar dilinden bağımsız olarak kullanıcı tarafından içinde barındırabileceği bilgi türleriyle ve üzerinde yapılabilecek işlemleriyle belirtilen veri tipi.
soyutlama(Alm. Abstraktion, f; Fr. abstraction, f; İng. abstraction)1. blşm. 1. Bilgisayar programlamada farklı yazılım nesnelerinin ortak özelliklerini belirleyip herhangi bir kullanıma özgülenebilecek genel sınıflar kapsamında tanımlama. 2. Bir sistemin matematiksel modellenmesi amacına yönelik sadece gerekli bilgiler üzerinde odaklanan, bunun dışındakileri göz ardı eden yaklaşım. 2. endst. Kavramların temel ilkelerden hareketle, nesnelerden ve dünyadaki örneklerinden bağımsız olarak tanımlanması.
söylem evreni(Alm. Diskursuniversum, m; Gegenstandsbereich, m; Fr. domaine du discours, m; univers du discours, m; İng. domain of discourse; universe of discourse) blşm. Belirli bir bağlam kapsamında üzerinde akıl yürütülebilecek ve söz söylenebilecek tüm ögelerin oluşturduğu küme.