Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Losungsvorschlag Termersetzungssysteme Blatt 6 a) Wir zeigen, dass R korrekt und adaquat fur E ist.
 

Summary: L¨osungsvorschlag Termersetzungssysteme ­ Blatt 6
Aufgabe 1
a) Wir zeigen, dass R korrekt und ad¨aquat f¨ur E ist.
1) l r R : l
E r
a b : a
E b, da a b E
b a : b
E a, da a b E
a c : a
E c, da a c E
b d : b
E d, da b d E
2) s r E : s
R t
a b : a
R b, da a b R und somit a R b
a c : a
R c, da a c R und somit a R c
b d : b

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences