Lecturenotes

Collection. Algorithmen und Datenstrukturen
Part. Einführung
Unit. Organisation, Literatur 30.12.18
Unit. Problemstellungen, Begriffe 30.12.18
Part. Algorithm Engineering
Unit. Problemlösen 30.12.18
Unit. Algorithmendesign 30.12.18
Unit. Algorithmenanalyse 18.01.19
Unit. Algorithmenimplementierung
Unit. Algorithmenevaluierung
Part. Sortieren
Unit. Sortieralgorithmen 30.12.18
Unit. Internes Sortieren durch Vergleichen (1) 30.12.18
Unit. Internes Sortieren durch Vergleichen (2) 06.02.19
Unit. Internes Sortieren durch Verteilen 09.01.19
Unit. Externes Sortieren
Unit. Sortiertheorie 09.01.19
Part. Datenstrukturen
Unit. Records und Container 29.01.19
Unit. Listen 29.01.19
Unit. Dictionaries und Hash Tables 29.01.19
Unit. Hash Functions 30.01.19
Part. Graphalgorithmen
Part. Anwendungen
Collection. Datenbanken
Part. Einführung
Unit. Organisation, Literatur 10.10.18
Unit. Problemstellungen, Begriffe 23.04.19
Part. Konzeptueller Datenbankentwurf
Unit. Datenbankentwurf und Datenbankmodelle 14.11.18
Unit. Konzeptueller Datenbankentwurf: ER-Grundlagen 18.10.18
Unit. Konzeptueller Datenbankentwurf: ER-Erweiterungen 25.01.18
Unit. Konzeptueller Datenbankentwurf: UML
Part. Logischer Datenbankentwurf mit dem relationalen Modell
Unit. Relationales Modell: Syntax-Überblick 13.12.18
Unit. Relationales Modell: Definition, Integrität 13.12.18
Unit. Relationales Modell: Umsetzung ER-Diagramm 13.12.18
Part. Grundlagen relationaler Anfragesprachen
Unit. Relationale Algebra 13.12.18
Unit. Tupel- und Domänenkalkül 13.12.18
Part. SQL
Unit. SQL: Anfragesprache 09.01.19
Unit. SQL: Datendefinition und -manipulation 09.01.19
Unit. SQL: Anwendungsprogrammierung 09.01.19
Part. Entwurfstheorie relationaler Datenbanken
Unit. Funktionale Abhängigkeiten und Normalformen 24.01.19
Unit. Entwurfsalgorithmen 24.01.19
Part. Physikalischer Datenbankentwurf
Collection. Web-Technologie
Part. Einführung
Unit. Organisation, Literatur 11.04.19
Unit. Problemstellungen, Begriffe 11.04.19
Part. Rechnerkommunikation und Protokolle
Unit. Kommunikation und Protokolle für Web-Systeme (1) 24.04.19
Unit. Kommunikation und Protokolle für Web-Systeme (2) 24.04.19
Unit. Kommunikation und Protokolle für Web-Systeme (3) 24.04.19
Part. Dokumentsprachen
Unit. Auszeichnungssprachen 08.05.19
Unit. HTML 08.05.19
Unit. CSS 08.05.19
Unit. XML-Grundlagen 14.05.19
Unit. XML-Schema 14.05.19
Unit. Die XSL-Familie 08.05.19
Unit. APIs für XML 08.05.19
Part. Server-Technologien
Unit. CGI, Servlets, JSP 27.06.18
Unit. Reguläre Ausdrücke, PHP 27.06.18
Part. Client-Technologien
Unit. JavaScript 27.06.18
Unit. Java Applets 27.06.18
Part. Architekturen und Middleware-Technologien
Unit. Überblick, Ajax, REST 04.07.18
Unit. Web-Services mit SOAP 04.07.18
Part. Semantic Web
Unit. Motivation Semantic Web 25.03.18
Unit. Einführung RDF 25.03.18
Unit. RDF-Anwendungen
Unit. RDF Vocabulary Description Language: RDF Schema 25.03.18
Unit. Semantik von RDF und RDFS 25.03.18
Unit. Ontologien und OWL 25.03.18
Unit. OWL-Anwendungen und Werkzeuge
Collection. Machine Learning
Part. Introduction
Unit. Organization, Literature 11.10.18
Unit. Learning Problems 11.10.18
Part. Machine Learning Basics
Unit. Regression 22.11.18
Unit. Concept Learning 22.11.18
Unit. Measuring Performance 26.11.18
Part. Decision Trees
Unit. Decision Trees Basics 21.11.18
Unit. Impurity Functions 21.11.18
Unit. Decision Trees Algorithms 21.11.18
Unit. Decision Trees Pruning 21.11.18
Part. Statistical Learning
Unit. Probability Basics 13.12.18
Unit. Bayes Classification 13.12.18
Unit. Bayesian Belief Networks
Part. Linear Models
Unit. Discriminant Analysis
Unit. Logistic Regression
Part. Neural Networks
Unit. Perceptron Learning 13.12.18
Unit. Multilayer Perceptron 13.12.18
Unit. Radial Basis Functions
Part. Kernel Methods
Unit. Support Vector Machines
Part. Learning Theory
Unit. Error Decomposition and Model Selection
Unit. VC Dimension
Unit. PAC Learning
Part. Combined Models and Meta Learning
Unit. Ensemble Classifiers 23.01.18
Unit. Evolutionary Strategies
Unit. Swarm Strategies
Unit. Reinforcement Learning
Collection. Data Mining
Part. Introduction
Unit. Organization, Literature 22.01.18
Unit. Data Mining Overview 22.01.18
Unit. On Data 22.01.18
Part. Cluster Analysis
Unit. Cluster Analysis Basics 24.01.19
Unit. Hierarchical Cluster Analysis 24.01.19
Unit. Iterative Cluster Analysis 24.01.19
Unit. Density-Based Cluster Analysis 24.01.19
Unit. Cluster Evaluation 24.01.19
Unit. Constrained Cluster Analysis 24.01.19
Part. Nearest Neighbor Strategies
Unit. Self-Organizing Maps 22.01.18
Part. Latent Variables Analysis
Unit. Principal Component Analysis
Unit. Multi-Dimensional Scaling
Unit. Expectation Maximization
Part. Association Analysis
Unit. Frequent Itemset Mining
Unit. Rule Mining
Collection. Information Retrieval
Part. Introduction
Unit. Organization, Literature 31.03.19
Unit. Retrieval Problems 08.04.19
Unit. Architecture of a Search Engine 23.04.19
Unit. Architecture of a Search Engine (Karaoke Version) 08.04.19
Part. Text Transformation
Unit. Text Statistics 06.05.19
Unit. Parsing Documents 06.05.19
Unit. Information Extraction 20.05.19
Part. Indexing
Unit. Inverted Indexes 05.12.18
Unit. Query Processing 18.12.18
Unit. Index Construction 18.12.18
Unit. Index Compression
Part. Retrieval Models
Unit. Overview of Retrieval Models 22.01.19
Unit. Empirical Models 08.01.19
Unit. Probabilistic Models 22.01.19
Unit. Algebraic Models 22.01.19
Unit. Generative Models 29.01.19
Unit. Combining Evidence
Unit. Web Search
Unit. Learning to Rank
Part. Users and Queries
Unit. Information Needs and Queries 30.11.17
Unit. Query Transformation and Refinement
Unit. Cross-Language Search
Part. Result Presentation
Part. Evaluation
Unit. Laboratory Experiments 23.04.19
Unit. Performance Measures 29.04.19
Unit. Training and Testing 29.04.19
Unit. Logging
Part. Acquisition
Unit. Crawling the Web 05.02.19
Unit. Conversion
Unit. Storing Documents
Part. Cross-language Retrieval
Part. Distributed and Parallel Retrieval
Part. Multimedia Retrieval
Part. Other Application Domains
Unit. Digital Libraries
Unit. Enterprise Search
Unit. Medical Information Retrieval
Unit. Legal Information Retrieval
Unit. Patent Search
Part. Introduction
Unit. Organization, Literature 17.10.18
Unit. Search Problems 26.10.18
Unit. Uninformed OR Graph Search (1) 09.11.18
Unit. Uninformed OR Graph Search (2) 15.11.18
Unit. Uninformed AND-OR Graph Search 16.11.18
Unit. Best-First OR Graph Search: Introduction 16.11.18
Unit. Best-First OR Graph Search: Cost Functions 16.11.18
Unit. Best-First OR Graph Search: Hybrid Strategies 16.11.18
Unit. Best-First AND-OR Graph Search: Introduction 16.11.18
Unit. Best-First AND-OR Graph Search: Cost Functions 16.11.18
Part. Searchspace Representation
Unit. State-Space Representation 09.11.18
Unit. Problem-Reduction Representation 19.12.17
Part. Search Theory
Unit. A*: Formal Properties (1) 09.11.18
Unit. A*: Formal Properties (2) 15.11.18
Part. Relaxed Models
Unit. A*: Relaxing Optimality (1) 09.11.18
Unit. A*: Relaxing Optimality (2) 15.11.18
Unit. Non-additive Cost Functions
Unit. Designing Heuristics 09.11.18
Part. Game Playing
Unit. Basic Game Playing Strategies 15.11.18
Part. Search Applications
Collection. Logik
Part. Einführung
Unit. Organisation, Literatur 17.10.18
Unit. Geschichte der Logik
Part. Aussagenlogik
Unit. Syntax, Semantik 17.10.18
Unit. Formeltransformation 17.10.18
Unit. Semantische Erfüllbarkeitsalgorithmen 17.10.18
Unit. Syntaktische Erfüllbarkeitsalgorithmen 17.10.18
Unit. Erfüllbarkeitsprobleme 17.10.18
Part. Prädikatenlogik
Unit. Syntax, Semantik 17.10.18
Unit. Formeltransformation 17.10.18
Unit. Syntaktische Erfüllbarkeitsalgorithmen 17.10.18
Unit. Grenzen der Entscheidbarkeit 17.10.18
Part. Nichtklassische Logiken
Unit. Fuzzy-Mengen 17.10.18
Unit. Fuzzy-Inferenz 17.10.18
Part. Erweiterungen und Anwendungen zur Logik
Unit. Produktionsregelsysteme 17.10.18
Unit. Nicht-monotones Schließen 17.10.18
Unit. Logik und abstrakte Algebren 17.10.18
Unit. Verifikation: Einführung, Hoare-Kalkül 17.10.18
Unit. Verifikation: Hoare-Regeln, partielle Korrektheit 17.10.18
Unit. Verifikation: Terminierung 17.10.18
Collection. Modellierung wissensintensiver Probleme
Part. Einführung
Unit. Organisation, Literatur 02.09.18
Unit. Begriffe, Geschichte der KI 02.09.18
Unit. Problemstellungen 02.09.18
Part. Wissensrepräsentation
Unit. Symbolische versus subsymbolische Repräsentation 02.09.18
Unit. Problemlösungswissen 02.09.18
Unit. Expertensysteme, Problemklassen 02.09.18
Part. Begriffe der Modellierung
Unit. System, Modell, Schlussfolgern 16.10.18
Unit. Modellbildung 16.10.18
Part. Modellieren mit Constraints
Unit. Einführung Constraints 16.10.18
Unit. Constraints für endliche Wertebereiche (1) 16.10.18
Unit. Constraints für endliche Wertebereiche (2) 16.10.18
Unit. Constraint-Anwendungen
Unit. Constraints für unendliche Wertebereiche 16.10.18
Unit. Optimierung, Überbestimmtheit
Part. Diagnose
Unit. Statistische Diagnose: Bayes 16.10.18
Unit. Statistische Diagnose: Dempster/Shafer 16.10.18
Unit. Model-based Diagnosis: TMS 16.10.18
Unit. Model-based Diagnosis: GDE 16.10.18
Unit. Fallbasierte Diagnose 16.10.18
Part. Planen und Konfigurieren
Unit. Planen: Grundlagen 18.10.18
Unit. Planen: Algorithmen 18.10.18
Unit. Planen: Komplexität
Unit. Planen: Erweiterungen
Unit. Konfigurierung: Problemstellungen, Ansätze 16.10.18
Collection. Languages and Tools
Part. LISP
Unit. Organization, Literature
Unit. Introduction to LISP
Unit. Functional Programming
Unit. Lambda Calculus
Unit. Data Types and Data Structures
Unit. Language Elements
Part. LISP Applications
Unit. Production Rule System
Unit. Interval Constraint Propagation
Unit. Computer Algebra Kernel
Part. MapReduce
Unit. Introduction to MapReduce
Unit. Hadoop
Part. Knowledge Representation Tools
Unit. CLIPS: C Language Integrated Production System
Unit. JaCoP: Java Constraint Programming Solver
Collection. Lecturenotes Generic
Part. Styleguide
Unit. Notation and Styleguide 19.12.17
Unit. Styletest 19.12.17