Yazan: Şadi Evren ŞEKER
Bilgisayar bilimleri açısından matematiksel olarak ispat edilmişi kaziyeler (önermeler, statements) birer nazariyedir. Bazı kaziyelerin(önermelerin) doğruluğu ise sırf farklı teorilerin ıspatına yardımcı oluyor diye ıspatlanır. Bu tip kaziyelere (önermelere) ise önkuram (önsav, lemma) adı verilmektedir. Bazı durumlarda ise bir nazariyenin ispatı bize bazı başka neticelerin doğru olduğunu gösterir. Bu tarz kendiliğinden doğruluğu anlaşılan kaziyelere(önermelere) ise tabiî sonuç anlamına gelen sonurgu (corollary) denilmektedir.
Bilgisayar Kavramları üzerinde şu anda okumakta olduğunuz 'Nazariye (Teori, Kuram, Theorem)' isimli yazı 02 Aug 2008 tarihinde, saat: 02:08 'de Şadi Evren ŞEKER tarafından gönderilmiş, toplam 499 defa okunmuştur.
Benzer yazıları Automata (otomatlar, özdevinirler), Bilgisayar Kavramları, bilgisayar felsefesi kategorilerinden okuyabilirsiniz. Yazar ile irtibat kurmak için email gönderebilirsiniz. Yazıya yorum yapabilir ya da yapılan yorumları RSS 2.0 ile takibe alabilirsiniz.
Category:
Automata (otomatlar, özdevinirler), Bilgisayar Kavramları, bilgisayar felsefesi
