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
Unit. Bäume 29.05.19
Part. Suchen
Unit. Suchbäume 11.07.19
Unit. Externe Suchbäume 11.07.19
Part. Graphalgorithmen
Part. Anwendungen
Collection. Datenbanken
Part. Einführung
Unit. Organisation, Literatur 23.10.19
Unit. Problemstellungen, Begriffe 23.10.19
Part. Konzeptueller Datenbankentwurf
Unit. Datenbankentwurf und Datenbankmodelle 06.11.19
Unit. Konzeptueller Datenbankentwurf: ER-Grundlagen 06.11.19
Unit. Konzeptueller Datenbankentwurf: ER-Erweiterungen 06.11.19
Unit. Konzeptueller Datenbankentwurf: UML
Part. Logischer Datenbankentwurf mit dem relationalen Modell
Unit. Relationales Modell: Syntax-Überblick 20.11.19
Unit. Relationales Modell: Definition, Integrität 20.11.19
Unit. Relationales Modell: Umsetzung ER-Diagramm 20.11.19
Part. Grundlagen relationaler Anfragesprachen
Unit. Relationale Algebra 12.12.19
Unit. Tupel- und Domänenkalkül 12.12.19
Part. SQL
Unit. SQL: Anfragesprache 12.12.19
Unit. SQL: Datendefinition und -manipulation 12.12.19
Unit. SQL: Anwendungsprogrammierung 12.12.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 19.08.19
Unit. Problemstellungen, Begriffe 19.08.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 05.06.19
Unit. HTML 05.06.19
Unit. CSS 05.06.19
Unit. XML-Grundlagen 05.06.19
Unit. XML-Schema 05.06.19
Unit. Die XSL-Familie 05.06.19
Unit. APIs für XML 05.06.19
Part. Server-Technologien
Unit. CGI, Servlets, JSP 20.06.19
Unit. Reguläre Ausdrücke, PHP 20.06.19
Part. Client-Technologien
Unit. JavaScript 11.07.19
Unit. Java Applets 11.07.19
Part. Architekturen und Middleware
Unit. Überblick, Ajax, REST 19.08.19
Unit. Web-Services mit SOAP 19.08.19
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 07.11.19
Unit. Learning Problems 07.11.19
Part. Machine Learning Basics
Unit. Regression 06.12.19
Unit. Concept Learning 06.12.19
Unit. Evaluating Effectiveness 06.12.19
Part. Decision Trees
Unit. Decision Trees Basics 06.12.19
Unit. Impurity Functions 06.12.19
Unit. Decision Trees Algorithms 06.12.19
Unit. Decision Trees Pruning 06.12.19
Part. Statistical Learning
Unit. Probability Basics 12.12.19
Unit. Bayes Classification 12.12.19
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 29.10.19
Unit. Retrieval Problems 29.10.19
Unit. Architecture of a Search Engine 29.10.19
Unit. Architecture of a Search Engine (Karaoke Version) 29.10.19
Part. Text Analysis
Unit. Text Statistics 06.05.19
Unit. Parsing Documents 06.05.19
Unit. Information Extraction 20.05.19
Unit. Link Analysis 20.05.19
Part. Indexing
Unit. Inverted Indexes 27.05.19
Unit. Query Processing 27.05.19
Unit. Index Construction 11.08.19
Unit. Index Compression
Part. Retrieval Models
Unit. Overview of Retrieval Models 19.11.19
Unit. Empirical Models 19.11.19
Unit. Probabilistic Models 08.07.19
Unit. Algebraic Models 08.07.19
Unit. Generative Models 08.07.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 05.11.19
Unit. Effectiveness Measures 05.12.19
Unit. Training and Testing 05.11.19
Unit. Logging
Part. Acquisition
Unit. Crawling the Web 11.08.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
Collection. Search Algorithms
Part. Introduction
Unit. Organization, Literature 17.10.18
Unit. Search Problems 26.10.18
Part. Basic Search Algorithms
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
Part. Informed Search
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 19.08.19
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 19.08.19
Unit. Nicht-monotones Schließen 19.08.19
Unit. Logik und abstrakte Algebren 19.08.19
Unit. Verifikation: Einführung, Hoare-Kalkül 19.08.19
Unit. Verifikation: Hoare-Regeln, partielle Korrektheit 19.08.19
Unit. Verifikation: Terminierung 19.08.19
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
Part. Docker
Unit. Docker 12.07.19
Collection. Lecturenotes Generic
Part. Styleguide
Unit. Notation and Styleguide 06.12.19
Unit. Styletest 12.12.19