Terimi yeniden yazma Matematik bilişim biliminin bir dalı olan evrensel cebir de iki terimin eşit olduğunu ya da olm

Terimi yeniden yazma

Terimi yeniden yazma, Matematik, bilişim biliminin bir dalı olan evrensel cebir de iki terimin eşit olduğunu ya da olmadığını ispat etmek için kullanılan bir hesap tekniği.

Örnek: Grup teorisinin aksiyomlarını tekrar edelim:

(X · Y) · Z = X · (Y · Z)

X · e = X

X · X^-1 = e

X^-1 · X = e

Şimdi "e · X = X" eşitliğin doğru olup olmadığını terimleri (aksiyomları uygulayıp) yeniden yazarak ispatlayabiliriz.

Kanıt:

e · X

= (X · X^-1) · X

= X · (X^-1 · X)

= X · e

= X

Kaynakça

Franz Baader, Tobias Nipkow. "Term rewriting and all that". Cambridge University Press.

Matematik ile ilgili bu madde seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar

Terimi yeniden yazma Matematik bilisim biliminin bir dali olan evrensel cebir de iki terimin esit oldugunu ya da olmadigini ispat etmek icin kullanilan bir hesap teknigi Ornek Grup teorisinin aksiyomlarini tekrar edelim X Y Z X Y Z X e X X X 1 e X 1 X e Simdi e X X esitligin dogru olup olmadigini terimleri aksiyomlari uygulayip yeniden yazarak ispatlayabiliriz Kanit e X X X 1 X X X 1 X X e XKaynakcaFranz Baader Tobias Nipkow Term rewriting and all that Cambridge University Press Matematik ile ilgili bu madde taslak seviyesindedir Madde icerigini genisleterek Vikipedi ye katki saglayabilirsiniz

Yayın tarihi: Temmuz 13, 2024, 15:32 pm

Üst