Zur Hauptnavigation / To main navigation

Zur Sekundärnavigation / To secondary navigation

Zum Inhalt dieser Seite / To the content of this page

Sekundärnavigation / Secondary navigation

Inhaltsbereich / Content

EIT-EIS-314-V-2

Grundlagen der Informationsverarbeitung

Dienstag
Mittwoch
15:30 - 17:00
11:45 - 13:15
Hörsaal: 24-102
Hörsaal: 46-210

(Freitag 14:00 - 15.30 Uhr, Hörsaal 13-305, dient in seltenen Fällen als Ausweichtermin)

 

Umfang: Vorlesung (3 SWS) mit Übung und Tutorien (1 SWS); die Aufteilung in Vorlesung, Übung und Tutorien wird in der Vorlesung bekannt gegeben. 

Beginn: Mittwoch, 19.04.2017

KIS

 

Dozent: Prof. Dr.-ing. Wolfgang Kunz, email: kunz[at]eit.uni-kl.de

Übungsleiter: Michael Schwarz, M.Sc. email: schwarz[at]eit.uni-kl.de

Kommentarfunktion (Über diesen Link können Sie uns anonym Kommentare zur Vorlesung zusenden.)

 

Inhalt:

Die Vorlesung verbindet eine Einführung in Grundlagen der diskreten Mathematik

  • Aussagenlogik

  • Mengen und Relationen

  • Graphen mit einer Einführung in den Entwurf digitaler Systeme

  • Boolesche Algebra und Entwurf kombinatorischer Schaltungen (Schaltkreise)

  • endliche Automaten und Entwurf sequenzieller Schaltungen (Schaltwerke)

  • Bauelemente digitaler Entwürfe

  • Entwurfsmethodik

  • vonNeumann-Rechner

Vorkenntnisse sind nicht erforderlich.

 

Link zum Skript

Link zur Übung

 


Termine der nächsten Vorlesungen:

Dienstag  11.07.2017
Mittwoch  12.07.2017

Termine der nächsten Übungen/Tutorien: 

5. Tutorium: 

Montag, 10.07. 2017
Dienstag, 11.07. 2017
Mittwoch, 12.07. 2017

6. Tutorium: 

Montag, 17.07. 2017
Dienstag, 18.07. 2017
Mittwoch, 19.07. 2017

Saalübung:

1. Saalübung: Dienstag, 09.05.2017

2. Saalübung: Dienstag, 30.05.2017

3. Saalübung: Mittwoch, 21.06.2017

4. Saalübung: Dienstag, 27.06.2017

5. Saalübung: Dienstag, 18.07.2017

 

Labor:

Das Labor findet am 24. & 25.07 ab 11:00 Uhr in Raum 12-524 statt.

Die Teilnahme ist freiwillig, die notwendigen Unterlagen sind auf der Übungsseite zu finden.

Durch die praktische Komponente ist die Anzahl an Teilnehmern begrenzt und eine Anmeldung per Email erforderlich.

 

Prüfung: 

nächste Klausur: siehe KIS

Zur Vorbereitung wird die Klausur vom Sommersemester 2015 gemeinsam mit den Tutoren an folgenden Terminen erarbeitet:

Montag,   04.09.2017, 13:00 - 17:00 Uhr (Saal wird in Kürze festgelegt)

Dienstag, 05.09.2017, 13:00 - 17:00 Uhr (Saal wird in Kürze festgelegt)

 

Die ausgewählte Aufgaben der Klausur vom Wintersemester 2017 werden im Rahmen einer allgemeinen Fragestunde am

Montag,   11.09.2017, 13:00 - 17:00 Uhr (Saal wird in Kürze festgelegt) vorgerechnet.

 

Fragen zur Klausur werden bis zum 21.09.2017 in 12-520 beantwortet.


Übung:

Parallel zur Vorlesung wird eine einstündige Übung angeboten. Auf der zugehörigen Webseite finden sich die Übungsblätter sowie aktuelle Informationen zum Übungsbetrieb. Bitte diese Seite öfters besuchen! 


Literatur:

M. Mano, C. Kime: Logic and Computer Design Fundamentals,
Pearson; 5th International edition, 2016, ISBN-13: 978-1292096070

U. Schöning: Logik für Informatiker, Spektrum Lehrbuch
Akademischer Verlag 2000, ISBN 978-3827410054

Katz, R: Contemporary Logic Design,
Addison-Wesley Longman, 2005, L EIT 71, EIT 862/150

W.K. Grassmann, J.P. Tremblay: Logic and Discrete Mathematics,
Prentice Hall 2003, ISBN 0-13-501206-6

 

Links:

Berkeley Design Technology Warehouse

SAT-Live

SIS zum Download