Nazariye (Teori, Kuram, Theorem)

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

Leave a Reply


beş * 6 =

Benzer Yazılar:

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ı