Fachgebiet Entwurf Informationstechnischer Systeme (EIS)

GRUNDLAGEN DER INFORMATIONSVERARBEITUNG

EIT-EIS-314-V-2

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

 

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

 

Beginn: Mittwoch, 17.04.2019 

Tuesday
15:30 - 17:00
Room: 24-102

 

Wednesday
11:45 - 13:15
Room: 46-210

 

Dozent: Prof. Dr.-Ing. Wolfgang Kunz, email: kunz(at)eit.uni-kl.de

Übungsleiter: Anna Lena Duque Anton , Dipl.-Ing. email: aduquean(at)rhrk.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

 

 


Termine der nächsten Vorlesungen:


Dienstag, 23.04.2019: Vorlesung
Mittwoch, 24.07.2019: Vorlesung
Dienstag, 30.04.2019: Vorlesung

 


Termine der nächsten Übungen/Tutorien: 

siehe OpenOLAT

 

Labor:

Das Labor findet in Raum 12-524 gegen Ende des Semester statt. Der genaue Termin wird noch angekündigt.

Die Teilnahme ist freiwillig, die notwendigen Unterlagen sind in OpenOLAT zu finden.

Durch die praktische Komponente ist die Anzahl an Teilnehmern begrenzt und eine Anmeldung erforderlich. Diese wird bei bekanntgabe des Termins freigeschaltet.

 

Prüfung: 

nächste Klausur: siehe  KIS

Zur Vorbereitung wird die Klausur vom Sommersemester 2015 gemeinsam mit den Tutoren an folgenden Terminen erarbeitet: (wird demnächst angekündigt) 



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

Zum Seitenanfang