Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Technische Informatik (http://www.informatikerboard.de/board/board.php?boardid=7)
--- IEEE Double Precision Beweis (http://www.informatikerboard.de/board/thread.php?threadid=1950)


Geschrieben von martin17 am 02.11.2014 um 10:02:

  IEEE Double Precision Beweis

Hi!

Ich studiere seit knapp 4 Wochen Informatik, komme soweit ganz gut mit, jedoch bräuchte ich Hilfe bei einer unserer neuen Aufgaben.

Ich soll beweisen, dass ich zwei IEEE Double Precisions genauso vergleichen kann wie vorzeichenlose Binärzahlen, also >,<,=.
Der zweite Teil der Aufgabe baut auf diesen hier auf.

Kann mich jemand in die richtige Richtung lenken? smile

Meine Lösungsidee ist/war einfach für jeden Vergleich ein Beispiel zu erstellen, aber damit ist ja andererseits nichts allgemeingültiges bewiesen...



Geschrieben von Karlito am 03.11.2014 um 00:04:

 

Hallo martin17,

damit am Zahlen vergleichen kann, muss es eine Ordnung geben. Gibt es Darstellungen in IEEE 754, welche nicht vergleichbar sind?

Gruß,

Karlito


Forensoftware: Burning Board, entwickelt von WoltLab GmbH