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.
Bu yazıyı beğendiyseniz, başkalarının da ilgisini çekebilirsiniz:
41 views
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ş, toplam41 defa okunmuştur.
Benzer yazıları Automata (otomatlar, özdevinirler), bilgisayar felsefesi, Bilgisayar Kavramları 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 felsefesi, Bilgisayar Kavramları
...