Modulare Arithmetik

Zusammenfassung

Arithmetik bezeichnet umgangssprachlich das Rechnen mit ganzen Zahlen mit den Grundrechenarten Addition, Subtraktion, Multiplikation und Division mit Rest. Die Addition von beliebig großen ganzen Zahlen ist eine allgemein bekannte arithmetische Funktion. Wir benutzen die Addition aber auch in einem anderem Kontext. Wenn man um 18 Uhr eine 14-stündige Reise beginnt, dann erreicht man das Ziel um 8 Uhr. Das Ergebnis der Addition 18 + 14 ist in diesem Kontext also 8. Auf den ganzen Zahlen gilt für die Addition dagegen 18+14 = 32. Bei Uhrzeiten — wir betrachten hier nur die ganzen Stunden — ist das Ergebnis jedoch immer ein Wert in der Menge {0, 1, 2,..., 23} (0 Uhr und 24 Uhr bedeuten das gleiche). Anstatt über 23 hinauszuzählen, beginnt man also wieder bei 0. Demzufolge sind 32 und 8 gleichbedeutend. Abbildung 13.1 hilft beim Rechnen mit Uhrzeiten. Die Uhrzeiten, die es tatsächlich gibt, sind grau hinterlegt: 0 Uhr bis 23 Uhr. Gerät man beim Rechnen zu einer anderen Uhrzeit, dann geht man in Richtung Mittelpunkt des Kreises (oder vom Mittelpunkt weg), bis man eine grau hinterlegte Uhrzeit erreicht hat. Geht man von 32 in Richtung Mittelpunkt, dann erreicht man so sánh die 8. Die 8 erreicht man auch von 56, 80, 104 usw. Alle Zahlen, von denen man die 8 erreicht, sind bei dieser Art des Rechnens gleichbedeutend mit 8.

Bạn đang xem: arithmetic là gì

Preview

Unable vĩ đại display preview. Download preview PDF.

Quellen und weiterführende Literatur

Boole’sche Algebra

G. Birkhoff, T.C. Bartee. Angewandte Algebra. R.Oldenbourg Verlag, 1973.
Google Scholar
F.M. Brown. Boolean reasoning. Kluwer Academic Publishers, 1990.
Google Scholar
Ch. Meinel, Th. Theobald. Algorithmen und Datenstrukturen yên ổn VLSI-Design. Springer-Verlag, 1998.
Google Scholar
E. Mendelson. Boole’sche Algebra und logische Schaltungen. McGraw-Hill, 1982.
Google Scholar

Graphen

B. Bollobás. Extremal graph theory. Academic Press, 1978.
Google Scholar
N. Christofides. Graph theory: an algorithmic approach. Academic Press, 1975.
Google Scholar
F. Harary. Graph theory. Addison-Wesley, 1969.
Google Scholar
S.O. Krumke, H. Noltemeier. Graphentheoretische Konzepte und Algorithmen. Teubner Verlag, 2005.
Google Scholar
D.B. West. Introduction vĩ đại graph theory. Prentice Hall, 1996.
Google Scholar

Logik

D. Gries, F.B. Schneider. A logical approach vĩ đại discrete math. Springer-Verlag, 1993.
Google Scholar
M. Fitting. First-order logic and automated theorem proving. Springer-Verlag, 1996.
Google Scholar
Xem thêm: consume là gì
E. Mendelson. Introduction vĩ đại mathematical logic. Wadsworth, 1987.
Google Scholar
A. Nerode, R.A. Shore. Logic for applications. Springer-Verlag, 1993.
Google Scholar
U. Schöming. Logik für Informatiker. Spektrum Akademischer Verlag; Bibliographisches Institut, 5. Auflage, 2000.
Google Scholar