önerme(Alm. Satz, m; Fr. proposition, f; İng. proposition) blşm. Ya doğru ya da yanlış olan bir sav öne süren bildirim.
önermeler mantığı(Alm. Aussagenlogik, f; Fr. logique des propositions, f; İng. propositional calculus; propositional logic; sentential calculus) blşm. Yalın önermeler ve mantıksal bağlaçlar kullanılarak daha kapsamlı formüllerin oluşturulmasına dayalı klasik mantık.
önişlemciblşm. 1. (Alm. Frontend-Rechner, m; Fr. processeur frontal; İng. front-end computer; front-end processor) Bir bilgisayarın, iletişim hattı kontrolü, mesaj kotarma, kod dönüşümü ve hata kontrolü gibi işlerini üstlenen yardımcı işlemcisi. 2. (Alm. Präprozessor, m; Fr. préprocesseur, m; İng. preprocessor) Öncül işlem ya da düzenlemeleri yapan ve çıktısı bir sonraki bilgisayar programının girdisi olan program.
önkoşul(Alm. Vorbedingung, f; Fr. précondition, f; İng. precondition)1. blşm. Bir bilgisayar programının belirli bir kısmının yürütüme konmasından hemen önceki doğruluk ya da geçerlilik koşulu. 2. müh. Belirli işlemlerle bir sonuç elde edilebilmesi ya da belirli bir olayın gerçeklenmesi için önceden sağlanması ya da olması gerekenler.
önplan işi(Alm. Vordergrundarbeit, f; Vordergrundprogramm, n; Fr. programme d’avant-plan, m; İng. foreground job; foreground program) blşm. Bilgisayarda, çoklu programlama kipinde çalışılırken ekran ve klavye iletişimine açık bulunan iş.
