GLoIn Heulformalisierung

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Diese Umfrage wurde während der Migration geschlossen.

  • ∃ k. (Klausur(k) ∧ NichtBestanden(k))
  • ∀ k. (Klausur(k) → Leicht(k))
  • ∀ i. (Induktion(i) → Hurensohn(i))
  • ∃ f. (Formalisierung(f) ∧ NichtVollständig(f) ∧ Falsch(f))
  • ∃ p. (Person(p) ∧ ∀ i. (Inhalte(i) → DirektVergessen(p, i)))
  • ∃ p. (Person(p) ∧ ∀ f. (Fitch(f) → NichtGemacht(p, f)))

0 voters

GLoIn Heulformalisierung
Eure Meinung:

3 „Gefällt mir“

Hab mal mit einem Braindump angefangen: https://pad.stuve.fau.de/p/gloin-ws19-braindump

2 „Gefällt mir“