Ein «hybrid» formuliertes Modell der klassischen Mechanik hat die Form 〈 P, T, , 3, s, m, f 〉. Dabei ist P eine Menge (von Partikeln), T ein offenes Intervall ( T = ] α, β [ ⊆ , α < β ), s : T × P → 3 (eine hybride Ortsfunktion), m : P → (eine Massefunktion) und f : T × P → 3 (eine Kraftfunktion).
a) Wie lauten die Zahlen k, m, n für diese Modelle?
b) Konstruieren Sie die Typisierung für s. (Hinweis: Beginnen Sie mit einer Relation s ⊂ T × P × 3.)
c) Konstruieren Sie die Typisierung für m.
d) Zeichnen Sie eine 1-dimensionale Ortsfunktion sp : T → — eingeschränkt auf ein Partikel p. Beschreiben Sie die Geschwindigkeit von p zu einem Zeitpunkt t. Zeichnen Sie dazu die Tangente an den Punkt sp ( t ).