23
Von der Aussagenlogik zum Computer Markus Koch - 2012 http://www.medicaljokes.net

Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Von der Aussagenlogik zum Computer Markus Koch - 2012

http://www.medicaljokes.net

Page 2: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Gliederung

Aussagenlogik Der Prozessor Beispiel: Addierer

Page 3: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Aussagenlogik

Aussagen Wahr Falsch

Verknüpfungen (logische Operationen/Funkt.) Und Oder Nicht XOder Kombinationen (Nicht-Und, Nicht-Oder)

Kombiniert 1 Ergebnis

Page 4: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Aussagenlogik → Und

Nur wenn A UND B wahr sind

Page 5: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Aussagenlogik → Oder

Wenn mindestens ein Eingang wahr ist

Page 6: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Aussagenlogik → Nicht

Invertiert den Eingang

Page 7: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Aussagenlogik → XOder

Wenn eine ungerade Anzahl der Eingänge wahr ist

Page 8: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Aussagenlogik → Kombinationen

Kombinationen mit der Nicht-Funktion

→ Invertiert den Ausgang

Page 9: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

CPU → Was ist eine CPU?

Central Processing Unit Prozessor Laufen alle wichtigen Prozesse ab

Page 10: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

CPU → Was muss sie können?

Rechnen Mathematische Operationen

Addition, Subtraktion, Multiplikation, … Logische Operationen

Und, Oder, Nicht, … Heutzutage auch Oft ganze Algorithmen

Verschlüsselung / Dekodierung Zahlensystem: Binärsystem

Intern: Einsen und Nullen neu anordnen und an andere Orte verschieben

Page 11: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Beispiel: Addierer

2 Zahlen addieren Eingabe und Ausgabe in Binär

Page 12: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Addierer → Herangehensweise

1 Bit pro Summand

→ 2 Bit für Ergebnis

Später erweitern Wahrheitstabelle

Page 13: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

1b-Addierer → Wahrheitstabelle

A B S C0 0 0 00 1 1 01 0 1 01 1 0 1

Page 14: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

1b-Addierer → Wahrheitstabelle

S ist wahr, wenn Nur einer der beiden

Summanden wahr ist→ X-ODER

C ist wahr, wenn, Beide Summanden wahr sind

→ UND

A B S C0 0 0 00 1 1 01 0 1 01 1 0 1

Page 15: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

1b-Addierer → Schaltung

DEMO

Page 16: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

1b-Addierer → Probleme

Erweitern auf mehrere Bits nicht möglich, da kein Übertrag (C) als Eingang vorhanden ist.

→ Addierer mit Cin verwenden

→ Addierer mit 3 Zahlen je 1 bit

Page 17: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Volladdierer → Wahrheitstabelle

A B Cin S Cout0 0 0 0 00 1 0 1 01 0 0 1 01 1 0 0 10 0 1 1 00 1 1 0 11 0 1 0 11 1 1 1 1

Page 18: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Volladdierer → Wahrheitstabelle

Cout

ist wahr, wenn

A und B wahr sind

Cin gleichzeitig mit A oder B

wahr ist Alle Eingänge wahr sind

S ist wahr, wenn Die Anzahl der aktiven

Eingänge ungerade ist

A B Cin S Cout

0 0 0 0 00 1 0 1 01 0 0 1 01 1 0 0 10 0 1 1 00 1 1 0 11 0 1 0 11 1 1 1 1

Page 19: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

4b-Addierer → Schaltung

DEMO

Page 20: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

4b-Addierer → Aufbau

Erweiterung des Volladdierers Hintereinander geschaltet Pro weiterem Bit 1 weiterer Addierer Erster darf ein Halbaddierer sein

Page 21: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

4b-Addierer → Schaltung

DEMO

Page 22: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Abschließende Worte

Sehr kompliziert

→ Hoher Aufwand Software ist ebenso wichtig

Page 23: Von der Aussagenlogik zum Computer Markus Koch - 2012cclassic.users.sourceforge.net/downloads/doc/Von...Aussagenlogik Aussagen Wahr Falsch Verknüpfungen (logische Operationen/Funkt.)

Vielen Dank!

Fragen?

© clementes / tux.crystalxp.net/ 2012 CC-BY-NC-SA