Institut für Theoretische Informatik

Präsentation zum Thema: "Institut für Theoretische Informatik"—  Präsentation transkript:

1 Institut für Theoretische Informatik
Diskrete Mathematik Angelika Steger Institut für Theoretische Informatik TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAAAAAAAAAAA

2 Kapitel 3: Algebra Kapitel 3.1: Modulare Arithmetik

3 kongruent modulo m a ≡ b (mod m) gdw. m teilt a-b Schreibweise: a mod m := Zahl r Î {0,…,m-1} mit a ≡ r (mod m) „Rest von a modulo m“ Beachte: a ≡ b (mod m) gdw. (a mod m) = (b mod m)

4 Multiplikation & Kürzen
Für Zahlen a,b,c,d ÎZ, c ¹ 0, gilt: a ∙ c = b ∙ c gdw. a = b Bei der Modulo-Rechnung folgt aus a ∙ c ≡ b ∙ c (mod m) im Allgemeinen nicht, dass a ∙ c ≡ b ∙ c (mod m). Bsp: 1 ∙ 2 ≡ 4 ∙ 2 (mod 6), aber 1 ≡ 4 (mod 6). Dies gilt nur, wenn ggT(c,m)=1 und m ³ 2.

5 Modulorechnung - Beispiele
ISBN International Standard Book Number EAN European Article Number MDi Message-Digest Verfahren

6 ISBN 10 – stellige Nummer, bestehend aus
einem Länder- bzw. Sprachgruppenkode, z.B. 0 für Verlage aus englischsprachigen Ländern und 3 für Verlage aus Deutschland, Österreich und der Schweiz, einer Verlagsnummer, einer laufenden Nummer innerhalb des Verlagprogramms, die von den Verlagen selbst vergeben werden kann, und einer Prüfziffer.

7 ISBN - Beispiel ISBN 3-540-67597-3 Berechnung der Prüfziffer:
1∙3 + 2∙5 + 3∙4 + 4∙0 + 5∙6 + 6∙7 + 7∙5 + 8∙9 + 9∙7 mod 11

8 Die Prüfziffer erkennt Tippfehler Bsp: Schreibt man
ISBN - Eigenschaften Die Prüfziffer erkennt Tippfehler Bsp: Schreibt man statt so stimmt die Prüfziffer nicht. Zahlensturz (Vertauschung zweier Ziffern) statt

9 EAN 13-stellige Nummer, bestehend aus der so genannten Basisnummer, die in der Schweiz von der Organisation GS1 Schweiz vergeben wird, eine vom Hersteller vergebene Artikelnummer und eine Prüfziffer.

10 EAN - Beispiel EAN Prüfziffer Berechnung der Prüfziffer: (von hinten lesen) ∙2 + 3∙2 + 1∙0 + 3∙0 + 1∙1 + 3∙0 + 1∙0 + 3∙0 + 1∙ ∙7 + 1∙1 + 3∙6 mod 10

11 EAN - Eigenschaften Die Prüfziffer erkennt Tippfehler und manchmal einen Zahlensturz …

12 MDi Idee: Berechne einen „Fingerabdruck“ einer Nachricht durch geschickte Kombination von Modulo-Berechnungen und Bitoperationen wie Shifts und ANDs und ORs ….

13 Euklidischer Algorithmus
Kapitel 3.1.2: Euklidischer Algorithmus

14 Euklidischer Algorithmus

15 Erweiterter Euklidischer Algorithmus

16 Lösen linearer Gleichungen

17 Chinesischer Restsatz

18 Der „kleine“ Satz von Fermat

19 Kapitel 3.2: Gruppen

20 Beispiel Neutrales Element: c

21 Permutationen

22 Rechenregeln