• Keine Ergebnisse gefunden

Seminar 3

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Seminar 3"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Seminar 3

Jörn Loviscach

Versionsstand: 8. November 2011, 19:15

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Germany License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/de/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA.

Die 16 Bits einesintauf dem MSP430 kann man auch als eine Zahl mit Nachkom- mastellen auffassen, zum Beispiel, indem man fest (daher „fixed point“) zwischen die vorderen acht und die hinteren acht Bits ein Komma setzt.

Wie muss man Addition, Subtraktion, Multiplikation und Division für solche Zahlen korrekt definieren?

Wie kann man für solche Zahlen mit Hilfe des Newton-Verfahrens eine Quadrat- wurzelfunktion definieren?

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 43.03 KB )

ÄHNLICHE DOKUMENTE

Bisimulation Safe Fixed Point Logic

We define and investigate a new modal fixed-point logic, called bisimulation safe fixed-point logic BSFP, which is a calculus of binary relations that extends both PDL and the


Zahl
ist
um
3
größer
als
16.
 
 ___________________


[r]

man Die

Möglich ist die Reduktion bei der Temperatur des elektrischen Ofens, aber bei dieser Temperatur verbindet sich überschüs—.. siger Kohlenstoff mit dem Metall zu einem Karbid der

man Die

gibt eine kristallinische Masse, die, da sie sich sehr langsam bildet, viel härter ist als die von gewöhnlichem Gips ge- lieferte.. Der natürliche Anhydrit nimmt kein

Fest für alle Mitarbeiterinnen und Mitarbeiter: Bits and Bites 11

Rund 800 TU Graz-Angehörige waren der Einladung des Rektorates gefolgt und feierten Anfang Dezember das ihnen gebührende Fest. © Lunghammer –

C++ Quelltext in mehrere Dateien aufteilenBasisklasse# zahl : int+ Basisklasse()+ setZahl(int)+ getZahl() : int

[r]

7 Fixed-point logic with counting

Therefore Immerman proposed that counting quantifiers should be added to logics and asked whether a suitable variant of fixed-point logic with counting would suffice to capture

2 Parity Games and Fixed-Point

2.2 Algorithms for parity games The most naïve way to build a referee for a parity game is to just remember, for each position v visited during the play, the minimal priority seen