Zahlensysteme. Formale Methoden der Informatik WiSe 2008/2009 Folie 1 (von 54)

Ähnliche Dokumente
Dipl.-Ing. Halit Ünver Datenbanken/Künstliche Intelligenz FAW/n. Zahlensysteme

Zahlensysteme. Formale Methoden der Informatik WiSe 2010/2011 Folie 1 (von 71)

Zahlendarstellungen und Rechnerarithmetik*

Einführung in die Informatik I

Inhaltsangabe 3.1 Zahlensysteme und Darstellung natürlicher Zahlen Darstellung ganzer Zahlen

Rückblick. Zahlendarstellung zu einer beliebigen Basis b. Umwandlung zwischen Zahlendarstellung (214) 5 = (278) 10 =(?) 8

Wandeln Sie die folgenden Zahlen in Binärzahlen und Hexadezimalzahlen. Teilen durch die Basis des Zahlensystems. Der jeweilige Rest ergibt die Ziffer.

Zahlen im Computer (Klasse 7 Aufbaukurs Informatik)

Grundlagen der Technischen Informatik. 3. Übung

Grundlagen der Technischen Informatik. 3. Übung. Christian Knell Keine Garantie für Korrekt-/Vollständigkeit

Grundlagen der Technischen Informatik. 3. Übung

2.Vorlesung Grundlagen der Informatik

Rechnergrundlagen SS Vorlesung

Grundlagen der Technischen Informatik. 3. Übung

Musterlösung 1. Mikroprozessortechnik und Eingebettete Systeme 1 WS2015/2016

Zahlensysteme und Kodes. Prof. Metzler

1. 4-Bit Binärzahlen ohne Vorzeichen 2. 4-Bit Binärzahlen mit Vorzeichen 3. 4-Bit Binärzahlen im 2er Komplement 4. Rechnen im 2er Komplement

Lösung 1. Übungsblatt

Computerarithmetik (6a)

1. Grundlegende Konzepte der Informatik

Rechnergrundlagen SS Vorlesung

Grundlagen der Technischen Informatik. 3. Übung

Zahlen in Binärdarstellung

Kapitel 5: Darstellung von Daten im Rechner

There are only 10 types of people in the world: those who understand binary, and those who don't

Basisinformationstechnologie I

Vorlesung Programmieren

Übung Praktische Informatik II

Inhalt. Zahlendarstellungen

Grundlagen der Rechnerarchitektur. Binäre Logik und Arithmetik

Zahlendarstellungen und Rechnerarithmetik*

Grundlagen der Informatik I. Übung

1 Dualsystem Dualzahlen mit Vorzeichen 4. 2 Hexadezimalsystem Hexadezimalzahlen mit Vorzeichen Oktalsystem 13 4 Zahlenring 14

Einführung in die Informatik Inf, SAT

Einführung in die Informatik Inf, SAT

Grundlagen der Informatik

Binäre Darstellung ganzer Zahlen

Informationsmenge. Maßeinheit: 1 Bit. 1 Byte. Umrechnungen: Informationsmenge zur Beantwortung einer Binärfrage kleinstmögliche Informationseinheit

Grundzüge der Informatik Zahlendarstellungen (7)

Digitaltechnik Grundlagen 2. Zahlensysteme

01 - Zahlendarstellung

DuE-Tutorien 17 und 18

Datendarstellung Teil 2

N Bit Darstellung von Gleitkommazahlen

Zum Nachdenken. Welche Eigenschaften einer Vorzeichendarstellung. erreichen? Wie könnte man Vorzeichenzahlen darstellen?

B: Basis des Zahlensystems 0 a i < B a i є N 0 B є (N > 1) Z = a 0 B 0 + a 1 B 1 + a 2 B a n-1 B n-1

Datendarstellung Teil 2

Lösungsvorschlag 4. Übung Technische Grundlagen der Informatik II Sommersemester 2009

Computer Arithmetik. Computer Arithmetik Allgemein

Einführung in die Informatik I

Grundlagen der Programmierung

Kapitel 2 Grundlegende Konzepte. Xiaoyi Jiang Informatik I Grundlagen der Programmierung

Informatik I Modul 2: Rechnerarithmetik (1)

Modul 2: Rechnerarithmetik (1) Informatik I. Modul 2: Rechnerarithmetik (1) Rechnerarithmetik. Formale Grundlagen. Zahlensysteme (1) Zahlensysteme (2)

BSZ für Elektrotechnik Dresden. Zahlenformate. Dr.-Ing. Uwe Heiner Leichsenring

Rechnergrundlagen SS Vorlesung

DuE-Tutorien 16 und 17

Rechnerstrukturen, Teil 1

Wertebereiche, Overflow und Underflow

Grundlagen der Informatik

Computer rechnen nur mit Nullen und Einsen

1. Das dekadische Ziffernsystem (Dezimalsystem) Eine ganze Zahl z kann man als Summe von Potenzen zur Basis 10 darstellen:

Tutorium Rechnerorganisation

Übungen zur Vorlesung Technische Informatik I, SS 2001 Strey / Guenkova-Luy / Prager Übungsblatt 4 Zahlendarstellung/Rechenarithmetik/Rechenwerke

Die Zahl ist: (z 2, z 1, z 0 ) (z ) : 7 = 0 Rest z 2

Übung Programmieren - Zahlendarstellung, SSH, SCP, Shellskripte -

(eindimensionaler) Paritätscode: Codes (8a)

Das Rechnermodell - Funktion

Dezimaldarstellung ganzer Zahlen (Division mit Rest) 1 Division mit Rest in der Hochschule

II. Grundlagen der Programmierung

Kapitel 1: Schaltfunktionen und ihre Darstellung

Zahlensysteme. Wie Computer Zahlen darstellen und mit ihnen rechnen Peter Ziesche

1. Tutorium Digitaltechnik und Entwurfsverfahren

Zahlensysteme. Aufbauvorschrift für ein Zahlensystem. 盹 诲诲诲盿 盿 έ έ έ. Dezimales Zahlensystem (Basis = 10) Z(2) Z(1) Z(0)

Multiplikation. Grundlagen der Rechnerarchitektur Logik und Arithmetik 79

Dualzahlen

, 2017S Übungstermin: Di.,

5 Stellenwertsysteme. Berechne q :=, und setze r := a q b. = 2.25, also q = 2.25 = 2 und = 3. Im Beispiel ergibt sich a b

FAKULTÄT FÜR INFORMATIK

1. Vorzeichen und Betrag (engl. Sign-/Magnitude) 2. Stellenkomplement 3. Basiskomplement

6.2 Kodierung von Zahlen

Das Verfahren in Hardware

Grundlagen der Technischen Informatik. 4. Übung

Grundlagen der Technischen Informatik. 4. Übung

Kapitel 2. Zahlensysteme, Darstellung von Informationen

Multiplikation langer Zahlen

Repräsentation von Daten: Binär-, Oktal- u. Hexadezimalcodierung von ganzen und rationalen Zahlen

5 Zahlenformate und deren Grenzen

6. Zahlendarstellungen und Rechnerarithmetik

, 2014W Übungstermin: Fr.,

Aufgabe 1. Aufgabe 2. Abbildung 1: Schaltung für die Multiplikation mit 4

Über Zahlensysteme und das Rechnen mit Hexadezimalzahlen

Grundlagen der Technischen Informatik. 4. Übung

Kapitel 5: Daten und Operationen

Grundlagen der Technischen Informatik. 4. Übung

Transkript:

Zahlensysteme Formale Methoden der Informatik WiSe 28/29 Folie (von 54)

Teil I: Zahlensysteme. Einführung und Zahlensysteme 2. Zahlensysteme / Algorithmik 3. Zahlendarstellung im Rechner Franz-Josef Radermacher, Fakultät für Ingeneurwissenschaften und Informatik, Universität Ulm, WiSe 28/9 Formale Methoden der Informatik WiSe 28/29 Folie 2 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 3 (von 54). Einführung und Zahlensysteme Modell Wirklichkeit Die einfachste Form der Darstellung einer Zahl Basis-Zahlendarstellung

Formale Methoden der Informatik WiSe 28/29 Folie 4 (von 54) Modell Wirklichkeit Phänomen Anzahl Äpfel + + 5 Äpfel =? 3 Autos + + 8 Autos =? 37 Häuser + + 2 Häuser =? Rinder + 8 Rinder =?

Operationen Zahlen Summenbildung Differenz Produkt Division Potenzen etc.. Frage: Wie notiert man Zahlen? Wie aufwendig ist das Notieren? 2. Frage: Wie addiert man Zahlen? Wie aufwendig ist das addieren? Formale Methoden der Informatik WiSe 28/29 Folie 5 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 6 (von 54) Die einfachste Form der Darstellung einer Zahl 7 5 Vorteil: Nachteil: unmittelbar verständlich zu großer Aufwand bei großen Zahlen, außerdem nicht wirklich benennbar, damit praktisch nicht kommunizierbar.

Formale Methoden der Informatik WiSe 28/29 Folie 7 (von 54) Addition Wie addiert man solche Zahlen? 9 22 + = Vorteil: Nachteil: Algorithmus trivial: Man hängt die einen Striche an die anderen Striche. (Algorithmus z.b. durch Wegstreichen) hoher Aufwand, Ergebnis schwer nutzbar.

Formale Methoden der Informatik WiSe 28/29 Folie 8 (von 54) Basis-Zahlendarstellung Man nehme eine Zahl b, z.b. b = 2, 3, 4, Betrachtet man die Zahl b n für n =,, 2, dann ergibt sich b = b = b b b b 2 b 3 b 4 b 2 = b 2 b 3 = b 3 wächst exponentiell schnell b x wächst schneller als jedes Polynom 2 3 ist schon größer als die Anzahl aller Atome im Universum Mit 8-Tupeln aus und (,,,,,,, ) lassen sich schon 256 verschiedene Dinge unterscheiden bzw. beschreiben.

Formale Methoden der Informatik WiSe 28/29 Folie 9 (von 54) Basis-Zahlendarstellung () zahl = Σ a i b i die Basis b 2 ist aus den natürlichen Zahlen die Ziffer a i ist aus den natürlichen Zahlen a i b- die Darstellung ist eindeutig Schreibweise: zahl = (a n... a ) b Beispiel: (24) = 3 + 2 + 2 + 4 Beispiel gebräuchliche Zahlenbasen: - - 2 (Binär-System) 8 (Oktal-System) 435 - (Dezimal-System) - 6 (Hexadezimal-System) 285 D (Ziffern:,..., 9, A, B, C, D, E, F) n i =

Formale Methoden der Informatik WiSe 28/29 Folie (von 54) Konvertierung zwischen zwei Basen zahl = n i= a i n n b = a b + i n an b + K+ ab + Basis b Basis - Eingabe: b, Ziffernfolge a, a,..., a n - Ausgabe: Dezimalzahl a Basis besonders wichtig, weil wir diese gewöhnt sind Basis Basis b - Eingabe: Dezimalzahl, neue Basis b - Ausgabe: Ziffernfolge a, a,..., a n

Formale Methoden der Informatik WiSe 28/29 Folie (von 54) Basis-Zahlendarstellung (2) Vorteile: Mit Basis-Zahlendarstellungen (Stellenwertsystemen) gelingt eine exponentielle Verkürzung der Darstellung gegenüber dem Strichcode. Sie basiert im wesentlichen auf der Größe b i daher gibt es auch Bezeichnungen z.b. 38 Milliarden Man braucht Namen im Zehnersystem: aktuelles Programm der US Bundesregierung zur Stärkung US Finanzsystems: US$ 7 Milliarden,, 2,, 9 zehn hundert 6 Million Googol (Namensgeber der Suchmaschine google )

Formale Methoden der Informatik WiSe 28/29 Folie 2 (von 54) Basis-Zahlendarstellung (3) 92 im Französischen: quatre vingt douce 4 2 + 2 Wesentlich:. Potenzen spielen eine zentrale Rolle. 2. Man braucht die Null ( ). (Kulturhistorische Revolution) 3. In größeren Systemen (z.b. im 2-er System / im 6-er System) benötigt man außerdem neue Zeichen (im 2-er System für und / im 6-er System für bis 5)

Formale Methoden der Informatik WiSe 28/29 Folie 3 (von 54) 2. Zahlensysteme / Algorithmik Summenbildung Addition mit Übertrag Multiplikation

Formale Methoden der Informatik WiSe 28/29 Folie 4 (von 54) Summenbildung Kann man in der kurzen Codierung eine (bzgl. der kurzen Codierung) schnelle, d.h. polynomische Addition hinbekommen? Summenbildung = zentraler Algorithmus (Subtraktion, Multiplikation, Division, Potenz, Wurzel werden darauf zurückgeführt) Im französischen heißt die Rechnung im Lokal l addition Zentraler Algorithmus für das -er System: Übertrag ist immer oder 3 4 9 7 6 5 + 5 4 8 2 3 4 4 5 3 7 8 Addieren von 2 Zahlen = 3-er Addition, von denen eine nur aus -en und -en besteht

Formale Methoden der Informatik WiSe 28/29 Folie 5 (von 54) Summenbildung () Weitere Beispiele: 5 7 2 3 + 6 9 8 2 8 2 4 8 3 3 + 7 5 6 8 8 2 4

Summenbildung (2) Addition ist also realisierbar über eine Sequenz von sogenannten Volladdierern (beinhalten den Übertrag) bzw. über spezielle Algorithmen, die ohne eine solche Sequenz auskommen. (wird später genauer behandelt) Formale Methoden der Informatik WiSe 28/29 Folie 6 (von 54)

Summenbildung (3) Formale stellenweise Addition (mit Übertrag) a n b n + a n- b n- + + a b + a b a nb n + a n-b n- + + a b + a b ü s b + s b ü =, falls a + a < b, falls a + a b s = a + a, falls a + a < b (a + a )-b, falls a + a b Formale Methoden der Informatik WiSe 28/29 Folie 7 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 8 (von 54) Summenbildung (4) Konkretes Beispiel: 3 4 5 6 + 2 8 7 6 2 7 3 3 + 2 + = 6 6 + 7 + = 3 4 + 8 + = 2 5 + + = 7

Formale Methoden der Informatik WiSe 28/29 Folie 9 (von 54) Addition im 5-er System () Ziffern:,, 2, 3, 4 5 = 5 6 = 5 7 = 2 5 8 = 3 5 9 = 4 5 größte Zahl bei der Addition zweier 5-er Zahlen, wenn noch ein Übertrag von dazu kommt, da 4 + 4 (+) = 9 = 4 5 Additionstabelle + 2 3 4 2 3 4 2 3 4 2 2 3 4 3 3 4 2 4 4 2 3 Die grün gekennzeichneten Fälle erzeugen einen Übertrag

Addition im 5-er System (2) mit Übertrag: + (+) 2 3 4 2 3 4 2 3 4 2 3 4 2 3 4 2 3 4 2 3 4 Die grün gekennzeichneten Fälle erzeugen einen Übertrag Formale Methoden der Informatik WiSe 28/29 Folie 2 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 2 (von 54) Addition im 5-er System (3) einfache Beispiele zur Konvertierung: 5 Vorgehensweise: 5 = 5 = 5 5 2 = 25 5 3 = 25 () = 2 5 + 5 = (2) 5 () = 2 5 + 5 = (2) 5 (2) = 2 5 + 2 5 = (22) 5 (5) = 3 5 + 5 = (3) 5 (8) = 3 5 + 3 5 = (33) 5 III III 25 5 25 (= 5 2 ) ist die größte 5-er Potenz, die gerade noch kleiner ist als die gegebene 26. 25 passt genau mal in 26 hinein. (bisher) 5 2 Nun die 5 2 (= 25) von den bisherigen 26 abziehen. Es bleibt ein Rest von. 5 (= 5 ) passt genau mal in den Rest (= ) hinein. (bsiher) 5 2 + 5 Nun die 5 (= ) vom bisherigen Rest (= ) abziehen. Es bleibt ein Rest von. (= 5) passt genau mal in den Rest (= ) hinein. (bisher) 5 2 + 5 + 5 Nun die 5 (= ) vom bisherigen Rest (= ) abziehen. Es bleibt ein Rest von. Wir sind fertig! (26) = 5 2 + 5 + 5 = () 5

Addition im 5-er System (4) einfache Beispiele zur Addition: (3) 5 + (4) 5 = (7) 5 = 5 + 2 5 = (2) 5 direkter Weg: (22) 5 + (3) 5 =? Umweg über das -er System (eigentlich unschön und hier nur zur Veranschaulichung) 2 2 + 3 = (2) = (5) = (27) Übertrag 2 = (27) Formale Methoden der Informatik WiSe 28/29 Folie 22 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 23 (von 54) Addition im 5-er System (5) Beispiel Addiere (343) 5 + (42344) 5 = (33) 5 ( 3 4 3 ) 5 + (4 2 3 4 4) 5 ( 3 3 ) 5 (325) + (625) + (25) + 3 (25) + 3 (5) = (3965) Rechnen im 5-er System 5 =, 5 = 5, 5 2 = 25, 5 3 = 25, 5 4 = 625, 5 5 = 325 (343) 5 = (625) + 3 (25) + 4 (25) + 3 (5) + () (343) 5 = (625) + 3 (375) + () + (5) + () = (6) (42344) 5 = 4 (625) + 2 (25) + 3 (25) + 4 (5) + 4 () (42344) 5 = (25) + 2 (25) + 3 (75) + (2) + 4 (4) = (2349) Σ = (3965)

Addition im 2-er System () Ziffern:,, 2, 3, 4, 5, 6, 7, 8, 9, A, B = A 2 = B 2 2 = 2 23 = B 2 größte Zahl bei der Addition zweier 2-er Zahlen, wenn noch ein Übertrag von dazu kommt, da B 2 + B 2 (+) = + (+) = B 2 = 23 Additionstabelle + 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 2 3 4 5 6 7 8 9 A B 3 3 4 5 6 7 8 9 A B 2 4 4 5 6 7 8 9 A B 2 3 5 5 6 7 8 9 A B 2 3 4 6 6 7 8 9 A B 2 3 4 5 7 7 8 9 A B 2 3 4 5 6 8 9 A 8 9 A 9 A B A B B 2 2 3 2 3 4 3 4 5 4 5 6 5 6 7 6 7 8 7 8 9 B B 2 3 4 5 6 7 8 9 A Die grün gekennzeichneten Fälle erzeugen einen Übertrag Formale Methoden der Informatik WiSe 28/29 Folie 24 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 25 (von 54) Addition im 2-er System (2) mit Übertrag: + (+) 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B 2 3 4 5 6 7 8 9 A B Die grün gekennzeichneten Fälle erzeugen einen Übertrag

Formale Methoden der Informatik WiSe 28/29 Folie 26 (von 54) Addition im 2-er System (3) Beispiel Addiere (63A5) 2 + (5B43) 2 = (328) 2 (6 3 A 5) 2 + (5 B 4 3) 2 2 = 2 = 2 2 2 = 44 2 3 = 728 2 4 = 2736 2 5 = 248832 2 6 = 2985984 2 7 = 358388 2 8 = 42998696 ( 3 2 8) 2 2 2 4 + 2 2 3 + 3 2 2 2 + 2 2 2 + 8 2 2 = (2736) + (728) + 3 (44) + 2 (2) + 8 () = (2736) + (728) + 3 (432) + 2 (24) + 8 (8) = Rechnen im 2-er System (22) (63A5) 2 = 6 2 2 3 + 3 2 2 2 + A 2 2 + 5 2 2 = (343) 5 = 6 (728) + 3 (44) + (2) + 5 () = (343) 5 = (368) + 3 (432) + (2) + 5 (5) = (925) (5B43) 2 = 5 2 2 3 + B 2 2 2 + 4 2 2 + 3 2 2 = (343) 5 = 5 (728) + (44) + 4 (2) + 3 () = (343) 5 = 5 (864) + (584) + 4 (48) + 3 (3) = (275) Σ = (22)

Multiplikation Gegeben zwei Zahlen: 7 5 Wie erhält man das Produkt? mehrfaches Addieren der Zahl 7 5 = 5 + 5 + 5 + 5 + 5 + 5 + 5 = I I I I I I I I I I I I I I I I I I I I 7 Summanden I I I I I I I I I I I I I I I Formale Methoden der Informatik WiSe 28/29 Folie 27 (von 54)

Multiplikation () Multiplikationstabelle (das kleine im -er-system) 2 3 4 5 6 7 8 9 2 3 4 5 6 7 8 9 2 2 4 6 8 2 4 6 8 3 3 6 9 2 5 8 2 24 27 4 4 8 2 6 2 24 28 32 36 5 5 5 2 25 3 35 4 45 6 6 2 8 24 3 36 42 48 54 7 7 4 2 28 35 42 49 56 63 8 8 6 24 32 4 48 56 64 72 9 9 8 27 36 45 54 63 72 8 Formale Methoden der Informatik WiSe 28/29 Folie 28 (von 54)

Multiplikation (2) Multiplikationstabelle (das kleine im 5-er-System) 2 3 4 2 3 4 2 2 4 3 3 3 4 22 4 4 3 22 3 Bemerkung: kleiner, einfacher Formale Methoden der Informatik WiSe 28/29 Folie 29 (von 54)

Multiplikation (3) Wie multipliziert man effizienter als durch mehrfache Addition? Beispiel: (im -er-system) 2 3 4 5 6 =? Formale Methoden der Informatik WiSe 28/29 Folie 3 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 3 (von 54) Multiplikation (4) 23 456 = 23 (4 + 5 + 6) = 5688 D.h. Multiplikation beliebiger Zahlen im -er System wird zurückgeführt auf Multiplikation mit,, durch Anhängen keiner, einer, zweier etc. Nullen Multiplikation mit einstelligen Zahlen ( Multiplikationstabelle!) Addition ( Additionstabelle!) = 23 4 + 23 5 + 23 6 = 23 4 + 23 5 + 23 6 = 492 + 65 + 738

Formale Methoden der Informatik WiSe 28/29 Folie 32 (von 54) Multiplikation (5) Kurzdarstellung 2 3 4 5 6 4 8 2 4 9 2 5 5 6 5 6 2 8 + 7 3 8 5 6 8 8

Formale Methoden der Informatik WiSe 28/29 Folie 33 (von 54) 3. Zahlendarstellung im Rechner Das 2-er System Konvertierung Negative Zahlen und Subtraktion 2-er Komplement

Formale Methoden der Informatik WiSe 28/29 Folie 34 (von 54) Das 2-er System Vorteil: nur noch und 2 gut identifizierbare und technisch realisierbare Zustände (Strom fließt vs. Strom fließt nicht, positive Spannung vs. negative Spannung) Wie sieht die Zahl 3 im Zweier-System aus? 3 = 2 3 + 2 2 + 2 + 2 8 + 4 + + 5

Formale Methoden der Informatik WiSe 28/29 Folie 35 (von 54) Addition im 2-er System () Ziffern:, = 2 = 2 2 = 2 3 = 2 4 = 2 5 = 2 6 = 2 Additionstabelle: + Die grün gekennzeichneten Fälle erzeugen einen Übertrag mit Übertrag: + (+)

Formale Methoden der Informatik WiSe 28/29 Folie 36 (von 54) Addition im 2-er System (2) Summenbildung: + 2 4 + 2 3 + 2 2 + 2 + 2 = 3 2 4 + 2 3 + 2 2 + 2 + 2 = 5 2 4 + 2 3 + 2 2 + 2 + 2 = 8

Formale Methoden der Informatik WiSe 28/29 Folie 37 (von 54) Konvertierung Konvertierung vom -er System in 2-er System (377) = (?) 2 377 : 2 = 88 Rest 88 : 2 = 94 Rest 94 : 2 = 47 Rest 47 : 2 = 23 Rest 23 : 2 = Rest : 2 = 5 Rest 5 : 2 = 2 Rest 2 : 2 = Rest : 2 = Rest Ergebnis: Rückwärtsanordnung der Reste, d.h. ( ) 2 = (377) Probe, d.h. Konvertierung vom 2-er System in -er System 256 + 64 + 32 + 6 + 8 + = 377 Stop bei

Formale Methoden der Informatik WiSe 28/29 Folie 38 (von 54) Konvertierung () Wieso werden Reste rückwärts angeordnet? (32) = (?) 2 32 : 2 = 6 Rest 6 : 2 = 8 Rest 8 : 2 = 4 Rest 4 : 2 = 2 Rest 2 : 2 = Rest : 2 = Rest (32) = () 2

Formale Methoden der Informatik WiSe 28/29 Folie 39 (von 54) Endliche Zahlenbereiche () Digitalrechner sind endlich! Es gibt nur endlich viele Stellen, endlich viele Plätze, die zur Zahlendarstellung verwendet werden können. Häufig werden 32 bit, d.h. 32 Dualstellen bereitgestellt. / /. 2 3 / / 2 2 = Kleinste Zahl ( ) 2 = () Größte Zahl ( ) 2 = (4 294 967 295) Größere Zahlenbereiche als der 32 bit sind möglich z.b. 48 bit oder 64 bit.

Formale Methoden der Informatik WiSe 28/29 Folie 4 (von 54) Endliche Zahlenbereiche (2) Problem endlicher Zahlenbereiche: Summe, Produkt darstellbarer Zahlen ist u.u. nicht mehr darstellbar ( Überlauf, overflow) Hypothetisch kleines Beispiel: nur 4 Bits +? Summenbildung nicht ausführbar!

Negative Zahlen und Subtraktion Ziel: Sowohl Darstellung negativer Zahlen als auch Arithmetik damit Grundsätzlich 2 Wege denkbar: Extra Substraktionsalgorithmus Rückführung auf Addition ( bevorzugt) Formale Methoden der Informatik WiSe 28/29 Folie 4 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 42 (von 54) Negative Zahlen und Subtraktion (). Versuch: (signed integer) Ein Bit wird als Vorzeichen reserviert. Dann sind nun weniger Bits zur eigentlichen Zahlendarstellung (Betragsdarstellung) verfügbar. Typischerweise wird das Bit ganz links als Vorzeichen verwendet. Vorzeichenbit = + Vorzeichenbit = Beispiel: ( ) 2 = 4 + 64 + 32 + 6 + 8 + 2 ( ) 2 = 4 Darstellbarkeit negativer Zahlen erscheint in Ordnung 64 + 32 + 6 + 8 + 2

Negative Zahlen und Subtraktion (2) kleines Problem: Die hat zwei Darstellungen. Alle anderen darstellbaren Zahlen haben eindeutige Darstellungen. ( ) 2 = = ( ) 2 + (gewöhnungsbedürftig, aber beherrschbar) großes Problem: Addition einer negativen Zahl = Subtraktion dieser Zahl? Formale Methoden der Informatik WiSe 28/29 Folie 43 (von 54)

Negative Zahlen und Subtraktion (3) Beispiel: 9 4 (= 9) + (= 4) (= 3) so nicht Formale Methoden der Informatik WiSe 28/29 Folie 44 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 45 (von 54) Negative Zahlen und Subtraktion (4) Vorzeichenbit = + Vorzeichenbit = 9 4 + (= 4) (= 9) (= + 3) so auch nicht Aber: Für eine reine Darstellung gemischt auftretender positiver und negativer Zahlen ist die Vorzeichenkonvention brauchbar!

Formale Methoden der Informatik WiSe 28/29 Folie 46 (von 54) 2-er Komplement 2. Versuch: (2-er Komplement) Finde zu irgendeiner Binärzahl, z.b. 2 eine Binärzahl, so dass deren Summe ist. (Beschränkung auf 8 Bit) z.b. 9 9 = Löse das Problem rückwärts! +?

Formale Methoden der Informatik WiSe 28/29 Folie 47 (von 54) 2-er Komplement 2. Versuch: (2-er Komplement) Finde zu irgendeiner Binärzahl, z.b. 2 eine Binärzahl, so dass deren Summe ist. (Beschränkung auf 8 Bit) z.b. 9 9 = + Löse das Problem rückwärts!. Beobachtung: Es entsteht eine neue Stelle. ignorieren 2. Beobachtung: Die zu addierende Zahl ist das Komplement der ursprünglichen Zahl bis auf die letzte Stelle. Komplement:

2-er Komplement () Das 2-er Komplement wird in zwei Schritten gebildet. Bildung des reinen Komplements 2. Addition von, wobei eine vorne ggf. entstehende neue Stelle ignoriert wird. Beispiele für 2-er Komplement: Komplementbildung Komplementbildung Addition von + Addition von + Formale Methoden der Informatik WiSe 28/29 Folie 48 (von 54)

2-er Komplement (2) Komplement ( Komplement ( Zahl ) ) = Zahl aber auch 2-er Komplement ( 2-er Komplement ( Zahl ) ) = Zahl Beispiel: 2-er Komplement von ist (vorige Folie) Davon das 2-er Komplement: Komplementbildung Addition von + Formale Methoden der Informatik WiSe 28/29 Folie 49 (von 54)

Addition des 2-er Komplements () (3 9). Schritt: Bildung des 2-er Komplements von 9 + 2-er Komplement von (9) 2. Schritt: Addition von 3 und dem 2-er Komplement von 9 = (3) + = 2-er Komplement von (9) = (4) ignorieren des Übertrags! Formale Methoden der Informatik WiSe 28/29 Folie 5 (von 54)

Addition des 2-er Komplements (2) (9 3) (Die Darstellung negativer Zahlen ist im Zusammenhang mit dem 2-er Komplement im bisherigen Verlauf ungeklärt.). Schritt: Bildung des 2-er Komplements von 3 + 2-er Komplement von (3) 2. Schritt: Addition von 9 und 2-er Komplement von 3 = (9) kein Übertrag entstanden + = = 2-er Komplement von (3) ( 4)? Darstellung negativer Zahlen noch nicht festgelegt möglicherweise sinnvoll Formale Methoden der Informatik WiSe 28/29 Folie 5 (von 54)

Formale Methoden der Informatik WiSe 28/29 Folie 52 (von 54) 2-er Komplement von 8-Bit Zahlen () 28 27 26 25 Addition von von Position zu Position Das erste Bit ist das Vorzeichen + 4 3 2-er Komplemente nebeneinander 3 4 2-er Komplemente liegen sich in diesem Zahlenkreis nicht gegenüber, sind aber betragsmäßig gleich. 2 2

Formale Methoden der Informatik WiSe 28/29 Folie 53 (von 54) 2-er Komplement von 8-Bit Zahlen (2) Subtraktion wurde tatsächlich auf Addition mit 2-er Komplement zurückgeführt. Die Bildung des 2-er Komplements kann wiederum auf Addition zurückgeführt werden, denn die Komplementbildung kann auf Addition zurückgeführt werden allerdings auf Addition ohne Überträge Beispiel: Überträge ignorieren + Diese beiden Zahlen sind die reinen Komplemente voneinander. Es wird stets diese Zahl zum Binärmuster addiert. Subtraktion vollständig auf Addition(en) zurückgeführt! Komplementbildung durch ziffernweise / bitweise Negation.

2-er Komplement von 8-Bit Zahlen (3) Zahlenbereichsüberschreitungen beim 2-er Komplement werden in dieser Vorlesung (Übungen, Tutorien, Klausur) nicht behandelt. Multiplikationen beim 2-er Komplement werden in dieser Vorlesung (Übungen, Tutorien, Klausur) auch nicht behandelt. Formale Methoden der Informatik WiSe 28/29 Folie 54 (von 54)