Vorlesungsaufzeichnungen
Institut für Informatik
- 5.63938:34:54WS 21/22Deutsch
Elektronik I
- 1.23719:03:09SS 2021Deutsch
Elektronik II
- 4.92921:19:20SS 2021Deutsch
Grundlagen der Digitaltechnik
- 36927:38:00SS 2021Deutsch
Test und Verlässlichkeit
- 3.48111:57:45WS 20/21English
Cooperation Systems WS 20/21
- 3.77521:21:36SS 2020Deutsch
Entwurf digitaler Schaltungen
- 1.10904:49:34SS 2020English
Multiagentensysteme und Algorithmische Spieltheorie
- 6.11015:43:31SS 2019Deutsch
Mensch-Maschine-Interaktion
* Grundlagen der menschlichen Informationsverarbeitung * Paradigmen der Mensch-Maschine-Interaktion und des Interaktionsdesigns * Benutzerschnittstellen im Prozess des Software Engineerings * Ergonomiestandards * Evaluationsmethoden für interaktive Systeme * Kognitive und sozio-organisatorische Modelle * Methoden zur Dialog- und Aufgabenmodellierung * Fallstudien zu Interaktiven Systemen und Mensch-Maschine-Schnittstellen
- 6.36513:46:54SS 2018English
Serious Games
- 4.41004:23:34WS 16/17English
Wissenschaftliche Arbeitstechniken für Seminare
- 13.62522:31:37SS 2016Deutsch
Logik und Verifikation
This course is about logic based formal methods and how to use them for verification in computer science. It rigorously defines the language and semantics of sentential logic (SL) and first-order logic (FOL). We introduce the notion of a model, and show how hardware and software systems can be modelled within this framework. We also consider semantic entailment vs. syntactic derivability of formulae and how these two notions are related through correctness and completeness. Completeness is formally proved for SL and extensively discussed for FOL (in the form of refutation completeness). Both logics are applied to important verification problems: SL and its extension LTL for verifying linear temporal properties in concurrent systems, and FOL for verifying input/output properties of programs (the Hoare calculus). We show how the resolution calculus for FOL leads to PROLOG, a programming language based on FOL. We also show that SL leads to a declarative version of PROLOG: Answer Set Programming (ASP), that can be used to solve problems expressible on the second level of the polynomial hierarchy. While ASP is not a full-fledged programming language, it can be used for many naturally ocurring problems and it allows to model them in a purely declarative way. 1. Introduction 2. Sentential Logic (SL) 3. Verification I: Reactive Systems 4. First-Order Logic (FOL) 5. Verification II: Hoare Calculus 6. From FOL to PROLOG 7. PROLOG
- 9.22427:04:05WS 15/16Deutsch
Rechnernetze I
· Bitübertragungsschicht · Echtzeitzugang zu Rechnernetzen · Echtzeitübertragung in Netzen · xDSL (digital subscriber line) · Lokale Netze · SONET/SDH, Weitverkehrsnetze · Wegewahl in Weitverkehrsnetzen · Internet Protocol IP · Transportschicht, ISO-Transportdienst · Internet Protocol TCP · Breitband-ISDN, Asynchronous Transfer Mode (ATM)
- 2.68523:48:11WS 15/16Deutsch
Rechnernetze II
Teil 1: ISO-Darstellungsschicht (Schicht 6) · Kompression von Graphik/Bild/Video-Daten · Gliederung der Kodierungen · RLE, Huffman-Kode, Lempel-Ziv-Kode, Arithmetische Kodierung · JPEG, MPEG Teil 2: ISO-Anwendungsschicht (Schicht 7) Teil 2a: Internet-Dienste · Domain Name System (DNS) und Namensauflösung · Telnet, FTP, Email, USENET, World Wide Web · Client Server-Architekturen · Client-Server-Betriebsweise · HTTP-Protokoll · Web Browser Teil 2b: Internet-Anwendungen · NFS, CGI, Remote Procedure Calls · SUN RPCs · DCE, CORBA, (D)COM Middleware
- 7.18020:00:34SS 2015Deutsch
Rechnerorganisation I
Die Vorlesung besteht aus den drei Teilen A, B und C. In Teil A sollen die Studierenden die Grundlagen der Rechnerarchitektur kennenlernen. In Teil B ist das Lernziel die Peripherieeinheiten eines Prozessors. In Teil C lernen die Studierenden die Architektur von RISC-Rechnern mit Schwerpunkt auf Verfahren zur Beschleunigung der Befehlsausführung.
- 1.73123:36:50SS 2015Deutsch
Rechnerorganisation II
Teil 1: Vertiefung RISC-Rechner Teil 2: Parallelrechner
- 3.96109:57:54WS 14/15Deutsch
Werkzeuge der Informatik
· Einführung in die Skriptprogrammierung unter Unix/Linux · Wissenschaftlicher Textsatz mit Latex · Grundlagen und Werkzeuge des WWW · Datenrepräsentation mit XML · Wissenschaftliches Rechnen mit Matlab · Tabellenkalkulation und Präsentation
- 2.78920:00:03SS 2011English
Komplexitätstheorie
The first chapter covers some topics from the Chomsky hierarchy: the Myhill-Nerode theorem (how to construct a minimal finite automaton), deterministic PDAs, type 1 languages, normalform for type 0 and type 1 languages, Ehrenfeuchts theorem and Lindenmayer systems, a class of grammars that is orthogonal to parts of the Chomsky hierarchy. Chapter 2 discusses undecidability results in greater depth (Posts Correspondence theorem, (primitive) recursive functions, Hilberts 10. problem (solving diophantine equations)). We also cover Rices theorem and its analogue for grammars. Makanins problem (word equations over a free monoid) is decidable but not primitive recursive. Chapters 3 and 4 cover classical complexity results: time versus space, speed-up, gap-theorem, union-theorem and complexity classes: PH (the polynomial hierarchy), PSPACE, EXPSPACE and most of their interesting subclasses. We also cover closure properties and the Immerman/Szelepcsényi theorem. Chapter 5 covers the arithmetical and analytical hierarchy (extending EXPSPACE into the undecidable) and discusses descriptive complexity: can we find logics corresponding to complexity classes (Fagins theorem).
- 19.55625:14:56WS 10/11Deutsch
Informatik III
· Grammatiken der Chomsky Hierarchie (Typ3-Typ 0) · Reguäre Ausdrücke, Satz von Kleene, · Endliche Automaten (indet.), epsilon Kanten, Pumping Lemma, · Kellerautomaten, Turingmaschinen · Busy Beaver, Halteproblem, Reduktionen, aufzaehlbar/entscheidbar · Random access machines, P/NP
- 14.04530:55:02SS 2009Deutsch
Künstliche Intelligenz
Die Aufzeichnungen wurden aus dem Sommersemester 2008 übernommen. Nur das Kapitel 5 wurde neu aufgezeichnet.