Direkt zum Inhalt
|
Direkt zur Navigation
UniBwM Tabs
Home
Site Map
Kontakt
Downloads
WebMail
Deutsch
English
Website durchsuchen
nur im aktuellen Bereich
Erweiterte Suche…
Sektionen
Personen
Lehre
Forschung
Aktuelles
Interna
Navigation
Studienjahr 11/12
Studienjahr 10/11
Lehrveranstaltungen bis Studienjahr 09/10
Lehrveranstaltungen
Studienjahr 10/11
Studienjahr 09/10
Analysis I
Analysis II
Ausgewählte Kapitel der Komplexitätstheorie
Ausgewählte Kapitel der Theoretischen Informatik
Computational Intelligence
Data Mining und Entscheidungsunterstützung
Differentialgleichungen
Diskrete Mathematik
Formale Sprachen und Automatentheorie
Grundlagen der Berechenbarkeit
Informations- und Codierungstheorie
Komplexitätstheorie
Lineare Algebra 1
Lineare Algebra 2
Logikprogrammierung
Material zur Vorlesung
Mathematische Logik
Numerik 1
Operations Research
Optimierung
Projektmanagement
Schwarmbasierte Verfahren
Systemplanung und Netzwerktheorie
Theoretische Grundlagen der Informatik 1
Theoretische Grundlagen der Informatik 2
Studienjahr 08/09
Studienjahr 07/08
Studienjahr 06/07
Studienjahr 05/06
Studienjahr 04/05
Studienjahr 03/04
Info
Material zur Vorlesung
Logikprogrammierung
- Vorlesung -
Folien Unifikation
Folien Abschnitt 3
Folien Abschnitt 5
Folien Abschnitt 6
Info
Logikprogrammierung
Allgemeines & Ankündigungen
Programmieren mit Prolog
Material zur Vorlesung
Kurzbeschreibung
Literatur
