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, 11.04.2018

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

 


Termine der nächsten Vorlesungen:


Dienstag, 05.06.2018: Vorlesung
Mittwoch, 06.06.2018: Vorlesung
Dienstag, 12.06.2018: Vorlesung
Mittwoch, 13.06.2018: Vorlesung
Dienstag, 19.06.2018: Vorlesung
Mittwoch, 20.06.2018: Vorlesung
KW 26: keine Hörsaalveranstaltung ! (nur Tutorien)
Dienstag, 03.07.2018: Vorlesung
Mittwoch, 04.07.2018: 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) 

Fragen zur Vorlesung/Klausur werden bis eine Woche vor dem Prüfungstermin in 12-528 beantwortet.



Übung:

Parallel zur Vorlesung wird eine einstündige Saalübung sowie ein studentisch betreutes Tutorium angeboten. Die Anmeldung zu den Tutorien, die zugehörigen Übungsblätter sowie aktuelle Informationen zum Übungsbetrieb finden Sie in OpenOLAT.

Die Termine werden auf dieser Seite sowie über OpenOLAT bekannt gegeben.


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