Seite 1 von 1

Frage zu Folie 6.27

Verfasst: 27. Feb 2016 20:48
von trojan
Folgender Text beim Additionsbeweis verwirrt mich ein bisschen:
Die Herleitungen von (a, σ)=>m und (a, σ)=>m' können nur folgende Formen haben
Warum steht es dort a? Soll es eigentlich nicht so lauten
Die Herleitungen von (a1⊕a2, σ)=>m und (a1⊕a2, σ)=>m' können nur folgende Formen haben

Re: Frage zu Folie 6.27

Verfasst: 29. Feb 2016 10:57
von FlorianD
Ja, mit \((a1 \oplus a2)\) wäre es genauer. Denke einfach \(a = (a1 \oplus a2)\)

Grüße
Florian

Re: Frage zu Folie 6.27

Verfasst: 29. Feb 2016 12:40
von Markus Tasch
Ich habe das entsprechend in den Folien für Modul 6 mit Version 1.2 geändert. Danke für den Hinweis.