Technische Informatik 3. Vorlesung

Größe: px
Ab Seite anzeigen:

Download "Technische Informatik 3. Vorlesung"

Transkript

1 Technische Informatik 3. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau und ~funktion (10,11) Informationskodierung (12,13,14) H.-D. Wuttke, K. Henke

2 BMA, BAA BMA BOOLEsche Mengenalgebra BAA BOOLEsche Ausdrucksalgebra George Boole 2. November Dezember : The Mathematical Analysis of Logic Quelle: Wikipedia.de H.-D. Wuttke, K. Henke

3 Technische Informatik 3. Vorlesung Funktion digitaler Schaltungen: Ausdruck => Wertetabelle Wertetabelle => Ausdruck Elementarkonjunktion, KDNF Elementardisjunktion, KKNF Überführung Normalformen Umformungsregeln, wertverlaufsgleiche Umformungen H.-D. Wuttke, K. Henke

4 Technische Informatik 3. Vorlesung Funktion digitaler Schaltungen: Ausdruck => Wertetabelle Wertetabelle => Ausdruck Elementarkonjunktion, KDNF Elementardisjunktion, KKNF Überführung Normalformen Umformungsregeln, wertverlaufsgleiche Umformungen H.-D. Wuttke, K. Henke

5 schaltalgebraische Ausdrücke Bisher: formale Beschreibung der Funktion einer digitalen Schaltung über Wertetabellen : X => Y Für eine schaltungstechnische Realisierung ist eine strukturorientierte Beschreibung von Interesse => schaltalgebraische Ausdrücke y = h(x) H.-D. Wuttke, K. Henke

6 Wertberechnung Wertberechnung: BAA Rechenregeln für Konstante: Negation: 1=0 0=1 x 1 x Konjunktion: 1 1=1; 0 1=0 0=0 Disjunktion: 0 0=0; 0 1=1 1=1 H.-D. Wuttke, K. Henke

7 Wertberechnung Wertberechnung für Ausdrücke W(h i, X k ): Schrittweise Berechnung des Wertes 1. Belegung aller Variablen (Bits) Variable x j => Bit der Belegung X k (x j ) 2. Verknüpfung der Werte H.-D. Wuttke, K. Henke

8 Ausdruck => Wertetabelle Berechnung der Werte eines Ausdrucks für alle Eingangsbelegungen: => Notation in Wertetabelle als Wertverlauf => Ausdruck repräsentiert Wertetabelle (für eine Ausgangsvariable) H.-D. Wuttke, K. Henke

9 Technische Informatik 3. Vorlesung Funktion digitaler Schaltungen: Ausdruck => Wertetabelle Wertetabelle => Ausdruck Elementarkonjunktion, KDNF Elementardisjunktion, KKNF Überführung Normalformen Umformungsregeln, wertverlaufsgleiche Umformungen H.-D. Wuttke, K. Henke

10 Elementarkonjunktion k 3 => KDNF = 1 W(k 3, X i ) =1 falls i = 3 X 3 = [ 0,..., 0, 1, 1] W(k 3, X i ) =0 falls i 3 k 3 = x n-1... x 1 x 0 h i =y 1 = k 3 k 5 k 6 k 7 h i in KDNF KDNF = Disjunktion von Elementarkonjunktionen H.-D. Wuttke, K. Henke

11 Elementardisjunktion d 2 => KKNF =0 X 2 =[0,..., 0, 1, 0] W(d 2, X i ) = 0 falls i = 2 d 2 = x n-1... x 1 x 0 W(d 2, X i ) = 1 falls i 2 h i = d 0 d 1 d 2 d 4 h i in KKNF KKNF = Konjunktion von Elementardisjunktionen H.-D. Wuttke, K. Henke

12 Technische Informatik 3. Vorlesung Funktion digitaler Schaltungen: Ausdruck => Wertetabelle Wertetabelle => Ausdruck Elementarkonjunktion, KDNF Elementardisjunktion, KKNF Überführung Normalformen Umformungsregeln H.-D. Wuttke, K. Henke

13 KKNF => KDNF Für vollständig bestimmte Funktionen gilt: I 0 =I 1 Index für d: I 0 (Ausgang y=0) h i = d 0 d 1 d 2 d 4 Index für k: I 1 (Ausgang y=1) h i = k 3 k 5 k 6 k 7 H.-D. Wuttke, K. Henke

14 Überführung Normalformen De Morgan: h i h j = h i h j h i h j = h i h j KDNF => KNANF KKNF => KNONF k i k j = k i k j d i d j = d i d j H.-D. Wuttke, K. Henke

15 Weitere Aufgaben zum Selbststudium H.-D. Wuttke, K. Henke

16 Interaktive Übungen zum Selbststudium moodle-kurs Übung 1 Übung 2 Übung 3 H.-D. Wuttke, K. Henke

17 Interaktive Übungen zum Selbststudium moodle-kurs Übung 1 Übung 2 Übung 3 H.-D. Wuttke, K. Henke

18 Interaktive Übungen zum Selbststudium moodle-kurs Übung 1 Übung 2 Übung 3 H.-D. Wuttke, K. Henke

19 Technische Informatik 3. Vorlesung Funktion digitaler Schaltungen: Ausdruck => Wertetabelle Wertetabelle => Ausdruck Elementarkonjunktion, KDNF Elementardisjunktion, KKNF Überführung Normalformen Minimierung über Umformungsregeln H.-D. Wuttke, K. Henke

20 Minimierung über Umformungsregeln Arbeitsblätter S. 7, 8 Priorität H.-D. Wuttke, K. Henke

21 Minimierung über Umformungsregeln Arbeitsblätter S. 7, 8 H.-D. Wuttke, K. Henke

22 Minimierung über Umformungsregeln Arbeitsblätter S. 7, 8 H.-D. Wuttke, K. Henke

23 Das war s für heute Viel Spaß beim Wiederholen! Kap , Bis nächsten Dienstag um H.-D. Wuttke, K. Henke

Technische Informatik I

Technische Informatik I Technische Informatik I Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Rechnerorganisation 2.Vorlesung

Rechnerorganisation 2.Vorlesung Rechnerorganisation 2.Vorlesung Begriffe, Mathematische Grundlagen (1) Boolesche Algebren, Normalformen (2,3) Kombinatorische Schaltungen (4) Programmierbare Strukturen (5) Automaten, Sequentielle Schaltungen

Mehr

Rechnerorganisation 2.Vorlesung

Rechnerorganisation 2.Vorlesung Rechnerorganisation 2.Vorlesung Begriffe, Mathematische Grundlagen (1) Boolesche Algebren, Normalformen (2,3) Kombinatorische Schaltungen (4) Programmierbare Strukturen (5) Automaten, Sequentielle Schaltungen

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten, Sequentielle Schaltungen (6) Informationskodierung (7,8) Fortsetzung

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5,6) Datenkodierung (7,8) Fortsetzung Teil Rechnerarchitektur,

Mehr

Technische Informatik I 4. Vorlesung. 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen

Technische Informatik I 4. Vorlesung. 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen Technische Informatik I 4. Vorlesung 2. Funktion digitaler Schaltungen... wertverlaufsgleiche Umformungen...... H.-D. Wuttke 09 Karnaugh-Veith Veith-Diagramme, 3. Struktur digitaler Schaltungen: Strukturdefinition,

Mehr

Rechnerorganisation 5. Vorlesung

Rechnerorganisation 5. Vorlesung Rechnerorganisation 5. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Rechnerorganisation 5. Vorlesung

Rechnerorganisation 5. Vorlesung Rechnerorganisation 5. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Rechnerorganisation. H.-D. Wuttke `

Rechnerorganisation. H.-D. Wuttke ` Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Rechnerorganisation 5. Vorlesung

Rechnerorganisation 5. Vorlesung Rechnerorganisation 5. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08 Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6) Sequentielle Schaltungen (7) Ablaufsteuerung (8) Fortsetzung Teil

Mehr

Rechnerorganisation 8. Vorlesung

Rechnerorganisation 8. Vorlesung Rechnerorganisation 8. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6) Sequentielle Schaltungen (7) Ablaufsteuerung (8) Fortsetzung Teil

Mehr

Seminaraufgaben. zur Lehrveranstaltung. Technische Informatik Teil RO (EIT, FZT, LAE, LAM, MB, MT, MTR, OST, TKS, WI, WSW) (Ausgabe Oktober 2018)

Seminaraufgaben. zur Lehrveranstaltung. Technische Informatik Teil RO (EIT, FZT, LAE, LAM, MB, MT, MTR, OST, TKS, WI, WSW) (Ausgabe Oktober 2018) Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut für Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung

Mehr

Seminaraufgaben. zur Lehrveranstaltung. Technische Informatik Teil RO (EIT, FZT, LAE, LAM, MB, MT, MTR, OST, TKS, WI, WSW) (Ausgabe Oktober 2015)

Seminaraufgaben. zur Lehrveranstaltung. Technische Informatik Teil RO (EIT, FZT, LAE, LAM, MB, MT, MTR, OST, TKS, WI, WSW) (Ausgabe Oktober 2015) Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut für Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6) Sequentielle Schaltungen (7) Ablaufsteuerung (8) Fortsetzung Teil

Mehr

Rechnerorganisation 12. Vorlesung

Rechnerorganisation 12. Vorlesung Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Rechnerorganisation 12. Vorlesung

Rechnerorganisation 12. Vorlesung Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Rechnerorganisation. IHS 2018/2019 H.-D. Wuttke, K. Henke

Rechnerorganisation. IHS 2018/2019 H.-D. Wuttke, K. Henke Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Rechnerorganisation 12. Vorlesung

Rechnerorganisation 12. Vorlesung Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Rechnerorganisation (RO)

Rechnerorganisation (RO) Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke Dr.-Ing. Karsten Henke H.-D. Wuttke / K. Henke 2016 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns bisher: ehemaliges Informatikgebäude Lehre und Forschung

Mehr

Technische Informatik 1 Rechnerorganisation (RO)

Technische Informatik 1 Rechnerorganisation (RO) Technische Informatik 1 Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke H.-D. Wuttke `13 10.10.2013 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns: nun Informatikgebäude, EG, Sekretariat Zi. 1031

Mehr

Rechnerorganisation 12. Vorlesung

Rechnerorganisation 12. Vorlesung Rechnerorganisation 12. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen

Mehr

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08 Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Seminaraufgaben. zur Lehrveranstaltung. Technische Informatik. (Basic Engineering School) (Ausgabe April 2017)

Seminaraufgaben. zur Lehrveranstaltung. Technische Informatik. (Basic Engineering School) (Ausgabe April 2017) Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut für Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung

Mehr

Heinz-Dietrich Wuttke Karsten Henke. Schaltsysteme. Eine automatenorientierte Einführung. Pearson Studium

Heinz-Dietrich Wuttke Karsten Henke. Schaltsysteme. Eine automatenorientierte Einführung. Pearson Studium Heinz-Dietrich Wuttke Karsten Henke Schaltsysteme Eine automatenorientierte Einführung Pearson Studium ein Imprint der Pearson Education Deutschland GmbH 1 2 2.1 2.2 2.3 2.4 Vorwort Einleitung Mathematische

Mehr

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08 Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Informationskodierung (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5) Sequentielle Schaltungen (6,7) Ablaufsteuerung (8) Fortsetzung Teil

Mehr

Technische Informatik (TI)

Technische Informatik (TI) Technische Informatik (TI) Dipl.-Inf. René Hutschenreuter Dr.-Ing. Heinz-Dietrich Wuttke Dr.-Ing. Prof. h. c. Karsten Henke H.-D. Wuttke / K. Henke 2018/19 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns bisher:

Mehr

Rechnerorganisation (RO)

Rechnerorganisation (RO) Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke Dr.-Ing. Karsten Henke H.-D. Wuttke / K. Henke 2015 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns bisher: ehemaliges Informatikgebäude Lehre und Forschung

Mehr

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke 08 Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Rechnerorganisation. IHS 2018/2019 H.-D. Wuttke, K. Henke

Rechnerorganisation. IHS 2018/2019 H.-D. Wuttke, K. Henke Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Technische Informatik 1

Technische Informatik 1 Technische Informatik 1 Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Technische Informatik 1 Rechnerorganisation (RO)

Technische Informatik 1 Rechnerorganisation (RO) Technische Informatik 1 Rechnerorganisation (RO) Dr.-Ing. Heinz-Dietrich Wuttke H.-D. Wuttke `13 10.10.2013 www.tu-ilmenau.de/iks 1 Hier fanden Sie uns: nun Informatikgebäude, EG, Sekretariat Zi. 1031

Mehr

Schaltsysteme Eine automatenorientierte Einführung

Schaltsysteme Eine automatenorientierte Einführung Heinz-Dietrich Wuttke Karsten Henke Schaltsysteme Eine automatenorientierte Einführung ein Imprint der Pearson Education Deutschland GmbH Schaltsysteme - PDF Inhaltsverzeichnis Schaltsysteme - Eine automatenorientierte

Mehr

Fakultät für Informatik und Automatisierung Institut Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme

Fakultät für Informatik und Automatisierung Institut Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Technische Universität Ilmenau Fakultät für Informatik und Automatisierung Institut Technische Informatik und Ingenieurinformatik Fachgebiet Integrierte Kommunikationssysteme Seminaraufgaben zur Lehrveranstaltung

Mehr

Technische Universität Ilmenau

Technische Universität Ilmenau Technische Universität Ilmenau Hier finden Sie uns: Informatikgebäude, 2. Etage, Sekretariat Zi. 215 Lehre und Forschung im Fachgebiet Integrierte Hard- und Softwaresysteme Prof. Dr.-Ing. habil. Andreas

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5,6) Informationskodierung (7) Sequentielle Schaltungen (6)

Mehr

Rechnerorganisation. IHS 2015/2016 H.-D. Wuttke, K. Henke

Rechnerorganisation. IHS 2015/2016 H.-D. Wuttke, K. Henke Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Rechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15

Rechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15 Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht

Mehr

Informationsdarstellung

Informationsdarstellung Informationsdarstellung Signale und Logik Grundzüge der Booleschen Algebra Signale und Logik (2) Grundzüge d. Informationstheorie [Logarithmen-Repetitorium] Zahlensysteme und ihre Anwendung Signale und

Mehr

Rechnerorganisation. H.-D. Wuttke `

Rechnerorganisation. H.-D. Wuttke ` Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

2.1 Boole sche Funktionen

2.1 Boole sche Funktionen . Grundlagen digitaler Schaltungen. Boole sche Funktionen Darstellung Boolescher Funktionen. Boole sche lgebra Sätze der Booleschen lgebra.3 Realisierung von Booleschen Funktionen Normalformen zweistufiger

Mehr

Digitalelektronik - Inhalt

Digitalelektronik - Inhalt Digitalelektronik - Inhalt Grundlagen Signale und Werte Rechenregeln, Verknüpfungsregeln Boolesche Algebra, Funktionsdarstellungen Codes Schaltungsentwurf Kombinatorik Sequentielle Schaltungen Entwurfswerkzeuge

Mehr

Teil 1: Digitale Logik

Teil 1: Digitale Logik Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei

Mehr

Schaltfunktion, Definition

Schaltfunktion, Definition Schaltfunktion, Definition Sei S = { 0,1}. Dann heißt eine Abbildung f: S n S eine Schaltfunktion. = f(x n-1,x n-2,...,,, ), x n-1, x n-2,...,,, S x i X = (x n-1,x n-2,...,,, ) Eingangsvariable Eingangsvektor

Mehr

Technische Grundlagen der Informatik

Technische Grundlagen der Informatik Technische Grundlagen der Informatik WS 2008/2009 6. Vorlesung Klaus Kasper WS 2008/2009 Technische Grundlagen der Informatik Inhalt Wiederholung Boolesche Gesetze Boolesche Kürzungsregeln Antivalenz und

Mehr

BENUTZERHANDBUCH. Graphical Interactive FiniteStateMachine-Tool (GIFT)

BENUTZERHANDBUCH. Graphical Interactive FiniteStateMachine-Tool (GIFT) BENUTZERHANDBUCH Graphical Interactive FiniteStateMachine-Tool (GIFT) 1 Graphische Oberfläche Inhaltsverzeichnis Allgemeines... 3 Benutzerhinweise... 3 Eingabehinweise... 3 Voreinstellungen... 4 Graphische

Mehr

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung

Mehr

Informationsverarbeitung auf Bitebene

Informationsverarbeitung auf Bitebene Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung

Mehr

03 Boolesche Algebra. Technische Grundlagen der Informatik

03 Boolesche Algebra. Technische Grundlagen der Informatik 03 Boolesche Algebra Technische Grundlagen der Informatik Automation Systems Group E183-1 Institute of Computer Aided Automation Vienna University of Technology email: tgi@auto.tuwien.ac.at Inhalt Operationen

Mehr

Technische Informatik I

Technische Informatik I Rechnerstrukturen Dario Linsky Wintersemester 200 / 20 Teil 2: Grundlagen digitaler Schaltungen Überblick Logische Funktionen und Gatter Transistoren als elektronische Schalter Integrierte Schaltkreise

Mehr

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung

Mehr

f ist sowohl injektiv als auch surjektiv.

f ist sowohl injektiv als auch surjektiv. Bemerkungen: Wir erinnern uns an folgende Definitionen: Eine Funktion f : U V heißt injektiv, wenn gilt: ( x, y U)[x y f(x) f(y)] Eine Funktion f : U V heißt surjektiv, wenn gilt: ( y V x U)[y = f(x)]

Mehr

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

Grundlagen der Technischen Informatik. 6. Übung. Christian Knell Keine Garantie für Korrekt-/Vollständigkeit Grundlagen der Technischen Informatik 6. Übung Christian Knell Keine Garantie für Korrekt-/Vollständigkeit 6. Übungsblatt Themen Aufgabe 1: Aufgabe 2: Aufgabe 3: Aufgabe 4: Relais-Schaltnetze Entwicklungssatz

Mehr

Logik für Informatiker

Logik für Informatiker Vorlesung Logik für Informatiker 5. Aussagenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Normalformen Definition: Literal Atom (aussagenlogische

Mehr

Eingebettete Systeme

Eingebettete Systeme Einführung in Eingebettete Systeme Vorlesung 7 Bernd Finkbeiner 03/12/2014 finkbeiner@cs.uni-saarland.de Prof. Bernd Finkbeiner, Ph.D. finkbeiner@cs.uni-saarland.de 1 Schaltfunktionen! Schaltfunktion:

Mehr

Satz von De Morgan A B A + B A + B A B A. Transistoren: A B U a A 0 0 Vcc Vcc Vcc V 0

Satz von De Morgan A B A + B A + B A B A. Transistoren: A B U a A 0 0 Vcc Vcc Vcc V 0 Satz von De Morgan A + = A A A + A + A A 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 Transistoren: A U a A 0 0 Vcc 1 0 1 Vcc 1 1 0 Vcc 1 1 1 0 V 0 eispiel: Schaltung zur Erkennung gültiger

Mehr

2. Funktionen und Entwurf digitaler Grundschaltungen

2. Funktionen und Entwurf digitaler Grundschaltungen 2. Funktionen und Entwurf digitaler Grundschaltungen 2.1 Kominatorische Schaltungen Kombinatorische Schaltungen - Grundlagen 1 Grundgesetze der Schaltalgebra UND-Verknüpfung ODER-Verknüpfung NICHT-Verknüpfung

Mehr

Allgemeingültige Aussagen

Allgemeingültige Aussagen Allgemeingültige Aussagen Definition 19 Eine (aussagenlogische) Formel p heißt allgemeingültig (oder auch eine Tautologie), falls p unter jeder Belegung wahr ist. Eine (aussagenlogische) Formel p heißt

Mehr

Rechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 15/16

Rechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 15/16 Rechnerstrukturen, Teil Vorlesung 4 SWS WS 5/6 Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls-www.cs.tu-.de Übersicht. Organisatorisches 2.

Mehr

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke `09

Rechnerorganisation. (10,11) Informationskodierung (12,13,14) TECHNISCHE UNIVERSITÄT ILMENAU. IHS, H.- D. Wuttke `09 Rechnerorganisation Mathematische Grundlagen (1) Boolesche Algebren: : BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau

Mehr

Ein Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt.

Ein Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt. 4. Technische Realisierung Sie erinnern sich: Ein Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt. Hier: physikalische Größe = elektrische Spannung

Mehr

Rechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik

Rechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik WS 2013/14 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 21. Oktober 2013 1/33 1 Boolesche

Mehr

Programm heute. Algorithmen und Datenstrukturen (für ET/IT) Definition Algorithmus. Wie beschreibt man Algorithmen?

Programm heute. Algorithmen und Datenstrukturen (für ET/IT) Definition Algorithmus. Wie beschreibt man Algorithmen? Programm heute Algorithmen und Datenstrukturen (für ET/IT) Sommersemester 2015 1 Einführung Dr. Tobias Lasser Computer Aided Medical Procedures Technische Universität München 2 Grundlagen von Algorithmen

Mehr

Algorithmen und Datenstrukturen (für ET/IT)

Algorithmen und Datenstrukturen (für ET/IT) Algorithmen und Datenstrukturen (für ET/IT) Sommersemester 2016 Dr. Tobias Lasser Computer Aided Medical Procedures Technische Universität München Programm heute 1 Einführung 2 Grundlagen von Algorithmen

Mehr

Schaltalgebra und kombinatorische Logik

Schaltalgebra und kombinatorische Logik Schaltalgebra und kombinatorische Logik. Digitale elektrische Schaltungen 2. Beschreibung durch logische Ausdrücke 3. Boolesche Algebra 4. Schaltfunktionen 5. Synthese von Schaltungen 6. Schaltnetze *Die

Mehr

Einführung in die Boolesche Algebra

Einführung in die Boolesche Algebra Einführung in die Boolesche Algebra Einführung in Boole' sche Algebra 1 Binäre Größe Eine Größe (eine Variable), die genau 2 Werte annehmen kann mathematisch: falsche Aussage wahre Aussage technisch: ausgeschaltet

Mehr

Technische Informatik I, SS03. Boole sche Algebra, Kombinatorische Logik

Technische Informatik I, SS03. Boole sche Algebra, Kombinatorische Logik Übung zur Vorlesung Technische Informatik I, SS03 Ergänzung Übungsblatt 1 Boole sche Algebra, Kombinatorische Logik Guenkova, Schmied, Bindhammer, Sauer {guenkova@vs., schmied@vs., bindhammer@vs., dietmar.sauer@}

Mehr

Kapitel 1. Aussagenlogik

Kapitel 1. Aussagenlogik Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax

Mehr

Inhaltsverzeichnis. 1 Boolesche Algebra, Schaltalgebra - Begriffsbestimmung 1. 2 Operationssystem der Schaltalgebra 4. 3 Boolesche Funktionen 6

Inhaltsverzeichnis. 1 Boolesche Algebra, Schaltalgebra - Begriffsbestimmung 1. 2 Operationssystem der Schaltalgebra 4. 3 Boolesche Funktionen 6 Inhaltsverzeichnis 1 Boolesche Algebra, Schaltalgebra - Begriffsbestimmung 1 2 Operationssystem der Schaltalgebra 4 3 Boolesche Funktionen 6 4 Boolesche Funktionen kombinatorischer Schaltungen 8 4.1 Begriffsbestimmung

Mehr

Aussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1

Aussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1 Aussagenlogik Formale Methoden der Informatik WiSe 22/23 teil 6, folie Teil VI: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning, Fakultät

Mehr

Grundlagen der Informationsverarbeitung:

Grundlagen der Informationsverarbeitung: Grundlagen der Informationsverarbeitung: Boolesche Funktionen, Schaltnetze und Schaltwerke Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für

Mehr

1 Analogtechnik und Digitaltechnik. C Schaltalgebra und kombinatorische Logik. 2 Digitale elektrische Schaltungen

1 Analogtechnik und Digitaltechnik. C Schaltalgebra und kombinatorische Logik. 2 Digitale elektrische Schaltungen Analogtechnik und Digitaltechnik C Schaltalgebra und kombinatorische Logik bei analoger Technik kontinuierliche Signale. Analog- und Digitaltechnik 2. Digitale elektrische Schaltungen 3. Logische Schaltungen

Mehr

Systemorientierte Informatik 1

Systemorientierte Informatik 1 Systemorientierte Informatik. Grundlagen Digitaler Schaltungen.8 Schaltnetze aus Gattern und Leitungen.9 Boole sche Algebra. Minimierung Boole scher Funktionen. CMOS Komplegatter Die nächste Funktion,

Mehr

1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik

1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik 1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik Inhalt Grundlagen digitaler Systeme Boolesche Algebra / Aussagenlogik Organisation und Architektur von Rechnern Algorithmen, Darstellung von

Mehr

Grundlagen der Informationsverarbeitung:

Grundlagen der Informationsverarbeitung: Grundlagen der Informationsverarbeitung: Schaltungsentwurf und Minimierungsverfahren Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für Titelbild

Mehr

3 Boole'sche Algebra und Aussagenlogik

3 Boole'sche Algebra und Aussagenlogik 3 Boole'sche Algebra und Aussagenlogik 3- Boole'sche Algebra Formale Grundlagen der Informatik I Herbstsemester 22 Robert Marti Vorlesung teilweise basierend auf Unterlagen von Prof. emer. Helmut Schauer

Mehr

Schaltalgebra. Prof. Metzler

Schaltalgebra. Prof. Metzler Schaltalgebra 1 Schaltalgebra (oolsche lgebra) George oole, britischer Mathematiker, 1815-1864 "The mathematical analysis of logic (lgebra zur systematischen ehandlung von Logik) 1847, 1854 1938 leitet

Mehr

Normalformen boolescher Funktionen

Normalformen boolescher Funktionen Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion

Mehr

DuE-Tutorien 4 und 6. Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery. WOCHE 4 AM

DuE-Tutorien 4 und 6. Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery.  WOCHE 4 AM DuE-Tutorien 4 und 6 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery WOCHE 4 AM 13.11.2012 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum

Mehr

Schaltalgebra und kombinatorische Logik

Schaltalgebra und kombinatorische Logik Schaltalgebra und kombinatorische Logik. Digitale elektrische Schaltungen 2. Beschreibung durch logische Ausdrücke 3. Boolesche Algebra 4. Schaltfunktionen 5. Synthese von Schaltungen 6. Schaltnetze Wintersemester

Mehr

, SS2012 Übungsgruppen: Do., Mi.,

, SS2012 Übungsgruppen: Do., Mi., VU Technische Grundlagen der Informatik Übung 3: Schaltnete 83.579, SS202 Übungsgruppen: Do., 9.04. Mi., 25.04.202 Aufgab: Vereinfachung mittels KV-Diagramm Gegeben ist folgende Wahrheitstafel: e 0 Z Z

Mehr

Logik (Teschl/Teschl 1.1 und 1.3)

Logik (Teschl/Teschl 1.1 und 1.3) Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.

Mehr

Organisatorisches. Algorithmen und Datenstrukturen (für ET/IT) Programm heute. Tutorübungen

Organisatorisches. Algorithmen und Datenstrukturen (für ET/IT) Programm heute. Tutorübungen Organisatorisches Algorithmen und Datenstrukturen (für ET/IT) Sommersemester 2018 Dr. Stefanie Demirci Computer Aided Medical Procedures Technische Universität München Vorlesung online: Webseite: http://campar.in.tum.de/chair/teachingss18aud

Mehr

Schaltsysteme Eine automatenorientierte Einführung

Schaltsysteme Eine automatenorientierte Einführung Heinz-Dietrich Wuttke Karsten Henke Schaltssteme Eine automatenorientierte Einführung ein Imprint der Pearson Education Deutschland GmbH 6 Kapitel 3 Entwurf kombinatorischer Schaltungen Die Definition

Mehr

Grundlagen der Technischen Informatik. 5. Übung

Grundlagen der Technischen Informatik. 5. Übung Grundlagen der Technischen Informatik 5. Übung Christian Knell Keine Garantie für Korrekt-/Vollständigkeit 5. Übungsblatt Themen Aufgabe 1: Aufgabe 2: Aufgabe 3: Aufgabe 4: Aufgabe 5: Boolesche Algebra

Mehr

Boolesche (Schalt-) Algebra (1)

Boolesche (Schalt-) Algebra (1) Boolesche (Schalt-) Algebra (1) Definition 1: Sei B = SS 2 = 0,1 das Alphabet mit den Elementen 0 und 1. Seien auf BB die folgenden 3 Operatoren definiert für xx, yy B: xx + yy max xx, yy xx yy min xx,

Mehr

Technische Informatik (RO)

Technische Informatik (RO) Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten, Sequentielle Schaltungen (6) Informationskodierung (7,8) Fortsetzung

Mehr

kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen

kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen 5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,

Mehr

C.34 C Normalformen (4) 5.7 Hauptsatz der Schaltalgebra. 5.7 Hauptsatz der Schaltalgebra (2) 5.7 Hauptsatz der Schaltalgebra (3)

C.34 C Normalformen (4) 5.7 Hauptsatz der Schaltalgebra. 5.7 Hauptsatz der Schaltalgebra (2) 5.7 Hauptsatz der Schaltalgebra (3) 5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,

Mehr