Existenz, Eindeutigkeit, Fortsetzbarkeit und Differenzierbarkeitseigenschaften von Lösungen, lineare Theorie, Qualitative Theorie autonomer Systeme: Phasenportraits, Orbittypen, Newton-Gleichung, Stabilitätseigenschaften mechanischer Systeme, Herleitung des Satzes von Liouville, Anwendungen des Satzes von Poincare-Bendixson. Übungen: Es werden Aufgabenblätter verteilt und die Lösungen besprochen. Näheres hängt von der Hörerzahl ab. Zeit der Übungsstunde nach Absprache.