Lecture Notes

Collection. Datenbanken
Part. Einführung
Unit. Organisation, Literatur	22.10.10	.de
Unit. Problemstellungen, Begriffe	25.10.10	.de
Part. Konzeptueller Datenbankentwurf
Unit. Datenbankentwurf und Datenbankmodelle	27.10.10	.de
Unit. Konzeptueller Datenbankentwurf: ER-Grundlagen	28.03.11	.de
Unit. Konzeptueller Datenbankentwurf: ER-Erweiterungen	28.03.11	.de
Unit. Konzeptueller Datenbankentwurf: UML
Part. Logischer Datenbankentwurf mit dem relationalen Modell
Unit. Relationales Modell: Syntax-Überblick	10.11.10	.de
Unit. Relationales Modell: Definition, Integrität	17.11.10	.de
Unit. Relationales Modell: Umsetzung ER-Diagramm	25.11.10	.de
Part. Grundlagen relationaler Anfragesprachen
Unit. Relationale Algebra	29.11.11	.de
Unit. Tupel- und Domänenkalkül	29.11.11	.de
Part. SQL
Unit. SQL: Anfragesprache	28.03.11	.de
Unit. SQL: Datendefinition und -manipulation	05.01.11	.de
Unit. SQL: Anwendungsprogrammierung	05.01.11	.de
Part. Entwurfstheorie relationaler Datenbanken
Unit. Funktionale Abhängigkeiten und Normalformen	13.07.11	.de
Unit. Entwurfsalgorithmen	13.07.11	.de
Part. Physikalischer Datenbankentwurf

Collection. Web-Technologie
Part. Einführung
Unit. Organisation, Literatur	10.04.12	.de
Unit. Problemstellungen, Begriffe	10.04.12	.de
Part. Rechnerkommunikation und Protokolle
Unit. Kommunikation und Protokolle für Web-Systeme (1)	23.04.12	.de
Unit. Kommunikation und Protokolle für Web-Systeme (2)	23.04.12	.de
Unit. Kommunikation und Protokolle für Web-Systeme (3)	23.04.12	.de
Part. Dokumentsprachen
Unit. Auszeichnungssprachen	14.05.12	.de
Unit. HTML, CSS	19.05.12	.de
Unit. XML-Grundlagen	19.05.12	.de
Unit. XML-Schema	19.05.12	.de
Unit. Die XSL-Familie	19.05.12	.de
Unit. APIs für XML	28.06.11	.de
Part. Client-Technologien
Unit. JavaScript	12.09.11	.de
Unit. Java Applets	06.07.11	.de
Part. Server-Technologien
Unit. CGI, Servlets, JSP	06.07.11	.de
Unit. Reguläre Ausdrücke, PHP	14.07.11	.de
Part. Architekturen und Middleware-Technologien
Unit. Überblick, Ajax	02.07.11	.de
Unit. Einführung Web-Services	02.07.11	.de
Part. Semantic Web
Unit. Motivation Semantic Web	09.11.10	.de
Unit. Einführung RDF	28.03.11	.de
Unit. RDF-Anwendungen
Unit. RDF Vocabulary Description Language: RDF Schema	28.03.11	.de
Unit. Semantik von RDF und RDFS	22.11.10	.de
Unit. Ontologien und OWL	28.03.11	.de
Unit. OWL-Anwendungen und Werkzeuge

Collection. Maschinelles Lernen und Data Mining
Part. Einführung
Unit. Organisation, Literatur	16.12.10	.de
Unit. Problemstellungen, Begriffe	28.03.11	.de
Part. Grundlagen Maschinelles Lernen
Unit. Daten	16.12.10	.de
Unit. Konzeptlernen	21.11.11	.de
Unit. Regression
Unit. Perfomanzmaße	21.11.11	.de
Part. Entscheidungsbäume
Unit. Grundlagen Entscheidungsbäume	28.03.11	.de
Unit. Impurity-Funktionen	28.03.11	.de
Unit. Entscheidungsbaumalgorithmen	17.01.11	.de
Unit. Pruning	28.03.11	.de
Part. Neuronale Netze
Unit. Perzeptron-Lernen	28.03.11	.de
Unit. Multilayer-Perzeptron	04.01.11	.de
Unit. Radialbasisfunktionen
Part. Statistische Lernverfahren
Unit. Grundlagen Wahrscheinlichkeitsrechnung	21.01.11	.de
Unit. Bayes-Klassifikation	21.01.11	.de
Unit. Logistische Regression
Unit. Diskriminanzanalyse
Part. Kernel-Methoden
Unit. Support-Vector-Machines
Part. Lerntheorie
Unit. Fehlerdekomposition
Unit. PAC-Lernen
Unit. VC Dimension
Part. Meta-Lernverfahren
Unit. Ensemble-Klassifizierer	28.03.11	.de
Unit. Evolutionäre Strategien
Unit. Schwarmstrategien
Part. Clusteranalyse
Unit. Einordnung Data Mining	08.02.11	.de
Unit. Einführung Clusteranalyse	08.02.11	.de
Unit. Hierarchische Clusteranalyse	28.03.11	.de
Unit. Iterative Clusteranalyse	28.03.11	.de
Unit. Dichtebasierte Clusteranalyse	28.03.11	.de
Unit. Cluster-Evaluierung	28.03.11	.de
Part. Weitere unüberwachte Lernverfahren
Unit. Dichteabschätzung
Unit. Nächste-Nachbarn-Klassifikation
Unit. Selbstorganisierende Karten	28.03.11	.de
Unit. Assoziationsanalyse und Regel-Mining
Unit. Reinforcement-Lernen

Collection. Information Retrieval
Part. Einführung
Unit. Organisation, Literatur	30.07.10	.de
Unit. Problemstellungen, Begriffe	30.07.10	.de
Part. Grundlagen Information Retrieval
Unit. Evaluierung von Retrieval-Systemen	30.07.10	.de
Unit. Index-Terme	28.03.11	.de
Part. Retrieval-Modelle
Unit. Modelle und Prozesse im Information Retrieval	28.03.11	.de
Unit. Term-basierte Retrieval-Modelle	28.03.11	.de
Unit. Algebraische Retrieval-Modelle	28.03.11	.de
Unit. Generative Sprachmodelle
Unit. Textstrukturmodelle
Unit. Retrieval-Modelle für Filteraufgaben
Part. Indexkonstruktion
Unit. Grund- und Stammformreduktion	28.03.11	.de
Unit. n-Gramme
Unit. Termanreicherung
Unit. Wortklassenbestimmung
Part. Anfragekonstruktion
Part. Indexing und Suche
Part. Web-spezifische Aspekte
Part. Schlüsselworte, Labeling, Summarization
Part. Multilinguales Retrieval
Part. Multimedia-Retrieval

Collection. Suchalgorithmen
Part. Einführung
Unit. Organisation, Literatur	30.07.10	.de
Unit. Suchaufgaben	11.11.11	.de
Part. Suchraumrepräsentation
Unit. Zustandsraumdarstellung	28.03.11	.de
Unit. Problemreduktionsdarstellung	09.01.12	.de
Part. Standardsuchverfahren
Unit. Uninformierte Suche (1)	28.03.11	.de
Unit. Uninformierte Suche (2)	30.07.10	.de
Part. Informierte Suchverfahren
Unit. BFS: Einführung	09.01.12	.de
Unit. BFS: Spezialisierungen	02.02.12	.de
Unit. BFS: hybride Strategien	09.01.12	.de
Part. Suchtheorie
Unit. A*: Formale Eigenschaften (1)	09.01.12	.de
Unit. A*: Formale Eigenschaften (2)	05.12.11	.de
Part. Relaxierte Modelle
Unit. A*: Relaxierung der Optimalität	28.03.11	.de
Unit. Nicht-additive Bewertungsfunktionen
Unit. Konstruktion von Heuristiken	28.03.11	.de
Part. Spielbaumsuche
Unit. Einführung Standardstrategien	28.03.11	.de
Part. Suchanwendungen

Collection. Logik
Part. Einführung
Unit. Organisation, Literatur	30.07.10	.de
Unit. Geschichte der Logik
Part. Aussagenlogik
Unit. Syntax, Semantik	28.03.11	.de
Unit. Formeltransformation	28.03.11	.de
Unit. Semantische Erfüllbarkeitsalgorithmen	28.03.11	.de
Unit. Syntaktische Erfüllbarkeitsalgorithmen	28.03.11	.de
Unit. Erfüllbarkeitsprobleme	28.03.11	.de
Part. Prädikatenlogik
Unit. Syntax, Semantik	28.03.11	.de
Unit. Formeltransformation	28.03.11	.de
Unit. Syntaktische Erfüllbarkeitsalgorithmen	28.03.11	.de
Unit. Grenzen der Entscheidbarkeit	28.03.11	.de
Part. Nichtklassische Logiken
Unit. Fuzzy-Mengen	30.07.10	.de
Unit. Fuzzy-Inferenz	28.03.11	.de
Part. Erweiterungen und Anwendungen zur Logik
Unit. Produktionsregelsysteme	13.05.11	.de
Unit. Nicht-monotones Schließen	30.07.10	.de
Unit. Logik und abstrakte Algebren	30.07.10	.de
Unit. Verifikation: Einführung, Hoare-Kalkül	07.06.11	.de
Unit. Verifikation: Hoare-Regeln, partielle Korrektheit	28.03.11	.de
Unit. Verifikation: Terminierung	28.03.11	.de

Collection. Modellierung wissensintensiver Probleme
Part. Einführung
Unit. Organisation, Literatur	30.07.10	.de
Unit. Begriffe, Geschichte der KI	30.07.10	.de
Unit. Problemstellungen	30.07.10	.de
Part. Wissensrepräsentation
Unit. Symbolische versus subsymbolische Repräsentation	28.03.11	.de
Unit. Problemlösungswissen	28.03.11	.de
Unit. Expertensysteme, Problemklassen	28.03.11	.de
Part. Begriffe der Modellierung
Unit. System, Modell, Schlußfolgern	30.07.10	.de
Unit. Modellbildung	30.07.10	.de
Part. Modellieren mit Constraints
Unit. Einführung Constraints	28.03.11	.de
Unit. Constraints für endliche Wertebereiche (1)	28.03.11	.de
Unit. Constraints für endliche Wertebereiche (2)	28.03.11	.de
Unit. Constraint-Anwendungen
Unit. Constraints für unendliche Wertebereiche	28.03.11	.de
Unit. Optimierung, Überbestimmtheit
Part. Diagnose
Unit. Statistische Diagnose: Bayes	28.03.11	.de
Unit. Statistische Diagnose: Dempster/Shafer	30.07.10	.de
Unit. Model-based Diagnosis: TMS	28.03.11	.en
Unit. Model-based Diagnosis: GDE	28.03.11	.en
Unit. Fallbasierte Diagnose	28.03.11	.de
Part. Planen und Konfigurieren
Unit. Planen: Grundlagen	28.03.11	.de
Unit. Planen: Algorithmen	23.12.11	.de
Unit. Planen: Komplexität
Unit. Planen: Erweiterungen
Unit. Konfigurierung: Problemstellungen, Ansätze	28.03.11	.de

Collection. Languages and Tools
Part. LISP
Unit. Organization, literature
Unit. Introduction to LISP
Unit. Functional programming
Unit. Lambda calculus
Unit. Data types
Unit. Language elements
Part. LISP Applications
Unit. Production rule system
Unit. Interval constraint propagation
Unit. Computer algebra kernel
Part. Map Reduce
Unit. Introduction to Map Reduce
Unit. Hadoop
Part. Knowledge Representation Tools
Unit. CLIPS: C Language Integrated Production System
Unit. JaCoP: Java Constraint Programming Solver

© Autoren dieser Vorlesungen sind Benno Stein und Theo Lettmann. Alle Skripte wurden für die Lehrveranstaltungen der Arbeitsgruppen WebIS (Bauhaus-Universität Weimar) und Wissensbasierte Systeme (Universität Paderborn) neu entwickelt und werden fortlaufend aktualisiert und erweitert. Hinweise, die der Verbesserung unserer Scripte dienen, sind willkommen!