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  20.06. 2017 fällt aus!
Dienstag, 27.06. 2017

Termine der nächsten Übungen/Tutorien: 

4. Tutorium: 

Montag, 19.06. 2017
Dienstag, 20.06. 2017
Mittwoch, 21.06. 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: Mittwoch, 28.06.2017

 

Labor:

wird in zweiter Hälfte des Semesters bekannt gegeben

 

Prüfung: 

nächste Klausur: siehe KIS

 


Ü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